{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:26Z","timestamp":1747810586373},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_17","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"247-264","source":"Crossref","is-referenced-by-count":15,"title":["The Intelligent Grounder of DLV"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Faber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.3233\/AIC-2011-0492","volume":"24","author":"M. Alviano","year":"2011","unstructured":"Alviano, M., Faber, W.: Dynamic Magic Sets and super-coherent answer set programs. AI Communications\u00a024(2), 125\u2013145 (2011)","journal-title":"AI Communications"},{"key":"17_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"406","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Anger","year":"2001","unstructured":"Anger, C., Konczak, K., Linke, T.: NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 406\u2013410. Springer, Heidelberg (2001)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, Washington DC, pp. 89\u2013148 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"3-4","key":"17_CR4","first-page":"333","volume":"50","author":"F. Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. AMAI\u00a050(3-4), 333\u2013361 (2007)","journal-title":"AMAI"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-89982-2_37","volume-title":"Logic Programming","author":"F. Calimeri","year":"2008","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable Functions in ASP: Theory and Implementation. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 407\u2013424. Springer, Heidelberg (2008)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-642-20895-9_46","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2011","unstructured":"Calimeri, F., Ianni, G., Ricca, F., Alviano, M., Bria, A., Catalano, G., Cozza, S., Faber, W., Febbraro, O., Leone, N., Manna, M., Martello, A., Panetta, C., Perri, S., Reale, K., Santoro, M., Sirianni, M., Terracina, G., Veltri, P.: The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 388\u2013403. Springer, Heidelberg (2011)"},{"issue":"1-3","key":"17_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.jalgor.2008.02.003","volume":"63","author":"F. Calimeri","year":"2008","unstructured":"Calimeri, F., Perri, S., Ricca, F.: Experimenting with Parallelism for the Instantiation of ASP Programs. J. of Algorithms\u00a063(1-3), 34\u201354 (2008)","journal-title":"J. of Algorithms"},{"key":"17_CR8","unstructured":"Catalano, G., Leone, N., Perri, S.: On demand indexing techniques for the dlv instantiator. In: Proceedings of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy (2008)"},{"issue":"3","key":"17_CR9","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The Second Answer Set Programming Competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"issue":"3","key":"17_CR11","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"17_CR12","unstructured":"Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: INAP Organizing Committee (ed.) DDLP 1999, pp. 135\u2013139. Prolog Association of Japan (September 1999)"},{"key":"17_CR13","unstructured":"Faber, W., Leone, N., Perri, S., Pfeifer, G.: Efficient Instantiation of Disjunctive Databases. Tech. Rep. DBAI-TR-2001-44, TU Wien, Austria (November 2001), http:\/\/www.dbai.tuwien.ac.at\/local\/reports\/dbai-tr-2001-44.pdf"},{"issue":"5-6","key":"17_CR14","first-page":"545","volume":"8","author":"W. Faber","year":"2008","unstructured":"Faber, W., Pfeifer, G., Leone, N., Dell\u2019Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the dlv system. TPLP\u00a08(5-6), 545\u2013580 (2008)","journal-title":"TPLP"},{"key":"17_CR15","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386\u2013392 (January 2007)"},{"key":"17_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-72200-7_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczy\u0144ski, M.: The First Answer Set Programming System Competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 3\u201317. Springer, Heidelberg (2007)"},{"key":"17_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: A New Grounder for Answer Set Programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 266\u2013271. Springer, Heidelberg (2007)"},{"key":"17_CR18","first-page":"1070","volume-title":"ICLP\/SLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP\/SLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC\u00a09, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-11503-5_5","volume-title":"Practical Aspects of Declarative Languages","author":"G. Grasso","year":"2010","unstructured":"Grasso, G., Iiritano, S., Leone, N., Lio, V., Ricca, F., Scalise, F.: An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 40\u201342. Springer, Heidelberg (2010)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-642-04238-6_63","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Grasso","year":"2009","unstructured":"Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV Applications for Knowledge Management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 591\u2013597. Springer, Heidelberg (2009)"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-04238-6_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S.M. Ielpa","year":"2009","unstructured":"Ielpa, S.M., Iiritano, S., Leone, N., Ricca, F.: An ASP-Based System for e-Tourism. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 368\u2013381. Springer, Heidelberg (2009)"},{"issue":"1","key":"17_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1119439.1119440","volume":"7","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T., Niemel\u00e4, I., Seipel, D., Simons, P., You, J.H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM TOCL\u00a07(1), 1\u201337 (2006)","journal-title":"ACM TOCL"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Ka\u0142ka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In: SIGMOD 2005, pp. 915\u2013917. ACM Press (June 2005)","DOI":"10.1145\/1066157.1066286"},{"key":"17_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-24609-1_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2004","unstructured":"Leone, N., Lio, V., Terracina, G.: DLV DB : Adding Efficient Data Management Features to ASP. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 341\u2013345. Springer, Heidelberg (2004)"},{"key":"17_CR26","series-title":"Lecture Notes in Artificial Intelligence","first-page":"280","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2001","unstructured":"Leone, N., Perri, S., Scarcello, F.: Improving ASP Instantiators by Join-Ordering Methods. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 280\u2013294. Springer, Heidelberg (2001)"},{"issue":"3","key":"17_CR27","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"key":"17_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-02846-5_40","volume-title":"Logic Programming","author":"Y. Lierler","year":"2009","unstructured":"Lierler, Y., Lifschitz, V.: One More Decidable Class of Finitely Ground Programs. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 489\u2013493. Springer, Heidelberg (2009)"},{"key":"17_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-24609-1_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Lierler","year":"2004","unstructured":"Lierler, Y., Maratea, M.: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 346\u2013350. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"17_CR30","first-page":"115","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. AI\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"AI"},{"key":"17_CR31","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual (2002), http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: Apt, K.R., Marek, V.W., Truszczy\u0144ski, M., Warren, D.S. (eds.) The Logic Programming Paradigm \u2013 A 25-Year Perspective, pp. 375\u2013398 (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Perri, S., Ricca, F., Sirianni, M.: Parallel instantiation of ASP programs: techniques and experiments. In: TPLP (2012)","DOI":"10.1017\/S1471068411000652"},{"issue":"2-4","key":"17_CR34","first-page":"195","volume":"51","author":"S. Perri","year":"2007","unstructured":"Perri, S., Scarcello, F., Catalano, G., Leone, N.: Enhancing DLV instantiator by backjumping techniques. AMAI\u00a051(2-4), 195\u2013228 (2007)","journal-title":"AMAI"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. Journal of Logic and Computation (2009)","DOI":"10.1093\/logcom\/exn042"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Ruffolo, M., Manna, M.: HiLeX: A System for Semantic Information Extraction from Web Documents. ICEIS (Selected Papers). LNBIP, vol.\u00a03, pp. 194\u2013209 (2008)","DOI":"10.1007\/978-3-540-77581-2_13"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Rullo, P., Cumbo, C., Policicchio, V.L.: Learning rules with negation for text categorization. In: ACM Symposium on Applied Computing, pp. 409\u2013416. ACM (2007)","DOI":"10.1145\/1244002.1244098"},{"key":"17_CR38","first-page":"129","volume":"8","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP\u00a08, 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"17_CR39","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press (1989)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T09:22:05Z","timestamp":1594200125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}