{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:15:56Z","timestamp":1742912156407,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":145,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397837"},{"type":"electronic","value":"9783642397844"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39784-4_4","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T00:59:26Z","timestamp":1374454766000},"page":"162-193","source":"Crossref","is-referenced-by-count":1,"title":["Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Faber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"McCarthy, J.: Programs with Common Sense. In: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty\u2019s Stationery Office, pp. 75\u201391 (1959)"},{"key":"4_CR2","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Goldreich, O.: Computational Complexity: A Conceptual Perspective. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511804106"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511804090"},{"key":"4_CR5","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057820","volume-title":"The Birth of Prolog","author":"A. Colmerauer","year":"1996","unstructured":"Colmerauer, A., Roussel, P.: The Birth of Prolog. ACM, New York (1996)"},{"issue":"3","key":"4_CR6","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":"4_CR7","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. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"issue":"1-2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation \u2013 the A-Prolog perspective. Artificial Intelligence\u00a0138(1-2), 3\u201338 (2002)","journal-title":"Artificial Intelligence"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. MIT Press (1998)","DOI":"10.7551\/mitpress\/5625.001.0001"},{"issue":"6","key":"4_CR11","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR12","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463\u2013502. Edinburgh University Press (1969) reprinted in [140]"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM\u00a012(1), 23\u201341 (1965)","journal-title":"Journal of the ACM"},{"key":"4_CR14","unstructured":"Kowalski, R.A.: Predicate Logic as Programming Language. In: IFIP Congress, pp. 569\u2013574 (1974)"},{"issue":"7","key":"4_CR15","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Algorithm = Logic + Control. Communications of the ACM\u00a022(7), 424\u2013436 (1979)","journal-title":"Communications of the ACM"},{"key":"4_CR16","unstructured":"International Organization for Standardization: ISO\/IEC 13211-1:1995: Information technology \u2014 Programming languages \u2014 Prolog \u2014 Part 1: General core. International Organization for Standardization, Geneva, Switzerland (1995)"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"4_CR19","doi-asserted-by":"publisher","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: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: [141], pp. 89\u2013148","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"4_CR21","unstructured":"Van Gelder, A.: Negation as Failure Using Tight Derivations for General Logic Programs. In: [141], pp. 1149\u20131176"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded Sets and Well-Founded Semantics for General Logic Programs. In: Proceedings of the Seventh Symposium on Principles of Database Systems (PODS 1988), pp. 221\u2013230 (1988)","DOI":"10.1145\/308386.308444"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Nonmonotonic Logics \u2013 Context-Dependent Reasoning. Springer (1993)","DOI":"10.1007\/978-3-662-02906-0"},{"key":"4_CR24","unstructured":"Gelfond, M.: On Stratified Autoepistemic Theories. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), pp. 207\u2013211 (1987)"},{"key":"4_CR25","unstructured":"Bidoit, N., Froidevaux, C.: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. In: Proceedings of the Symposium on Logic in Computer Science (LICS 1987), pp. 89\u201397. IEEE (June 1987)"},{"key":"4_CR26","first-page":"1070","volume-title":"Logic Programming: Proceedings Fifth Intl Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic Programming: Proceedings Fifth Intl Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3","key":"4_CR27","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. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On Indefinite Data Bases and the Closed World Assumption. In: Loveland, D.W. (ed.) CADE 1982. LNCS, vol.\u00a0138, pp. 292\u2013308. Springer, Heidelberg (1982)"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A.H. Yahya","year":"1985","unstructured":"Yahya, A.H., Henschen, L.J.: Deduction in Non-Horn Databases. Journal of Automated Reasoning\u00a01(2), 141\u2013160 (1985)","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Wang, K., Zhou, L.: Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs. ACM Transactions on Computational Logic 6(2) (April 2005)","DOI":"10.1145\/1055686.1055690"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"Ben-Eliyahu, R., Dechter, R.: Propositional Semantics for Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence\u00a012, 53\u201387 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3233\/FI-1996-281205","volume":"28","author":"J. Dix","year":"1996","unstructured":"Dix, J., Gottlob, G., Marek, V.W.: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundamenta Informaticae\u00a028, 87\u2013100 (1996) (This is a full version of [142])","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"4_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"},{"issue":"4","key":"4_CR35","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly Equivalent Logic Programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1-2","key":"4_CR36","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 3\u201341 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR37","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse, 42\u201356 (1930)"},{"key":"4_CR38","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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":"1","key":"4_CR39","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W. Faber","year":"2011","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence\u00a0175(1), 278\u2013298 (2011); Special Issue: John McCarthy\u2019s Legacy","journal-title":"Artificial Intelligence"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-89982-2_8","volume-title":"Logic Programming","author":"V. Lifschitz","year":"2008","unstructured":"Lifschitz, V.: Twelve definitions of a stable model. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 37\u201351. Springer, Heidelberg (2008)"},{"issue":"5","key":"4_CR41","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F. Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing Disjunctive Datalog by Constraints. IEEE Transactions on Knowledge and Data Engineering\u00a012(5), 845\u2013860 (2000)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"4_CR42","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 Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"4_CR43","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. Artificial Intelligence\u00a0138, 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"#cr-split#-4_CR44.1","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, pp. 141-151 (2004)"},{"key":"#cr-split#-4_CR44.2","unstructured":"Extended Report RR-1843-03-13, Institut f\u00fcr Informationssysteme, TU Wien (2003)"},{"key":"4_CR45","unstructured":"Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of Logic Programs with Aggregates. In: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 406\u2013411 (August 2005)"},{"key":"4_CR46","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: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 847\u2013852. Morgan Kaufmann Publishers (August 2003)"},{"key":"4_CR47","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, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"key":"4_CR48","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)"},{"issue":"4","key":"4_CR49","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. Journal of the ACM\u00a048(4), 880\u2013907 (2001)","journal-title":"Journal of the ACM"},{"issue":"3","key":"4_CR50","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S1471068406002973","volume":"7","author":"N. Pelov","year":"2007","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and Stable Semantics of Logic Programs with Aggregates. Theory and Practice of Logic Programming\u00a07(3), 301\u2013353 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR51","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":"4_CR52","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":"4_CR53","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":"4_CR54","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":"4_CR55","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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":"4_CR56","unstructured":"Eiter, T., Simkus, M.: Bidirectional Answer Set Programs with Function Symbols. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, CA, USA, pp. 765\u2013771 (July 2009)"},{"key":"4_CR57","unstructured":"Lin, F., Wang, Y.: Answer Set Programming with Functions. In: Proceedings of Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, pp. 454\u2013465. AAAI Press (September 2008)"},{"key":"4_CR58","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":"1","key":"4_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. Artificial Intelligence\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"4_CR60","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1017\/S147106840900372X","volume":"9","author":"S. Baselice","year":"2009","unstructured":"Baselice, S., Bonatti, P.A., Criscuolo, G.: On Finitely Recursive Programs. Theory and Practice of Logic Programming\u00a09(2), 213\u2013238 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-04238-6_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2009","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 71\u201386. Springer, Heidelberg (2009)"},{"key":"#cr-split#-4_CR62.1","doi-asserted-by":"crossref","unstructured":"Alviano, M., Faber, W., Leone, N.: Disjunctive asp with functions: Decidable queries and effective computation. In: Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP 2010) (2010)","DOI":"10.1017\/S1471068410000244"},{"key":"#cr-split#-4_CR62.2","unstructured":"Special Issue 10(4-6), 497-512 (2010)"},{"key":"4_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-540-89982-2_36","volume-title":"Logic Programming","author":"P. Cabalar","year":"2008","unstructured":"Cabalar, P.: Partial Functions and Equality in Answer Set Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 392\u2013406. Springer, Heidelberg (2008)"},{"key":"4_CR64","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 70\u201380. AAAI Press (2008)"},{"issue":"1","key":"4_CR65","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"4_CR66","doi-asserted-by":"publisher","first-page":"554","DOI":"10.14778\/1920841.1920912","volume":"3","author":"A. Cal\u00ec","year":"2010","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. Proceedings of the VLDB Endowment\u00a03(1), 554\u2013565 (2010)","journal-title":"Proceedings of the VLDB Endowment"},{"key":"4_CR67","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","volume":"193","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: The query answering problem. Artificial Intelligence\u00a0193, 87\u2013128 (2012)","journal-title":"Artificial Intelligence"},{"key":"4_CR68","unstructured":"Leone, N., Manna, M., Terracina, G., Veltri, P.: Efficiently computable datalog\u2009\u2203\u2009 programs. In: Brewka, G., Eiter, T., McIlraith, S. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). AAAI Press (2012)"},{"key":"#cr-split#-4_CR69.1","doi-asserted-by":"crossref","unstructured":"Alviano, M., Faber, W., Leone, N., Manna, M.: Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. In: Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP 2012) (2012)","DOI":"10.1017\/S1471068412000257"},{"key":"#cr-split#-4_CR69.2","unstructured":"Special Issue 12(4-5), 701-718 (July 2012)"},{"key":"4_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32589-2_1","volume-title":"Mathematical Foundations of Computer Science 2012","author":"G. Gottlob","year":"2012","unstructured":"Gottlob, G., Manna, M., Morak, M., Pieris, A.: On the complexity of ontological reasoning under disjunctive existential rules. In: Rovan, B., Sassone, V., Widmayer, P. (eds.) MFCS 2012. LNCS, vol.\u00a07464, pp. 1\u201318. Springer, Heidelberg (2012)"},{"key":"4_CR71","unstructured":"Pierre Bourhis, M.M., Pieris, A.: The impact of disjunction on ontological query answering under guarded-based existential rules. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"4_CR72","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 963\u2013968 (2011)"},{"key":"4_CR73","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Journal of Web Semantics\u00a014, 57\u201383 (2012)","journal-title":"Journal of Web Semantics"},{"key":"4_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-89982-2_46","volume-title":"Logic Programming","author":"D. Pearce","year":"2008","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 546\u2013560. Springer, Heidelberg (2008)"},{"key":"4_CR75","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer Sets for Propositional Theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"4_CR76","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372\u2013379 (January 2007)"},{"key":"4_CR77","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-24609-1_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2003","unstructured":"Brewka, G.: Answer Sets: From Constraint Programming Towards Qualitative Optimization. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 34\u201346. Springer, Heidelberg (2003)"},{"issue":"2","key":"4_CR78","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","author":"J.P. Delgrande","year":"2003","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. Theory and Practice of Logic Programming\u00a03(2), 129\u2013187 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1-2","key":"4_CR79","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence\u00a0109(1-2), 297\u2013356 (1999)","journal-title":"Artificial Intelligence"},{"key":"4_CR80","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-44957-4_11","volume-title":"Computational Logic - CL 2000","author":"K. Wang","year":"2000","unstructured":"Wang, K., Zhou, L., Lin, F.: Alternating Fixpoint Theory for Logic Programs with Priority. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 164\u2013178. Springer, Heidelberg (2000)"},{"key":"4_CR81","unstructured":"Schaub, T., Wang, K.: A Comparative Study of Logic Programs with Preference. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, WA, USA, pp. 597\u2013602. Morgan Kaufmann Publishers (August 2001)"},{"key":"4_CR82","unstructured":"Brewka, G.: Logic Programming with Ordered Disjunction. In: Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), pp. 67\u201376 (April 2002)"},{"key":"4_CR83","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Answer Set Optimization. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 867\u2013872. Morgan Kaufmann (August 2003)"},{"key":"4_CR84","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: Doherty, P., McCarthy, J., Williams, M. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series (2003)"},{"issue":"2","key":"4_CR85","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 Transactions on Computational Logic\u00a05(2), 206\u2013263 (2004)","journal-title":"ACM Transactions on Computational Logic"},{"key":"4_CR86","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-24609-1_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Dimopoulos","year":"2003","unstructured":"Dimopoulos, Y., Kakas, A.C., Michael, L.: Reasoning About Actions and Change in Answer Set Programming Programs. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 61\u201373. Springer, Heidelberg (2003)"},{"issue":"1-2","key":"4_CR87","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1017\/S1471068404002224","volume":"5","author":"S. Perri","year":"2005","unstructured":"Perri, S., Scarcello, F., Leone, N.: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Theory and Practice of Logic Programming\u00a05(1-2), 123\u2013159 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR88","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-30227-8_12","volume-title":"Logics in Artificial Intelligence","author":"M. Mari\u00ebn","year":"2004","unstructured":"Mari\u00ebn, M., Gilis, D., Denecker, M.: On the Relation Between ID-Logic and Answer Set Programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 108\u2013120. Springer, Heidelberg (2004)"},{"issue":"3","key":"4_CR89","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":"4_CR90","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-30504-0_9","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"S. Heymans","year":"2004","unstructured":"Heymans, S., Van Nieuwenborgh, D., Hadavandi, E.: Semantic web reasoning with conceptual logic programs. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 113\u2013127. Springer, Heidelberg (2004)"},{"key":"4_CR91","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, pp. 90\u201396 (August 2005)"},{"key":"4_CR92","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"4_CR93","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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":"4_CR94","series-title":"Lecture Notes in Artificial Intelligence","first-page":"306","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"D. Pearce","year":"2001","unstructured":"Pearce, D., Tompits, H., Woltran, S.: Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 306\u2013320. Springer, Heidelberg (2001)"},{"key":"4_CR95","doi-asserted-by":"crossref","unstructured":"Pearce, D., Sarsakov, V., Schaub, T., Tompits, H., Woltran, S.: A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. In: Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002) (2002)","DOI":"10.1007\/3-540-45619-8_28"},{"key":"4_CR96","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"4_CR97","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2013 An Implementation of the Stable Model and Well-founded Semantics for Normal Logic Programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"4_CR98","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 User\u2019s Manual (2002), http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz"},{"key":"4_CR99","unstructured":"Radziszowski, S.P.: Small Ramsey Numbers. The Electronic Journal of Combinatorics 1 (1994) (revision 9: July 15, 2002)"},{"key":"4_CR100","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1994)"},{"issue":"3","key":"4_CR101","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/69.599933","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE Transactions on Knowledge and Data Engineering\u00a09(3), 448\u2013463 (1997)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR102","unstructured":"Simons, P.: Smodels Homepage (since 1996), http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"4_CR103","unstructured":"Zhao, Y.: ASSAT homepage (since 2002), http:\/\/assat.cs.ust.hk\/"},{"key":"4_CR104","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002), Edmonton, Alberta, Canada. AAAI Press\/MIT Press (2002)"},{"key":"4_CR105","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":"4_CR106","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 386\u2013392. Morgan Kaufmann Publishers (January 2007)"},{"key":"4_CR107","unstructured":"Janhunen, T., Niemel\u00e4, I., Seipel, D., Simons, P., You, J.H.: Unfolding Partiality and Disjunctions in Stable Model Semantics. Technical Report cs.AI\/0303009, arXiv.org (March 2003)"},{"key":"4_CR108","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.: cmodels \u2013 SAT-Based Disjunctive Answer Set Solver. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 447\u2013451. Springer, Heidelberg (2005)"},{"key":"4_CR109","unstructured":"Drescher, C., Gebser, M., Grote, T., Kaufmann, B., K\u00f6nig, A., Ostrowski, M., Schaub, T.: Conflict-Driven Disjunctive Answer Set Solving. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, pp. 422\u2013432. AAAI Press (2008)"},{"issue":"2","key":"4_CR110","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1109\/TKDE.2003.1185840","volume":"15","author":"S. Greco","year":"2003","unstructured":"Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Transactions on Knowledge and Data Engineering\u00a015(2), 368\u2013385 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR111","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"4_CR112","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-30570-5_21","volume-title":"Database Theory - ICDT 2005","author":"W. Faber","year":"2005","unstructured":"Faber, W., Greco, G., Leone, N.: Magic sets and their application to data integration. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, pp. 306\u2013320. Springer, Heidelberg (2005)"},{"issue":"4","key":"4_CR113","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1016\/j.jcss.2006.10.012","volume":"73","author":"W. Faber","year":"2007","unstructured":"Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. Journal of Computer and System Sciences\u00a073(4), 584\u2013609 (2007)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR114","doi-asserted-by":"crossref","unstructured":"Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artificial Intelligence 187-187, 156\u2013192 (2012)","DOI":"10.1016\/j.artint.2012.04.008"},{"issue":"2","key":"4_CR115","first-page":"125","volume":"24","author":"M. Alviano","year":"2011","unstructured":"Alviano, M., Faber, W.: Dynamic magic sets and super-coherent answer set programs. AI Communications \u2013 The European Journal on Artificial Intelligence\u00a024(2), 125\u2013145 (2011)","journal-title":"AI Communications \u2013 The European Journal on Artificial Intelligence"},{"key":"4_CR116","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-description logic to disjunctive datalog programs. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, pp. 152\u2013162 (2004)"},{"issue":"3","key":"4_CR117","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. Journal of Automated Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR118","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: Proceedings of the 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), Baltimore, Maryland, USA, pp. 915\u2013917. ACM Press (June 2005)","DOI":"10.1145\/1066157.1066286"},{"key":"4_CR119","unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Source Inconsistency and Incompleteness in Data Integration. In: Proceedings of the Knowledge Representation meets Databases International Workshop (KRDB 2002), Toulouse France, CEUR Electronic Workshop Proceedings (2002), http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-54\/"},{"key":"4_CR120","unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Integrating Inconsistent and Incomplete Data Sources. In: Proceedings of SEBD 2002, Portoferraio, Isola d\u2019Elba, pp. 299\u2013308 (2002)"},{"key":"4_CR121","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical Aspects of Declarative Languages","author":"T. Soininen","year":"1999","unstructured":"Soininen, T., Niemel\u00e4, I.: Developing a Declarative Rule Language for Applications in Product Configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 305\u2013319. Springer, Heidelberg (1999)"},{"key":"4_CR122","unstructured":"A Rule-Based Formal Model for Software Configuration. Technical Report A55, Digital Systems Laboratory, Department of Computer Science, Helsinki University of Technology, Espoo, Finland (1999)"},{"key":"4_CR123","unstructured":"Ruffolo, M., Leone, N., Manna, M., Sacc\u00e0, D., Zavatto, A.: Exploiting ASP for Semantic Information Extraction. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP 2005 - Answer Set Programming: Advances in Theory and Implementation, Bath, UK, pp. 248\u2013262 (July 2005)"},{"key":"4_CR124","doi-asserted-by":"crossref","unstructured":"Cumbo, C., Iiritano, S., Rullo, P.: Reasoning-Based Knowledge Extraction for Text Classification. In: Proceedings of Discovery Science, 7th International Conference, Padova, Italy, pp. 380\u2013387 (October 2004)","DOI":"10.1007\/978-3-540-30214-8_34"},{"key":"4_CR125","unstructured":"Curia, R., Ettorre, M., Gallucci, L., Iiritano, S., Rullo, P.: Textual Document Pre-Processing and Feature Extraction in OLEX. In: Proceedings of Data Mining 2005, Skiathos, Greece (2005)"},{"issue":"4","key":"4_CR126","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1145\/383779.383785","volume":"2","author":"L.C. Aiello","year":"2001","unstructured":"Aiello, L.C., Massacci, F.: Verifying security protocols as planning in logic programming. ACM Transactions on Computational Logic\u00a02(4), 542\u2013580 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"4_CR127","series-title":"Lecture Notes in Artificial Intelligence","first-page":"186","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Baral","year":"2001","unstructured":"Baral, C., Uyan, C.: Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 186\u2013199. Springer, Heidelberg (2001)"},{"key":"4_CR128","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Representing School Timetabling in a Disjunctive Logic Programming Language. In: Egly, U., Tompits, H. (eds.) Proceedings of the 13th Workshop on Logic Programming (WLP 1998), Vienna, Austria, pp. 43\u201352 (October 1998)"},{"key":"4_CR129","unstructured":"Bertino, E., Mileo, A., Provetti, A.: User Preferences VS Minimality in PPDL. In: Buccafurri, F. (ed.): Proceedings of the Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003, pp. 110\u2013122 (September 2003)"},{"key":"4_CR130","unstructured":"Greco, G., Guzzo, A., Sacc\u00e0, D.: A Logic Programming Approach for Planning Workflows Evolutions. In: Buccafurri, F. (ed.): Proceedings of the Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003, pp. 75\u201385 (September 2003)"},{"issue":"6","key":"4_CR131","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G. Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering\u00a015(6), 1389\u20131408 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR132","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-36388-2_12","volume-title":"Practical Aspects of Declarative Languages","author":"E. Erdem","year":"2002","unstructured":"Erdem, E., Lifschitz, V., Nakhleh, L., Ringe, D.: Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 160\u2013176. Springer, Heidelberg (2002)"},{"key":"4_CR133","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)"},{"key":"4_CR134","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"issue":"2","key":"4_CR135","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 \u2013 The European Journal on Artificial Intelligence\u00a019(2), 137\u2013154 (2006)","journal-title":"AI Communications \u2013 The European Journal on Artificial Intelligence"},{"key":"4_CR136","unstructured":"De Vos, M., Schaub, T. (eds.): SEA 2007: Software Engineering for Answer Set Programming, vol.\u00a0281. CEUR (2007), http:\/\/CEUR-WS.org\/Vol-281\/"},{"key":"4_CR137","unstructured":"Brain, M., De Vos, M.: Debugging Logic Programs under the Answer Set Semantics. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP 2005 - Answer Set Programming: Advances in Theory and Implementation, Bath, UK (July 2005)"},{"key":"4_CR138","doi-asserted-by":"crossref","unstructured":"El-Khatib, O., Pontelli, E., Son, T.C.: Justification and debugging of answer set programs in ASP. In: Jeffery, C., Choi, J.D., Lencevicius, R. (eds.) Proceedings of the Sixth International Workshop on Automated Debugging, California, USA, ACM (September 2005)","DOI":"10.1145\/1085130.1085137"},{"key":"4_CR139","unstructured":"Ricca, F.: The DLV Java Wrapper. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP 2003 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy, pp. 305\u2013316 (September 2003), http:\/\/CEUR-WS.org\/Vol-78\/"},{"key":"4_CR140","unstructured":"McCarthy, J.: Formalization of Common Sense, papers by John McCarthy, edited by V. Lifschitz. Ablex (1990)"},{"key":"4_CR141","unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, Inc., Washington, DC (1988)"},{"key":"4_CR142","unstructured":"Dix, J., Gottlob, G., Marek, V.W.: Causal Models for Disjunctive Logic Programs. In: Van Hentenryck, P. (ed.) Proceedings of the 11th International Conference on Logic Programming (ICLP 1994), Santa Margherita Ligure, Italy, pp. 290\u2013302. MIT Press (June 1994)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Intelligent Data Access"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39784-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T21:27:09Z","timestamp":1646170029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39784-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397837","9783642397844"],"references-count":145,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39784-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}