{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T21:34:16Z","timestamp":1757540056593},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631387"},{"type":"electronic","value":"9783319631394"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63139-4_7","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T03:22:55Z","timestamp":1500866575000},"page":"114-130","source":"Crossref","is-referenced-by-count":8,"title":["lpopt: A Rule Optimization Tool for Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Bichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Morak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-40564-8_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2013","unstructured":"Alviano, M., Dodaro, C., Faber, W., Leone, N., Ricca, F.: WASP: a native ASP solver based on constraint learning. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 54\u201366. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_6"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alviano, M., Faber, W., Leone, N., Perri, S., Pfeifer, G., Terracina, G.: The disjunctive datalog system DLV. In: Datalog Reloaded. Revised Selected Papers, pp. 282\u2013301 (2010)","DOI":"10.1007\/978-3-642-24206-9_17"},{"issue":"2","key":"7_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1137\/0608024","volume":"8","author":"S Arnborg","year":"1987","unstructured":"Arnborg, S., Corneil, D.G., Proskurowski, A.: Complexity of finding embeddings in a k-tree. SIAM J. Algeb. Discr. Meth. 8(2), 277\u2013284 (1987)","journal-title":"SIAM J. Algeb. Discr. Meth."},{"key":"7_CR4","unstructured":"Bichler, M.: Optimizing non-ground answer set programs via rule decomposition. BSc Thesis, TU Wien (2015). http:\/\/dbai.tuwien.ac.at\/proj\/lpopt"},{"issue":"5\u20136","key":"7_CR5","first-page":"552","volume":"16","author":"M Bichler","year":"2016","unstructured":"Bichler, M., Morak, M., Woltran, S.: The power of non-ground rules in answer set programming. TPLP 16(5\u20136), 552\u2013569 (2016)","journal-title":"TPLP"},{"issue":"6","key":"7_CR6","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1137\/S0097539793251219","volume":"25","author":"HL Bodlaender","year":"1996","unstructured":"Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25(6), 1305\u20131317 (1996)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"7_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.ic.2009.03.008","volume":"208","author":"HL Bodlaender","year":"2010","unstructured":"Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. Upper bounds. Inf. Comput. 208(3), 259\u2013275 (2010)","journal-title":"Upper bounds. Inf. Comput."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Brewka, G., Diller, M., Heissenberger, G., Linsbichler, T., Woltran, S.: Solving advanced argumentation problems with answer-set programming. In: Proceeding of AAAI, pp. 1077\u20131083 (2017)","DOI":"10.1609\/aaai.v31i1.10682"},{"issue":"12","key":"7_CR9","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"7_CR10","unstructured":"Brewka, G., Woltran, S.: GRAPPA: A semantical framework for graph-based argument processing. In: Proceeding of ECAI, pp. 153\u2013158 (2014)"},{"key":"7_CR11","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: ASP-Core-2 Input Language Format v2.03c (2015). https:\/\/www.mat.unical.it\/aspcomp.2013\/ASPStandardization . Accessed 27 Jun 2016"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016)","journal-title":"Artif. Intell."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/11546207_40","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I Elkabani","year":"2005","unstructured":"Elkabani, I., Pontelli, E., Son, T.C.: Smodels A \u2014 a system for computing answer sets of logic programs with aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 427\u2013431. Springer, Heidelberg (2005). doi: 10.1007\/11546207_40"},{"key":"7_CR14","series-title":"ynthesis Lectures on Artificial Intelligence and Machine Learning","volume-title":"Answer Set Solving in Practice","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. ynthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Conflict-driven answer set solving: from theory to practice. Artif. Intell. 187, 52\u201389 (2012)","journal-title":"Artif. Intell."},{"key":"7_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceeding of ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"7_CR17","unstructured":"Hei\u00dfenberger, G.: A system for advanced graphical argumentation formalisms. Master\u2019s thesis, TU Wien (2016). www.dbai.tuwien.ac.at\/proj\/adf\/grappavis\/"},{"key":"7_CR18","series-title":"Artificial Intelligence","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm. AI, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"7_CR19","unstructured":"Morak, M., Woltran, S.: Preprocessing of complex non-ground rules in answer set programming. In: Proceeding ICLP, pp. 247\u2013258 (2012)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63139-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,31]],"date-time":"2022-07-31T10:39:05Z","timestamp":1659263945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63139-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631387","9783319631394"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63139-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}