{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T13:32:36Z","timestamp":1780147956865,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":152,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642143083","type":"print"},{"value":"9783642143090","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_8","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T13:09:58Z","timestamp":1277298598000},"page":"159-182","source":"Crossref","is-referenced-by-count":27,"title":["Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Piero","family":"Bonatti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"8_CR2","first-page":"1070","volume-title":"ICLP\/SLP\u00a01988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP\/SLP\u00a01988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"8_CR3","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":"8_CR4","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer Set Planning. In: ICLP 1999, pp. 23\u201337 (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm \u2013 A 25-Year Perspective, pp. 375\u2013398 (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"8_CR6","unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming, Washington, DC (1988)"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J., Rajasekar, A.: A Fixpoint Semantics for Disjunctive Logic Programs. JLP\u00a09(1), 45\u201374 (1990)","journal-title":"JLP"},{"key":"8_CR8","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-56039-4_31","volume-title":"Database Theory - ICDT \u201992","author":"J.A. Fern\u00e1ndez","year":"1992","unstructured":"Fern\u00e1ndez, J.A., Minker, J.: Semantics of Disjunctive Deductive Databases. In: Hull, R., Biskup, J. (eds.) ICDT 1992. LNCS, vol.\u00a0646, pp. 21\u201350. Springer, Heidelberg (1992)"},{"issue":"3","key":"8_CR10","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"},{"issue":"3","key":"8_CR11","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":"8_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer, Dordrecht (2000)"},{"key":"8_CR13","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":"8_CR14","unstructured":"Zhao, Y.: The Second Answer Set Programming Competition homepage (2009x), http:\/\/www.cs.kuleuven.be\/~dtai\/ASP-competition"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/09528130701538174","volume":"21","author":"A. Dovier","year":"2009","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An Empirical Study Of Constraint Logic Programming And Answer Set Programming Solutions Of Combinatorial Problems. J. Exp. Theor. Artif. Intell.\u00a021(2), 79\u2013121 (2009)","journal-title":"J. Exp. Theor. Artif. Intell."},{"issue":"3","key":"8_CR16","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":"8_CR17","unstructured":"Simons, P.: Smodels Homepage (since (1996), http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"8_CR18","first-page":"181","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. AI\u00a0138, 181\u2013234 (2002)","journal-title":"AI"},{"key":"8_CR19","unstructured":"Zhao, Y.: ASSAT homepage (since 2002), http:\/\/assat.cs.ust.hk\/"},{"key":"8_CR20","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In: AAAI 2002, Edmonton, Alberta, Canada. AAAI Press \/ MIT Press (2002)"},{"key":"8_CR21","unstructured":"Babovich, Y., Maratea, M.: Cmodels-2: SAT-based Answer Sets Solver Enhanced to Non-tight Programs (2003), http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html"},{"key":"8_CR22","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-Driven Answer Set Solving. In: IJCAI 2007, pp. 386\u2013392 (2007)"},{"issue":"1","key":"8_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":"8_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/11546207_44","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Lierler","year":"2005","unstructured":"Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 447\u2013451. Springer, Heidelberg (2005)"},{"key":"8_CR25","first-page":"422","volume-title":"Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"C. Drescher","year":"2008","unstructured":"Drescher, C., Gebser, M., Grote, T., Kaufmann, B., K\u00f6nig, A., Ostrowski, M., Schaub, T.: Conflict-Driven Disjunctive Answer Set Solving. In: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, pp. 422\u2013432. AAAI Press, Menlo Park (2008)"},{"key":"8_CR26","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)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/978-3-642-04238-6_53","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2009","unstructured":"Leone, N., Ricca, F., Terracina, G.: An ASP-Based Data Integration System. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 528\u2013534. Springer, Heidelberg (2009)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1145\/1066157.1066286","volume-title":"SIGMOD 2005","author":"N. Leone","year":"2005","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, Baltimore, Maryland, USA, pp. 915\u2013917. ACM Press, New York (2005)"},{"key":"8_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/3-540-45653-8_39","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"E. Franconi","year":"2001","unstructured":"Franconi, E., Palma, A.L., Leone, N., Perri, S.: Census Data Repair: A Challenging Application of Disjunctive Logic Programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 561\u2013578. Springer, Heidelberg (2001)"},{"key":"8_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1007\/978-3-540-30227-8_66","volume-title":"Logics in Artificial Intelligence","author":"C. Cumbo","year":"2004","unstructured":"Cumbo, C., Iiritano, S., Rullo, P.: OLEX \u2013 A Reasoning-Based Text Classifier. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 722\u2013725. Springer, Heidelberg (2004)"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/1244002.1244098","volume-title":"ACM Symposium on Applied Computing (SAC 2007)","author":"P. Rullo","year":"2007","unstructured":"Rullo, P., Cumbo, C., Policicchio, V.L.: Learning Rules With Negation For Text Categorization. In: ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, 11-15, pp. 409\u2013416. ACM, New York (2007)"},{"key":"8_CR32","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-77581-2_13","volume-title":"ICEIS","author":"M. Ruffolo","year":"2008","unstructured":"Ruffolo, M., Manna, M.: HiLeX: A System for Semantic Information Extraction from Web Documents. In: ICEIS. Lecture Notes in Business Information Processing, vol.\u00a0(3), pp. 194\u2013209. Springer, Heidelberg (2008)"},{"key":"8_CR33","unstructured":"Ruffolo, M., Leone, N., Manna, M., Sacc\u00e0, D., Zavatto, A.: Exploiting ASP for Semantic Information Extraction. In: Proceedings ASP 2005 - Answer Set Programming: Advances in Theory and Implementation, Bath, UK, pp. 248\u2013262 (2005)"},{"issue":"2","key":"8_CR34","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N. Leone","year":"1997","unstructured":"Leone, N., Rullo, P., Scarcello, F.: Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation. Information and Computation\u00a0135(2), 69\u2013112 (1997)","journal-title":"Information and Computation"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Contributions to the stable model semantics of logic programs with negation. Theoretical Computer Science\u00a0149 (1995); preliminary version in Proc. of LPNMR93","DOI":"10.1016\/0304-3975(94)00259-L"},{"key":"8_CR36","unstructured":"Brignoli, G., Costantini, S., D\u2019Antona, O., Provetti, A.: Characterizing and Computing Stable Models of Logic Programs: the Non\u2013stratified Case. In: Proc. of the 1999 Conference on Information Technology, Bhubaneswar, India (1999)"},{"key":"8_CR37","first-page":"1","volume-title":"AAAI Spring Symposium ASP 2001","author":"A. Bertoni","year":"2001","unstructured":"Bertoni, A., Grossi, G., Provetti, A., Kreinovich, V., Tari, L.: The Prospect for Answer Set Computation by a Genetic Model. In: AAAI Spring Symposium ASP 2001, pp. 1\u20135. AAAI Press, Menlo Park (2001)"},{"key":"8_CR38","unstructured":"Grossi, G., Marchi, M., Pontelli, E., Provetti, A.: Improving the AdjSolver Algorithm for ASP Kernel Programs. In: ASP 2007, 4th International Workshop on Answer Set Programming at ICLP 2007 (2007)"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Costantini, S., Provetti, A.: Normal Forms for Answer Sets Programming. J. on TPLP 5(6) (2005)","DOI":"10.1017\/S1471068404002339"},{"key":"8_CR40","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":"8_CR41","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"},{"issue":"3","key":"8_CR42","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.jal.2006.02.002","volume":"5","author":"F. Ricca","year":"2007","unstructured":"Ricca, F., Leone, N.: Disjunctive Logic Programming With Types And Objects: The Dlv\u2009+\u2009 System. Journal of Applied Logics\u00a05(3), 545\u2013573 (2007)","journal-title":"Journal of Applied Logics"},{"key":"8_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-27775-0_26","volume-title":"Logic Programming","author":"C. Cumbo","year":"2004","unstructured":"Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 371\u2013385. Springer, Heidelberg (2004)"},{"issue":"4","key":"8_CR44","first-page":"584","volume":"73","author":"W. Faber","year":"2007","unstructured":"Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. JCSS\u00a073(4), 584\u2013609 (2007)","journal-title":"JCSS"},{"key":"8_CR45","unstructured":"Friedrich, G., Ivanchenko, V.: Diagnosis From First Principles For Workflow Executions. Tech. Rep., http:\/\/proserver3-iwas.uni-klu.ac.at\/download_area\/Technical-Reports\/technical_report_2008_02.pdf"},{"issue":"5","key":"8_CR46","first-page":"845","volume":"12","author":"F. Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE TKDE\u00a012(5), 845\u2013860 (2000)","journal-title":"IEEE TKDE"},{"key":"8_CR47","unstructured":"Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of Logic Programs with Aggregates. In: IJCAI 2005, pp. 406\u2013411 (2005)"},{"key":"8_CR48","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI 2003, Acapulco, Mexico, pp. 847\u2013852 (2003)"},{"key":"8_CR49","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-72200-7_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"W. Faber","year":"2007","unstructured":"Faber, W., Leone, N.: On the Complexity of Answer Set Programming with Aggregates. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 97\u2013109. Springer, Heidelberg (2007)"},{"key":"8_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"issue":"2","key":"8_CR51","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. ACM TOCL\u00a05(2), 206\u2013263 (2004)","journal-title":"ACM TOCL"},{"issue":"1\u20132","key":"8_CR52","first-page":"123","volume":"5","author":"S. Perri","year":"2005","unstructured":"Perri, S., Scarcello, F., Leone, N.: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP\u00a05(1\u20132), 123\u2013159 (2005)","journal-title":"TPLP"},{"key":"8_CR53","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: IJCAI 2005, Edinburgh, UK, pp. 90\u201396 (2005)"},{"key":"8_CR54","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/978-3-540-30227-8_59","volume-title":"Logics in Artificial Intelligence","author":"F. Calimeri","year":"2004","unstructured":"Calimeri, F., Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C.: A System with Template Answer Set Programs. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 693\u2013697. Springer, Heidelberg (2004)"},{"key":"8_CR55","unstructured":"Costantini, S., Formisano, A.: Answer Set Programming with Resources. Journal of Logic and Computation (to appear, 2009), www.dipmat.unipg.it\/~formis\/papers\/report200816.ps.gz Draft available as Report-16\/2008 of Dip. di Matematica e Informatica, Univ. di Perugia"},{"issue":"1","key":"8_CR56","first-page":"3","volume":"64","author":"S. Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling Preferences And Conditional Preferences On Resource Consumption And Production In Asp. Journal of of Algorithms in Cognition, Informatics and Logic\u00a064(1), 3\u201315 (2009)","journal-title":"Journal of of Algorithms in Cognition, Informatics and Logic"},{"key":"8_CR57","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: International Symposium on Logical Formalization of Commonsense Reasoning. AAAI 2003 Spring Symposium Series (2003)"},{"key":"8_CR58","doi-asserted-by":"crossref","unstructured":"Bria, A., Faber, W., Leone, N.: Normal Form Nested Programs. FI (2009) (accepted for publication)","DOI":"10.3233\/FI-2009-179"},{"issue":"1","key":"8_CR59","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"Bonatti, P.A.: Reasoning with Infinite Stable Models. Artif. Intell.\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artif. Intell."},{"key":"8_CR60","unstructured":"Bonatti, P.: Reasoning with Infinite Stable Models. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, pp. 603\u2013610 (2001)"},{"issue":"2","key":"8_CR61","first-page":"213","volume":"9","author":"S. Baselice","year":"2009","unstructured":"Baselice, S., Bonatti, P.A., Criscuolo, G.: On Finitely Recursive Programs. TPLP\u00a09(2), 213\u2013238 (2009)","journal-title":"TPLP"},{"key":"8_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-45619-8_23","volume-title":"Logic Programming","author":"P.A. Bonatti","year":"2002","unstructured":"Bonatti, P.A.: Reasoning with infinite stable models II: Disjunctive programs. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 333\u2013346. Springer, Heidelberg (2002)"},{"issue":"15","key":"8_CR63","doi-asserted-by":"publisher","first-page":"1833","DOI":"10.1016\/j.artint.2008.07.002","volume":"172","author":"P.A. Bonatti","year":"2008","unstructured":"Bonatti, P.A.: Erratum to: Reasoning with infinite stable models [artificial intelligence 156(1) (2004) 75\u2013111]. Artif. Intell.\u00a0172(15), 1833\u20131835 (2008)","journal-title":"Artif. Intell."},{"key":"8_CR64","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable Functions in ASP: Theory and Implementation. In: [150], pp.407\u2013424","DOI":"10.1007\/978-3-540-89982-2_37"},{"key":"8_CR65","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. In: [151], 71\u201386","DOI":"10.1007\/978-3-642-04238-6_9"},{"issue":"4","key":"8_CR66","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1011960831261","volume":"27","author":"P.A. Bonatti","year":"2001","unstructured":"Bonatti, P.A.: Resolution for Skeptical Stable Model Semantics. J. Autom. Reasoning\u00a027(4), 391\u2013421 (2001)","journal-title":"J. Autom. Reasoning"},{"key":"8_CR67","first-page":"418","volume-title":"AAAI","author":"P.A. Bonatti","year":"2008","unstructured":"Bonatti, P.A., Pontelli, E., Son, T.C.: Credulous Resolution for Answer Set Programming. In: AAAI, pp. 418\u2013423. AAAI Press, Menlo Park (2008)"},{"key":"8_CR68","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP System with Functions, Lists, and Sets. In: [151], 483\u2013489","DOI":"10.1007\/978-3-642-04238-6_46"},{"key":"8_CR69","unstructured":"Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: DDLP 1999, Prolog Association of Japan, pp. 135\u2013139 (1999)"},{"key":"8_CR70","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":"2-4","key":"8_CR71","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"},{"issue":"1-3","key":"8_CR72","first-page":"34","volume":"63","author":"F. Calimeri","year":"2008","unstructured":"Calimeri, F., Perri, S., Ricca, F.: Experimenting with Parallelism for the Instantiation of ASP Programs. Journal of Algorithms in Cognition, Informatics and Logics\u00a063(1-3), 34\u201354 (2008)","journal-title":"Journal of Algorithms in Cognition, Informatics and Logics"},{"key":"8_CR73","unstructured":"Vescio, S., Perri, S., Ricca, F.: Efficient Parallel ASP Instantiation via Dynamic Rewriting. In: Proceedings of the First Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy (2008)"},{"issue":"2-3","key":"8_CR74","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/FUN-2006-712-303","volume":"71","author":"F. Calimeri","year":"2006","unstructured":"Calimeri, F., Faber, W., Leone, N., Pfeifer, G.: Pruning Operators for Disjunctive Logic Programming Systems. FI\u00a071(2-3), 183\u2013214 (2006)","journal-title":"FI"},{"issue":"2-4","key":"8_CR75","first-page":"229","volume":"51","author":"W. Faber","year":"2007","unstructured":"Faber, W., Leone, N., Pfeifer, G., Ricca, F.: On look-ahead heuristics in disjunctive logic programming. AMAI\u00a051(2-4), 229\u2013266 (2007)","journal-title":"AMAI"},{"issue":"2","key":"8_CR76","first-page":"155","volume":"19","author":"F. Ricca","year":"2006","unstructured":"Ricca, F., Faber, W., Leone, N.: A Backjumping Technique for Disjunctive Logic Programming. AI Communications\u00a019(2), 155\u2013172 (2006)","journal-title":"AI Communications"},{"issue":"1-3","key":"8_CR77","first-page":"70","volume":"63","author":"M. Maratea","year":"2008","unstructured":"Maratea, M., Ricca, F., Faber, W., Leone, N.: Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers. Journal of Algorithms in Cognition, Informatics and Logics\u00a063(1-3), 70\u201389 (2008)","journal-title":"Journal of Algorithms in Cognition, Informatics and Logics"},{"issue":"1-2","key":"8_CR78","first-page":"177","volume":"15","author":"C. Koch","year":"2003","unstructured":"Koch, C., Leone, N., Pfeifer, G.: Enhancing Disjunctive Logic Programming Systems by SAT Checkers. AI\u00a015(1-2), 177\u2013212 (2003)","journal-title":"AI"},{"key":"8_CR79","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"3","key":"8_CR80","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"8_CR81","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On Closed World Data Bases. In: Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"8_CR82","first-page":"53","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R., Dechter, R.: Propositional Semantics for Disjunctive Logic Programs. AMAI\u00a012, 53\u201387 (1994)","journal-title":"AMAI"},{"key":"8_CR83","doi-asserted-by":"crossref","unstructured":"Ben-Eliyahu, R., Palopoli, L.: Reasoning with Minimal Models: Efficient Algorithms and Applications. In: Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR 1994), pp. 39\u201350 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50101-9"},{"key":"8_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Pelov, N., Bruynooghe, M.: Ultimate Well-Founded and Stable Model Semantics for Logic Programs with Aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, p. 212. Springer, Heidelberg (2001)"},{"issue":"4","key":"8_CR85","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1145\/502090.502100","volume":"48","author":"L. Hella","year":"2001","unstructured":"Hella, L., Libkin, L., Nurmonen, J., Wong, L.: Logics with Aggregate Operators. J. ACM\u00a048(4), 880\u2013907 (2001)","journal-title":"J. ACM"},{"issue":"3","key":"8_CR86","first-page":"301","volume":"7","author":"N. Pelov","year":"2007","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and Stable Semantics of Logic Programs with Aggregates. TPLP\u00a07(3), 301\u2013353 (2007)","journal-title":"TPLP"},{"key":"8_CR87","series-title":"Lecture Notes in Artificial Intelligence","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 $^{\\mbox{A}}$ - A System for Computing Answer Sets of Logic Programs with Aggregates. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 427\u2013431. Springer, Heidelberg (2005)"},{"key":"8_CR88","first-page":"355","volume":"7","author":"T.C. Son","year":"2007","unstructured":"Son, T.C., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in ASP. TPLP\u00a07, 355\u2013375 (2007)","journal-title":"TPLP"},{"key":"8_CR89","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. CUP (2003)"},{"issue":"3-4","key":"8_CR90","first-page":"369","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested Expressions in Logic Programs. AMAI\u00a025(3-4), 369\u2013389 (1999)","journal-title":"AMAI"},{"key":"8_CR91","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/978-3-540-75256-1_61","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A. Mileo","year":"2007","unstructured":"Mileo, A., Schaub, T.: Qualitative Constraint Enforcement in Advanced Policy Specification. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 695\u2013706. Springer, Heidelberg (2007)"},{"key":"8_CR92","first-page":"213","volume-title":"POLICY","author":"E. Bertino","year":"2005","unstructured":"Bertino, E., Mileo, A., Provetti, A.: PDL with Preferences. In: POLICY, pp. 213\u2013222. IEEE Computer Society, Los Alamitos (2005)"},{"key":"8_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/978-3-540-30209-4_8","volume-title":"Web Services","author":"M. Marchi","year":"2004","unstructured":"Marchi, M., Mileo, A., Provetti, A.: Specification and Execution of Declarative Policies for Grid Service Selection. In (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol.\u00a03250, pp. 102\u2013115. Springer, Heidelberg (2004)"},{"key":"8_CR94","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-540-39592-8_10","volume-title":"Foundations of Intelligent Systems","author":"E. Bertino","year":"2003","unstructured":"Bertino, E., Mileo, A., Provetti, A.: PDL with Maximum Consistency Monitors. In: Zhong, N., Ra\u015b, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, pp. 65\u201374. Springer, Heidelberg (2003)"},{"key":"8_CR95","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"},{"key":"8_CR96","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/978-3-540-75560-9_37","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. \u0160imkus","year":"2007","unstructured":"\u0160imkus, M., Eiter, T.: FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 514\u2013530. Springer, Heidelberg (2007)"},{"key":"8_CR97","series-title":"Lecture Notes in Artificial Intelligence","first-page":"267","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T.: Omega-Restricted Logic Programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"key":"8_CR98","doi-asserted-by":"crossref","unstructured":"Lierler, Y., Lifschitz, V.: One More Decidable Class of Finitely Ground Programs. In: [152], pp. 489\u2013493","DOI":"10.1007\/978-3-642-02846-5_40"},{"key":"8_CR99","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-89439-1_27","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ortiz, M., \u0160imkus, M.: Reasoning Using Knots. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol.\u00a05330, pp. 377\u2013390. Springer, Heidelberg (2008)"},{"key":"8_CR100","doi-asserted-by":"crossref","unstructured":"Simkus, M.: Fusion of Logic Programming and Description Logics. In: [152], pp. 551\u2013552","DOI":"10.1007\/978-3-642-02846-5_59"},{"key":"8_CR101","doi-asserted-by":"crossref","unstructured":"Baselice, S., Bonatti, P.A.: Composing Normal Programs with Function Symbols. In: [150], pp. 425\u2013439","DOI":"10.1007\/978-3-540-89982-2_38"},{"key":"8_CR102","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving. Communications of the ACM\u00a05, 394\u2013397 (1962)","journal-title":"Communications of the ACM"},{"key":"8_CR103","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":"8_CR104","unstructured":"Wittocx, J., Mari\u00ebn, M., Denecker, M.: GidL: A Grounder for FO+. In: Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning, pp. 189\u2013198 (2008)"},{"key":"8_CR105","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1708046.1708060","volume-title":"DAMP","author":"S. Perri","year":"2010","unstructured":"Perri, S., Ricca, F., Sirianni, M.: A Parallel ASP Instantiator Based on DLV. In: DAMP, pp. 73\u201382. ACM, New York (2010)"},{"key":"8_CR106","unstructured":"Beowulf.org: The Beowulf Cluster Site, http:\/\/www.beowulf.org"},{"issue":"6","key":"8_CR107","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","volume":"31","author":"M. Balduccini","year":"2005","unstructured":"Balduccini, M., Pontelli, E., Elkhatib, O., Le, H.: Issues in Parallel Execution of Non-Monotonic Reasoning Systems. Parallel Computing\u00a031(6), 608\u2013647 (2005)","journal-title":"Parallel Computing"},{"issue":"4","key":"8_CR108","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1093\/logcom\/exn036","volume":"19","author":"G. Grossi","year":"2009","unstructured":"Grossi, G., Marchi, M., Pontelli, E., Provetti, A.: Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. of Logic and Computation\u00a019(4), 697\u2013715 (2009)","journal-title":"J. of Logic and Computation"},{"key":"8_CR109","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-46767-X_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"W. Faber","year":"1999","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Pushing Goal Derivation in DLP Computations. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 177\u2013191. Springer, Heidelberg (1999)"},{"key":"8_CR110","first-page":"600","volume-title":"ICLP 1989","author":"V.W. Marek","year":"1989","unstructured":"Marek, V.W., Subrahmanian, V.: The Relationship between Logic Program Semantics and Non-Monotonic Reasoning. In: ICLP 1989, pp. 600\u2013617. MIT Press, Cambridge (1989)"},{"key":"8_CR111","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. JLP\u00a0(19\/20), 73\u2013148 (1994)","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"8_CR112","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: DAC 2001, pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"issue":"4","key":"8_CR113","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10817-006-9033-2","volume":"36","author":"E. Giunchiglia","year":"2006","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: Answer Set Programming Based on Propositional Satisfiability. Journal of Automated Reasoning\u00a036(4), 345\u2013377 (2006)","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR114","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: A SAT-based Polynomial Space Algorithm for Answer Set Programming. In: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), pp. 189\u2013196 (2004)"},{"key":"8_CR115","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11562931_6","volume-title":"Logic Programming","author":"E. Giunchiglia","year":"2005","unstructured":"Giunchiglia, E., Maratea, M.: On the relation between answer set and SAT procedures (or, between cmodels and smodels). In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 37\u201351. Springer, Heidelberg (2005)"},{"issue":"1-4","key":"8_CR116","first-page":"169","volume":"53","author":"E. Giunchiglia","year":"2008","unstructured":"Giunchiglia, E., Leone, N., Maratea, M.: On the Relation among Answer Set Solvers. AMAI\u00a053(1-4), 169\u2013204 (2008)","journal-title":"AMAI"},{"key":"8_CR117","unstructured":"Pontelli, E., El-Khatib, O.: Exploiting Vertical Parallelism from Answer Set Programs. In: Proceedings of the 1st Intl. ASP 2001 Workshop on Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Stanford, pp. 174\u2013180 (2001)"},{"key":"8_CR118","unstructured":"Le, H.V., Pontelli, E.: Dynamic Scheduling in Parallel Answer Set Programming Solvers. In: SpringSim (2), SCS\/ACM, pp. 367\u2013374 (2007)"},{"key":"8_CR119","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Answer Set Programming with Constraints Using Lazy Grounding. In: [152], pp. 115\u2013129","DOI":"10.1007\/978-3-642-02846-5_14"},{"issue":"3","key":"8_CR120","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-2009-180","volume":"96","author":"A. Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: GASP: Answer Set Programming with Lazy Grounding. FI\u00a096(3), 297\u2013322 (2009)","journal-title":"FI"},{"key":"8_CR121","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":"8_CR122","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-88737-9_10","volume-title":"Web Reasoning and Rule Systems","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., De Francesco, E., Panetta, C., Leone, N.: Enhancing a DLP System for Advanced Database Applications. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 119\u2013134. Springer, Heidelberg (2008)"},{"key":"8_CR123","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)"},{"key":"8_CR124","unstructured":"Gallucci, L., Ricca, F.: Visual Querying and Application Programming Interface for an ASP-based Ontology Language. In: Proceedings of the Workshop on Software Engineering for Answer Set Programming (SEA 2007), pp. 56\u201370 (2007)"},{"key":"8_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-11503-5_5","volume-title":"PADL 2010","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: Pe\u00f1a, R. (ed.) PADL 2010. LNCS, vol.\u00a05937, pp. 40\u201342. Springer, Heidelberg (2010)"},{"issue":"2","key":"8_CR126","first-page":"137","volume":"19","author":"A. Garro","year":"2006","unstructured":"Garro, A., Palopoli, L., Ricca, F.: Exploiting Agents in E-Learning and Skills Management Context. AI Communications\u00a019(2), 137\u2013154 (2006)","journal-title":"AI Communications"},{"key":"8_CR127","unstructured":"Ianni, G., Ricca, F., Panetta, C.: Specification of Assessment-Test Criteria through ASP Specification. In: Answer Set Programming: Advances in Theory and Implementation, Bath, UK, Research Press International, P.O. Box 144, Bristol BS 1YA, pp. 293\u2013302 (2005)"},{"key":"8_CR128","doi-asserted-by":"crossref","unstructured":"Mileo, A., Merico, D., Bisiani, R.: Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System. In: [151], pp. 585\u2013590","DOI":"10.1007\/978-3-642-04238-6_62"},{"key":"8_CR129","doi-asserted-by":"crossref","unstructured":"Mileo, A., Merico, D., Bisiani, R.: A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. In: [150], pp. 145\u2013159","DOI":"10.1007\/978-3-540-89982-2_20"},{"key":"8_CR130","first-page":"425","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. TPLP\u00a03, 425\u2013461 (2003)","journal-title":"TPLP"},{"key":"8_CR131","unstructured":"Bisiani, R., Merico, D., Mileo, A., Pinardi, S.: A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support. The Computer Journal (2009); bxn074"},{"key":"8_CR132","unstructured":"Ianni, G., Calimeri, F., Lio, V., Galizia, S.: Reasoning about the Semantic Web using Answer Set Programming. In: APPIA-GULP-PRODE, pp. 324\u2013336 (2003)"},{"key":"8_CR133","doi-asserted-by":"crossref","unstructured":"Ianni, G., Ricca, F., Calimeri, F., Lio, V., Galizia, S.: An agent system reasoning about the web and the user. In: WWW (Alternate Track Papers & Posters), pp. 492\u2013493 (2004)","DOI":"10.1145\/1013367.1013541"},{"issue":"3","key":"8_CR134","first-page":"362","volume":"7","author":"V. Subrahmanian","year":"1995","unstructured":"Subrahmanian, V., Nau, D., Vago, C.: WFS + Branch and Bound = Stable Models. IEEE TKDE\u00a07(3), 362\u2013377 (1995)","journal-title":"IEEE TKDE"},{"key":"8_CR135","unstructured":"Costantini, S.: Comparing Different Graph Representations of Logic Programs under the Answer Set Semantics. In: Proc. of the AAAI Spring Symposium Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, CA (2001)"},{"key":"8_CR136","unstructured":"Costantini, S., Lanzarone, G.A., Magliocco, G.: Asserting Lemmas in the Stable Model Semantics. In: Logic Programming \u2013 Proc. of the 1996 Joint International Conference, USA (1996)"},{"key":"8_CR137","unstructured":"Costantini, S., Intrigila, B., Provetti, A.: Coherence of Updates in Answer Set Programming. In: IJCAI 2003 Workshop on Nonmonotonic Reasoning, Action and Change, NRAC 2003, pp. 66\u201372 (2003)"},{"key":"8_CR138","doi-asserted-by":"crossref","unstructured":"Costantini, S.: On the Existence of Stable Models of Non-Stratified Logic Programs. J. on TPLP\u00a06(1-2) (2006)","DOI":"10.1017\/S1471068405002589"},{"key":"8_CR139","unstructured":"Costantini, S., Formisano, A., Omodeo, E.G.: Mappings Between Domain Models in Answer Set Programming. In: Answer Set Programming, Advances in Theory and Implementation, Proc. of the 2nd Intl. ASP 2003. CEUR Workshop Proc., vol.\u00a078 (2003)"},{"key":"8_CR140","doi-asserted-by":"crossref","unstructured":"Capotorti, A., Formisano, A.: Comparative Uncertainty: Theory and Automation. Mathematical Structures in Computer Science\u00a018(1) (2008)","DOI":"10.1017\/S0960129507006561"},{"key":"8_CR141","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2006.07.028","volume":"169","author":"A. Capotorti","year":"2007","unstructured":"Capotorti, A., Formisano, A., Murador, G.: Qualitative Uncertainty Orderings Revised. Electronic Notes in Theoretical Computer Science\u00a0169, 43\u201359 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8_CR142","volume-title":"Modern Information Processing: From Theory to Applications","author":"A. Capotorti","year":"2004","unstructured":"Capotorti, A., Formisano, A.: Management of Uncertainty Orderings Through ASP. In: Modern Information Processing: From Theory to Applications. Elsevier, Amsterdam (2004) ISBN: 0-444-52075-9"},{"key":"8_CR143","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11562931_7","volume-title":"Logic Programming","author":"S. Baselice","year":"2005","unstructured":"Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an Integration of Answer Set and Constraint Solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 52\u201366. Springer, Heidelberg (2005)"},{"key":"8_CR144","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"8_CR145","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/3-540-45628-7_21","volume-title":"Computational Logic: Logic Programming and Beyond","author":"F. Buccafurri","year":"2002","unstructured":"Buccafurri, F., Gottlob, G.: Multiagent compromises, joint fixpoints, and stable models. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 561\u2013585. Springer, Heidelberg (2002)"},{"key":"8_CR146","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11546207_25","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Buccafurri","year":"2005","unstructured":"Buccafurri, F., Caminiti, G.: A Social Semantics for Multi-agent Systems. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 317\u2013329. Springer, Heidelberg (2005)"},{"issue":"5\u20136","key":"8_CR147","first-page":"643","volume":"8","author":"F. Buccafurri","year":"2008","unstructured":"Buccafurri, F., Caminiti, G.: Logic Programming with Social Features. TPLP\u00a08(5\u20136), 643\u2013690 (2008)","journal-title":"TPLP"},{"key":"8_CR148","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1007\/978-3-540-89982-2_64","volume-title":"Logic Programming","author":"F. Buccafurri","year":"2008","unstructured":"Buccafurri, F., Caminiti, G., Laurendi, R.: A Logic Language with Stable Model Semantics for Social Reasoning. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 718\u2013723. Springer, Heidelberg (2008)"},{"key":"8_CR149","unstructured":"Buccafurri, F., Caminiti, G., Rosaci, D.: Logic Programs with Multiple Chances. In: ECAI, pp. 347\u2013351 (2006)"},{"key":"8_CR150","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2008","unstructured":"Garcia de la Banda, M., Pontelli, E. (eds.): ICLP 2008. LNCS, vol.\u00a05366. Springer, Heidelberg (2008)"},{"key":"8_CR151","series-title":"Lecture Notes in Computer Science","first-page":"14","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"2009","unstructured":"Erdem, E., Lin, F., Schaub, T. (eds.): LPNMR 2009. LNCS, vol.\u00a05753, pp. 14\u201318. Springer, Heidelberg (2009)"},{"key":"8_CR152","series-title":"Lecture Notes in Computer Science","first-page":"14","volume-title":"Logic Programming","year":"2009","unstructured":"Hill, P.M., Warren, D.S. (eds.): Logic Programming. LNCS, vol.\u00a05649, pp. 14\u201317. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:34:15Z","timestamp":1740202455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":152,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}