{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:14:09Z","timestamp":1784135649325,"version":"3.55.0"},"reference-count":59,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.3233\/ia-170104","type":"journal-article","created":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T17:19:01Z","timestamp":1492535941000},"page":"5-20","source":"Crossref","is-referenced-by-count":45,"title":["I-DLV: The new intelligent grounder of DLV"],"prefix":"10.1177","volume":"11","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"},{"name":"DLV System Srl, Piazza Vermicelli, Polo Tecnologico UniCal, Rende, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"key":"10.3233\/IA-170104_ref1","doi-asserted-by":"crossref","unstructured":"Alviano M. , Dodaro C. , Leone N. and Ricca F. , Advances in WASP. In Calimeri et al. [12], pp. 40\u201354.","DOI":"10.1007\/978-3-319-23264-5_5"},{"key":"10.3233\/IA-170104_ref2","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.artint.2012.04.008","article-title":"Magic sets for disjunctive datalog programs","volume":"187","author":"Alviano","year":"2012","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref3","first-page":"1","volume-title":"Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","author":"Bancilhon","year":"1986"},{"key":"10.3233\/IA-170104_ref4","doi-asserted-by":"crossref","unstructured":"Baral C. , Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"10.3233\/IA-170104_ref5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01530761","article-title":"Propositional semantics for disjunctive logic programs","volume":"12","author":"Ben-Eliyahu","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/B978-1-4832-1452-8.50101-9","article-title":"Reasoning with Minimal Models: Efficient Algorithms and Applications","author":"Ben-Eliyahu","year":"1994","journal-title":"Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94)"},{"issue":"12","key":"10.3233\/IA-170104_ref7","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Communications of the ACM"},{"key":"10.3233\/IA-170104_ref8","first-page":"2","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR\u201997)","author":"Buccafurri","year":"1997"},{"key":"10.3233\/IA-170104_ref9","doi-asserted-by":"crossref","unstructured":"Calimeri F. , Cozza S. , Ianni G. and Leone N. , Magic sets for the bottom-up evaluation of finitely recursive programs. In Erdem et al. [23], pp. 71\u201386.","DOI":"10.1007\/978-3-642-04238-6_9"},{"key":"10.3233\/IA-170104_ref10","unstructured":"Calimeri F. , Faber W. , Gebser M. , Ianni G. , Kaminski R. , Krennwallner T. , Leone N. , Ricca F. and Schaub T. , Asp-core-2: Input language format, 2012. https:\/\/www.mat.unical.it\/aspcomp2013\/files\/ASP-CORE-2.03b.pdf"},{"key":"10.3233\/IA-170104_ref11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","article-title":"Design and results of the fifth answer set programming competition","volume":"231","author":"Calimeri","year":"2016","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-23264-5","volume-title":"Logic Programming and Nonmonotonic Reasoning - 13th International Conference","author":"Calimeri","year":"2015"},{"key":"10.3233\/IA-170104_ref15","volume-title":"Proceedings of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008)","author":"Catalano","year":"2008"},{"key":"10.3233\/IA-170104_ref16","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-27775-0_26","article-title":"Enhancing the magic-set method for disjunctive datalog programs","volume":"3132","author":"Cumbo","year":"2004","journal-title":"Proceedings of the the 20th International Conference on Logic Programming \u2013 ICLP\u201904"},{"issue":"3","key":"10.3233\/IA-170104_ref17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-2009-180","article-title":"GASP: Answer set programming with lazy grounding","volume":"96","author":"Dal Pal\u00fa","year":"2009","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.3233\/IA-170104_ref18","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","article-title":"Complexity and Expressive Power of Logic Programming","volume":"33","author":"Dantsin","year":"2001","journal-title":"ACM Computing Surveys"},{"key":"10.3233\/IA-170104_ref19","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-based artificial intelligence","author":"Eiter","year":"2000"},{"key":"10.3233\/IA-170104_ref20","unstructured":"Eiter T. , Fink M. , Krennwallner T. and Redl C. , Liberal safety for answer set programs with external sources. In desJardins Marie and Littman Michael L. , editors, July 14-18, 2013, Bellevue, Washington, USA. AAAI Press, 2013."},{"issue":"3","key":"10.3233\/IA-170104_ref21","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1145\/261124.261126","article-title":"Disjunctive Datalog","volume":"22","author":"Eiter","year":"1997","journal-title":"ACM Transactions on Database Systems"},{"key":"10.3233\/IA-170104_ref22","first-page":"40","volume-title":"5th International Summer School - Tutorial Lectures","author":"Eiter","year":"2009"},{"key":"10.3233\/IA-170104_ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-04238-6","volume-title":"Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings","author":"Erdem","year":"2009"},{"key":"10.3233\/IA-170104_ref24","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/978-3-642-30743-0_17","volume-title":"Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz","author":"Faber","year":"2012"},{"key":"10.3233\/IA-170104_ref25","first-page":"200","volume-title":"Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004)","author":"Faber","year":"2004"},{"key":"10.3233\/IA-170104_ref26","doi-asserted-by":"crossref","unstructured":"Gebser M. , Kaminski R. , Kaufmann B. , Romero J. and Schaub T. , Progress in clasp series 3. In Calimeri et al. [12], pp. 368\u2013383.","DOI":"10.1007\/978-3-319-23264-5_31"},{"key":"10.3233\/IA-170104_ref27","first-page":"345","volume-title":"In Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings","author":"Gebser","year":"2011"},{"key":"10.3233\/IA-170104_ref28","doi-asserted-by":"crossref","unstructured":"Gebser M. , Maratea M. and Ricca F. , The Design of the Sixth Answer Set Programming Competition. In Calimeri et al. [12] pp. 531\u2013544.","DOI":"10.1007\/978-3-319-23264-5_44"},{"key":"10.3233\/IA-170104_ref29","first-page":"4327","volume-title":"Proc. of the 13th AAAI Conference on Artificial Intelligence","author":"Gebser","year":"2016"},{"key":"10.3233\/IA-170104_ref30","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning \u2014 9th International Conference, LPNMR\u201907","author":"Gebser","year":"2007"},{"issue":"1-2","key":"10.3233\/IA-170104_ref31","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","article-title":"Logic Programming and Knowledge Representation \u2013 the A-Prolog perspective","volume":"138","author":"Gelfond","year":"2002","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref32","first-page":"1070","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium","author":"Gelfond","year":"1988"},{"issue":"3\/4","key":"10.3233\/IA-170104_ref33","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"issue":"6","key":"10.3233\/IA-170104_ref34","first-page":"397","article-title":"Efficient querying of inconsistent databases with binary integer programming","volume":"6","author":"Kolaitis","year":"2013","journal-title":"PVLDB"},{"issue":"4","key":"10.3233\/IA-170104_ref35","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S1571-0661(05)80660-7","article-title":"Debugging prolog using annotations","volume":"30","author":"Kulas","year":"1999","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.3233\/IA-170104_ref36","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre C. and Nicolas P. , A first order forward chaining approach for answer set computing. In Erdem et al. [23], 196\u2013208.","DOI":"10.1007\/978-3-642-04238-6_18"},{"key":"10.3233\/IA-170104_ref37","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1007\/978-3-642-04238-6_52","volume-title":"Logic Programming and Nonmonotonic Reasoning \u2014 10th International Conference (LPNMR 2009)","author":"Lef\u00e8vre","year":"2009"},{"key":"10.3233\/IA-170104_ref38","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-45402-0_21","volume-title":"Logic Programming and Nonmotonic Reasoning","author":"Leone","year":"2001"},{"issue":"3","key":"10.3233\/IA-170104_ref39","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","article-title":"The dlv system for knowledge representation and reasoning","volume":"7","author":"Leone","year":"2006","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"3","key":"10.3233\/IA-170104_ref40","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","article-title":"The DLV System for Knowledge Representation and Reasoning","volume":"7","author":"Leone","year":"2006","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.3233\/IA-170104_ref41","first-page":"308","volume-title":"Wolfgang Faber and Adrian Paschke, editors, Reasoning Web. Web Logic Rules 11th Int\u2019l Summer School 2015","author":"Leone","year":"2015"},{"key":"10.3233\/IA-170104_ref42","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1145\/1526709.1526790","volume-title":"Proceedings of the 18th International Conference on World Wide Web","author":"Liang","year":"2009"},{"key":"10.3233\/IA-170104_ref44","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","article-title":"Answer set programming and plan generation","volume":"138","author":"Lifschitz","year":"2002","journal-title":"Artificial Intelligence"},{"issue":"4-5","key":"10.3233\/IA-170104_ref45","first-page":"696","article-title":"Taming primary key violations to query large inconsistent data via ASP","volume":"15","author":"Manna","year":"2015","journal-title":"TPLP"},{"key":"10.3233\/IA-170104_ref46","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm \u2013 A 25-Year Perspective","author":"Marek","year":"1999"},{"key":"10.3233\/IA-170104_ref47","first-page":"72","volume-title":"Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning","author":"Niemel\u00e4","year":"1998"},{"issue":"3\u20134","key":"10.3233\/IA-170104_ref48","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","article-title":"Logic Programming with Stable Model Semantics as Constraint Programming Paradigm","volume":"25","author":"Niemel\u00e4","year":"1999","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref49","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages, Third International Symposium (PADL 2001)","author":"Nogueira","year":"2001"},{"issue":"2\u20134","key":"10.3233\/IA-170104_ref50","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10472-008-9090-9","article-title":"Enhancing DLV instantiator by backjumping techniques","volume":"51","author":"Perri","year":"2007","journal-title":"of Mathematics and Artificial Intelligence"},{"key":"10.3233\/IA-170104_ref51","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","article-title":"Stable Semantics for Disjunctive Programs","volume":"9","author":"Przymusinski","year":"1991","journal-title":"New Generation Computing"},{"key":"10.3233\/IA-170104_ref52","unstructured":"Radziszowski S.P. , Small ramsey numbers. The Electronic Journal of Combinatorics 1 (1994). Revision 9:2002."},{"key":"10.3233\/IA-170104_ref53","doi-asserted-by":"crossref","first-page":"1634","DOI":"10.1145\/1066677.1067049","volume-title":"Proceedings of the 2005 ACM Symposium on Applied Computing","author":"Reeve","year":"2005"},{"key":"10.3233\/IA-170104_ref54","first-page":"361","volume-title":"Theory and Practice of Logic Programming","author":"Ricca","year":"2012"},{"issue":"1-2","key":"10.3233\/IA-170104_ref55","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","article-title":"XSB: Extending prolog with tabled logic programming","volume":"12","author":"Swift","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/IA-170104_ref56","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-45402-0_20","volume-title":"Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings","author":"Syrj\u00e4nen","year":"2001"},{"key":"10.3233\/IA-170104_ref57","first-page":"1290","article-title":"A practical tool for mass-customising configurable products","author":"Tiihonen","year":"2003","journal-title":"Proceedings of the 14th International Conference on Engineering Design (ICED\u201903)"},{"key":"10.3233\/IA-170104_ref58","unstructured":"Ullman J.D. , Principles of Database and Knowledge- Base Systems, Volume I. Computer Science Press, 1988."},{"key":"10.3233\/IA-170104_ref59","unstructured":"Ullman J.D. , Principles of Database and Knowledge Base Systems, volume 2. Computer Science Press, 1989."},{"key":"10.3233\/IA-170104_ref60","first-page":"137","article-title":"Complexity of relational query languages","author":"Vardi","year":"1982","journal-title":"Proceedings of the 14th Symposium on Theory of Computation (STOC)"},{"issue":"4-5","key":"10.3233\/IA-170104_ref61","first-page":"619","article-title":"Annotating answer-set programs in Lana","volume":"12","author":"De Vos","year":"2012","journal-title":"TPLP"},{"key":"10.3233\/IA-170104_ref62","first-page":"189","article-title":"GIDL: A Grounder for FO+","author":"Wittocx","year":"1998","journal-title":"Proceedings of the Twelfth International Workshop on NonMonotonic Reasoning"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-170104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:51:28Z","timestamp":1777459888000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-170104"}},"subtitle":[],"editor":[{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Giovanni","family":"Adorni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Stefano","family":"Cagnoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Marco","family":"Gori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":59,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/ia-170104","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,18]]}}}