{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T19:46:30Z","timestamp":1773690390824,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":124,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642037535","type":"print"},{"value":"9783642037542","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03754-2_2","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T15:58:58Z","timestamp":1251734338000},"page":"40-110","source":"Crossref","is-referenced-by-count":106,"title":["Answer Set Programming: A Primer"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Krennwallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/11552222_10","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Amador, R., May, W.: A general language for evolution and reactivity in the semantic web. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 101\u2013115. Springer, Heidelberg (2005)"},{"key":"2_CR2","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"A. Analyti","year":"2008","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A principled framework for modular web rule bases and its semantics. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), AAAI Press, Menlo Park (2008)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11574620_5","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Analyti","year":"2005","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Stable Model Theory for Extended RDF Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 21\u201336. Springer, Heidelberg (2005)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Apt, K., Blair, H., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker [93], pp. 89\u2013148","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. Apt","year":"1994","unstructured":"Apt, K., Bol, N.: Logic programming and negation: A survey. Journal of Logic Programming\u00a019\/20, 9\u201371 (1994)","journal-title":"Journal of Logic Programming"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Arenas, M., Gutierrez, C., P\u00e9rez, J.: Foundations of RDF databases. In: Franconi and Tessaris [56]","DOI":"10.1007\/978-3-642-03754-2_4"},{"key":"2_CR7","unstructured":"Asparagus homepage (2005), http:\/\/asparagus.cs.uni-potsdam.de\/"},{"key":"2_CR8","unstructured":"Baader, F.: Description logics. In: Franconi and Tessaris [56]"},{"key":"2_CR9","unstructured":"Balduccini, M.: Modules and Signature Declarations for A-Prolog: Progress Report. In: de Vos and Schaub [30], http:\/\/sea07.cs.bath.ac.uk\/downloads\/sea07-proceedings.pdf"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11799573_28","volume-title":"Logic Programming","author":"C. Baral","year":"2006","unstructured":"Baral, C., Dzifcak, J., Takahashi, H.: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-74610-2_7","volume-title":"Logic Programming","author":"S. Baselice","year":"2007","unstructured":"Baselice, S., Bonatti, P.A., Criscuolo, G.: On finitely recursive programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 89\u2013103. Springer, Heidelberg (2007)"},{"key":"2_CR13","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"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(51)90003-5","volume":"78","author":"N. Bidoit","year":"1991","unstructured":"Bidoit, N.: Negation in rule-based database languages: A survey. Theor. Comput. Sci.\u00a078(1), 3\u201383 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-89982-2_38","volume-title":"Logic Programming","author":"S. Baselice","year":"2008","unstructured":"Baselice, S., Bonatti, P.A.: Composing normal programs with function symbols. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 425\u2013439. Springer, Heidelberg (2008)"},{"issue":"1","key":"2_CR16","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"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. Theory and Practice of Logic Programming\u00a02(3) (2002)","DOI":"10.1017\/S1471068402001394"},{"key":"2_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-63255-7_2","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Buccafurri","year":"1997","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and Weak Constraints in Disjunctive Datalog. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 2\u201317. Springer, Heidelberg (1997)"},{"issue":"3-4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F. Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Annals of Mathematics and Artificial Intelligence\u00a050(3-4), 333\u2013361 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR20","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)"},{"issue":"3","key":"2_CR21","first-page":"193","volume":"19","author":"F. Calimeri","year":"2006","unstructured":"Calimeri, F., Ianni, G.: Template programs for Disjunctive Logic Programming: An operational semantics. AI Communications\u00a019(3), 193\u2013206 (2006)","journal-title":"AI Communications"},{"issue":"3","key":"2_CR22","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: Hilog: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"2_CR23","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":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11853107_11","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"C. Viegas Dam\u00e1sio","year":"2006","unstructured":"Viegas Dam\u00e1sio, C., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 149\u2013163. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR25","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":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-02846-5_16","volume-title":"Proceedings 25th International Conference on Logic Programming (ICLP 2009)","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular nonmonotonic logic programming revisited. In: Hill, P., Warren, D. (eds.) Proceedings 25th International Conference on Logic Programming (ICLP 2009). LNCS, vol.\u00a05649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11811220_1","volume-title":"Knowledge Science, Engineering and Management","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS, vol.\u00a04092, pp. 1\u201322. Springer, Heidelberg (2006)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-72982-2_5","volume-title":"Web Reasoning and Rule Systems","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: Marchiori, M., Pan, J.Z., de Marie, C.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 58\u201372. Springer, Heidelberg (2007)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2008","unstructured":"de la Banda, M.G., Pontelli, E. (eds.): ICLP 2008. LNCS, vol.\u00a05366. Springer, Heidelberg (2008)"},{"key":"2_CR30","unstructured":"de Vos, M., Schaub, T. (eds.): Informal Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming, Tempe, AZ, USA (May 2007), http:\/\/sea07.cs.bath.ac.uk\/downloads\/sea07-proceedings.pdf"},{"issue":"3","key":"2_CR31","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundam. Inform.\u00a022(3), 227\u2013255 (1995)","journal-title":"Fundam. Inform."},{"issue":"3","key":"2_CR32","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundam. Inform.\u00a022(3), 257\u2013288 (1995)","journal-title":"Fundam. Inform."},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web: The REWERSE perspective, ch.\u00a01","author":"W. Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Ma\u0142uszy\u0144ski, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web: The REWERSE perspective, ch.\u00a01. LNCS, vol.\u00a05500, p. 50. Springer, Heidelberg (to appear, 2009)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-74610-2_3","volume-title":"Logic Programming","author":"T. Eiter","year":"2007","unstructured":"Eiter, T.: Answer set programming for the Semantic Web (tutorial). In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 23\u201326. Springer, Heidelberg (2007); Slides, http:\/\/www.dcc.fc.up.pt\/iclp07\/eiter.pdf"},{"issue":"2-4","key":"2_CR35","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10472-008-9086-5","volume":"51","author":"T. Eiter","year":"2007","unstructured":"Eiter, T., Faber, W., Fink, M., Woltran, S.: Complexity results for answer set programming with bounded predicate arities and implications. Annals of Mathematics and Artificial Intelligence\u00a051(2-4), 123\u2013165 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR36","doi-asserted-by":"publisher","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: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24609-1_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Fink, M., Tompits, H., Woltran, S.: Simplifying logic programs under uniform and strong equivalence. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol.\u00a02923, pp. 87\u201399. Springer, Heidelberg (2003)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Woltran, S.: Semantical Characterizations and Complexity of Equivalences in Answer Set Programming. ACM Trans. Comput. Log.\u00a08(3), Article 17 (53 + 11) (2007)","DOI":"10.1145\/1243996.1244000"},{"issue":"3\/4","key":"2_CR39","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Annals of Mathematics and Artificial Intelligence\u00a015(3\/4), 289\u2013323 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85658-0_1","volume-title":"Reasoning Web","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and Ontologies for the Semantic Web. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 1\u201353. Springer, Heidelberg (2008); Slides, http:\/\/rease.semanticweb.org\/"},{"key":"2_CR42","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. Technical Report INFSYS RR-1843-09-01, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, A-1040 Vienna, Austria (March 2009)"},{"issue":"12-13","key":"2_CR43","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. Artificial Intelligence\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11837787_4","volume-title":"Reasoning Web","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 93\u2013127. Springer, Heidelberg (2006)"},{"key":"2_CR45","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, August 2005, pp. 90\u201396 (2005)"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"2_CR47","first-page":"411","volume-title":"IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2006)","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in managing rules and ontologies. In: IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2006), Hongkong, pp. 411\u2013419. IEEE Computer Society, Los Alamitos (2006); preliminary version at ALPSWS 2006"},{"key":"2_CR48","unstructured":"Eiter, T., Leone, N., Pearce, D.: Assumption Sets for Extended Logic Programs. In: Gerbrandy, J., Marx, M., de Rijke, M., Venema, Y. (eds.) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press (1999), http:\/\/www.kr.tuwien.ac.at\/staff\/eiter\/et-archive\/jfak.pdf"},{"key":"2_CR49","first-page":"141","volume-title":"Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004)","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, British Columbia, Canada, pp. 141\u2013151. Morgan Kaufmann, San Francisco (2004)"},{"key":"2_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"key":"2_CR51","volume-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)","author":"T. Eiter","year":"2009","unstructured":"Eiter, T., \u0160imkus, M.: Bidirectional answer set programs with function symbols. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press, Menlo Park (2009)"},{"key":"2_CR52","unstructured":"Faber, W.: Enhancing Efficiency and Expressiveness in Answer Set Programming Systems. PhD thesis, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien (2002)"},{"issue":"5-6","key":"2_CR53","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1017\/S1471068408003323","volume":"8","author":"W. Faber","year":"2008","unstructured":"Faber, W., Pfeifer, G., Leone, N., Dell\u2019Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory and Practice of Logic Programming\u00a08(5-6), 545\u2013580 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"2_CR54","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Veloso, M.M. (ed.) IJCAI, pp. 372\u2013379 (2007)"},{"key":"2_CR55","unstructured":"Ferraris, P., Lifschitz, V.: Mathematical foundations of answer set programming. In: We Will Show Them! Essays in Honour of Dov Gabbay, vol.\u00a01, pp. 615\u2013664. College Publications (2005)"},{"key":"2_CR56","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning Web 2009","year":"2009","unstructured":"Franconi, E., Tessaris, S. (eds.): Reasoning Web 2009. LNCS. Springer, Heidelberg (2009)"},{"key":"2_CR57","unstructured":"Friedrich, G., et al.: Model-based repair of web service processes. Technical Report 2008\/001, ISBI research group, University of Klagenfurt (2008), http:\/\/test-informations.info\/"},{"key":"2_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an Incremental ASP Solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"key":"2_CR59","series-title":"Lecture Notes in Computer Science","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., Truszczynski, M.: The First Answer Set Programming System Competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 3\u201317. Springer, Heidelberg (2007)"},{"key":"2_CR60","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"key":"2_CR61","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume-title":"Handbook of Knowledge Representation, ch.\u00a07","author":"M. Gelfond","year":"2008","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, B.P.F., Lifschitz, V. (eds.) Handbook of Knowledge Representation, ch.\u00a07, pp. 285\u2013316. Elsevier, Amsterdam (2008)"},{"issue":"1-2","key":"2_CR62","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 - the a-prolog perspective. Artificial Intelligence\u00a0138(1-2), 3\u201338 (2002)","journal-title":"Artificial Intelligence"},{"key":"2_CR63","first-page":"1070","volume-title":"Proceedings Fifth Intl. Conference and Symposium Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings Fifth Intl. Conference and Symposium Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"2_CR64","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"},{"issue":"3","key":"2_CR65","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S1471068407003201","volume":"8","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Nieuwenborgh, D.V.: Guarded hybrid knowledge bases. Theory and Practice of Logic Programming\u00a08(3), 411\u2013429 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1-2","key":"2_CR66","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10472-006-9030-5","volume":"47","author":"S. Heymans","year":"2006","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Conceptual logic programs. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 103\u2013137 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"2_CR67","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.jal.2006.02.001","volume":"5","author":"S. Heymans","year":"2007","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Open answer set programming for the Semantic Web. J. Applied Logic\u00a05(1), 144\u2013169 (2007)","journal-title":"J. Applied Logic"},{"key":"2_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-88737-9_14","volume-title":"Web Reasoning and Rule Systems","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., Toma, I.: Ranking Services Using Fuzzy HEX-Programs. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 181\u2013196. Springer, Heidelberg (2008)"},{"issue":"1","key":"2_CR69","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1186\/1471-2105-8-377","volume":"8","author":"R. Hoehndorf","year":"2007","unstructured":"Hoehndorf, R., Loebe, F., Kelso, J., Herre, H.: Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies. BMC Bioinformatics\u00a08(1), 377 (2007)","journal-title":"BMC Bioinformatics"},{"key":"2_CR70","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-description logic to disjunctive datalog programs. In: Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, pp. 152\u2013162 (2004)"},{"key":"2_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1007\/978-3-642-02121-3_70","volume-title":"The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009","author":"G. Ianni","year":"2009","unstructured":"Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A Rule System for Querying Persistent RDFS Data. In: Arroyo, L., Traverso, P. (eds.) The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Greece. LNCS, vol.\u00a05554, pp. 857\u2013862. Springer, Heidelberg (2009)"},{"key":"2_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-72200-7_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2007","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity Aspects of Disjunctive Stable Models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 175\u2013187. Springer, Heidelberg (2007)"},{"issue":"7","key":"2_CR73","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.: Algorithm = Logic + Control. Commun. ACM\u00a022(7), 424\u2013436 (1979)","journal-title":"Commun. ACM"},{"key":"2_CR74","unstructured":"Lee, J.: A model-theoretic counterpart of loop formulas. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 503\u2013508. Professional Book Center (2005)"},{"key":"2_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-24599-5_31","volume-title":"Logic Programming","author":"J. Lee","year":"2003","unstructured":"Lee, J., Lifschitz, V.: Loop Formulas for Disjunctive Logic Programs. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 451\u2013465. Springer, Heidelberg (2003)"},{"key":"2_CR76","unstructured":"Lef\u2018evre, C., Nicolas, P.: Integrating grounding in the search process for answer set computing. In: ASPOCP: Answer Set Programming and Other Constraint Paradigms, pp. 89\u2013103 (2008)"},{"key":"2_CR77","doi-asserted-by":"crossref","unstructured":"Leone, N., Faber, W.: The DLV project: A tour from theory and research to applications and market. In: de\u00a0la Banda and Pontelli [29], pp. 53\u201368","DOI":"10.1007\/978-3-540-89982-2_10"},{"issue":"3","key":"2_CR78","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"},{"issue":"2","key":"2_CR79","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":"2_CR80","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings IJCAI 1991, pp. 381\u2013386 (1991)"},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP, pp. 23\u201337 (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"key":"2_CR82","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer Set Programming and Plan Generation. Artificial Intelligence\u00a0138, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"2_CR83","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":"4","key":"2_CR84","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 Trans. Comput. Log.\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"2_CR85","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1131313.1131316","volume":"7","author":"V. Lifschitz","year":"2006","unstructured":"Lifschitz, V., Razborov, A.A.: Why are there so many loop formulas? ACM Trans. Comput. Log.\u00a07(2), 261\u2013268 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"2_CR86","first-page":"23","volume-title":"Proceedings of the 11th International Conference on Logic Programming (ICLP 1994)","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Van Hentenryck, P. (ed.) Proceedings of the 11th International Conference on Logic Programming (ICLP 1994), Santa Margherita Ligure, Italy, pp. 23\u201337. MIT Press, Cambridge (1994)"},{"key":"2_CR87","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In: AAAI\/IAAI, p. 112 (2002)"},{"issue":"2","key":"2_CR88","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reasoning\u00a045(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reasoning"},{"key":"2_CR89","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-75256-1_19","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol.\u00a04724, pp. 187\u2013198. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"2_CR90","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jalgor.2008.02.006","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. J. Algorithms\u00a063(1-3), 70\u201389 (2008)","journal-title":"J. Algorithms"},{"issue":"3","key":"2_CR91","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Autoepistemic Logic. Journal of the ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of the ACM"},{"key":"2_CR92","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm \u2013 A 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: Apt, K., Marek, V.W., Truszczy\u0144ski, M., Warren, D.S. (eds.) The Logic Programming Paradigm \u2013 A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"2_CR93","volume-title":"Foundations of Deductive Databases and Logic Programming","year":"1988","unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, Washington (1988)"},{"key":"2_CR94","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BFb0031734","volume-title":"Logic in Databases","author":"J. Minker","year":"1996","unstructured":"Minker, J.: Logic and Databases: A 20 Year Retrospective. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, pp. 3\u201357. Springer, Heidelberg (1996)"},{"key":"2_CR95","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence IJCAI 2007, pp. 477\u2013482 (2007)"},{"issue":"3\u20134","key":"2_CR96","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic Programming with Stable Model Semantics as Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3\u20134), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR97","unstructured":"Niemel\u00e4, I. (ed.): Language Extensions and Software Engineering for ASP. Technical Report WP3, Working Group on Answer Set Programming (WASP), IST-FET-2001-37004 (September 2005), http:\/\/www.tcs.hut.fi\/Research\/Logic\/wasp\/wp3\/wasp-wp3-web\/"},{"key":"2_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-74610-2_40","volume-title":"Logic Programming","author":"D.V. Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: Computing Fuzzy Answer Sets Using dlvhex. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 449\u2013450. Springer, Heidelberg (2007)"},{"key":"2_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-72200-7_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"D.V. Nieuwenborgh","year":"2007","unstructured":"Nieuwenborgh, D.V., Eiter, T., Vermeir, D.: Conditional Planning with External Functions. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483, pp. 214\u2013227. Springer, Heidelberg (2007)"},{"issue":"5\u20136","key":"2_CR100","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1017\/S147106840800358X","volume":"8","author":"E. Oikarinen","year":"2008","unstructured":"Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for Smodels programs. Theory and Practice of Logic Programming\u00a08(5\u20136), 717\u2013761 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"2_CR101","unstructured":"Pal\u00f9, A.D., Dovier, A., Pontelli, E., Rossi, G.: Gasp: Answer set programming with lazy grounding. In: LaSh 2008: Logic And Search - Computation of structures from declarative descriptions (2008)"},{"key":"2_CR102","volume-title":"Computational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley Longman, Amsterdam (1994)"},{"issue":"1-2","key":"2_CR103","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":"2_CR104","doi-asserted-by":"crossref","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: de\u00a0la Banda and Pontelli [29], pp. 546\u2013560","DOI":"10.1007\/978-3-540-89982-2_46"},{"key":"2_CR105","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1145\/1242572.1242679","volume-title":"Proceedings of the 16th International Conference on World Wide Web (WWW)","author":"A. Polleres","year":"2007","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: Proceedings of the 16th International Conference on World Wide Web (WWW), pp. 787\u2013796. ACM, New York (2007)"},{"key":"2_CR106","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with Contextually Scoped Negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 332\u2013347. Springer, Heidelberg (2006)"},{"key":"2_CR107","first-page":"39","volume-title":"RuleML","author":"E. Pontelli","year":"2006","unstructured":"Pontelli, E., Son, T.C., Baral, C.: A framework for composition and inter-operation of rules in the semantic web. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML, pp. 39\u201350. IEEE Computer Society, Los Alamitos (2006)"},{"key":"2_CR108","unstructured":"Provetti, A., Son, T.C. (eds.): Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 2001 Workshop, Stanford (March 26-28, 2001)"},{"key":"2_CR109","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Minker [93], pp. 193\u2013216","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"2_CR110","unstructured":"Rainer, A.: Web Service Composition under Answer Set Programming. In: Proc. KI 2005 Workshop \u201dPlanen, Scheduling und Konfigurieren, Entwerfen\u201d, PuK 2005 (2005)"},{"key":"2_CR111","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 Databases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55\u201376. Plenum Press, New York (1978)"},{"issue":"1\u20132","key":"2_CR112","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence\u00a013(1\u20132), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"2_CR113","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 (2008), doi:10.1093\/logcom\/exn042","DOI":"10.1093\/logcom\/exn042"},{"key":"2_CR114","first-page":"68","volume-title":"Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning KR 2006","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: $\\mathcal{DL}\\text{+}log$ : Tight Integration of Description Logics and Disjunctive Datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning KR 2006, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"issue":"6","key":"2_CR115","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K.A. Ross","year":"1994","unstructured":"Ross, K.A.: Modular stratification and magic sets for datalog programs with negation. Journal of the ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"Journal of the ACM"},{"key":"2_CR116","series-title":"Lecture Notes in Computer Science","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, vol.\u00a04790, pp. 514\u2013530. Springer, Heidelberg (2007); Extended Paper to appear in ACM Trans. Computational Logic"},{"issue":"1","key":"2_CR117","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L.J. Stockmeyer","year":"1976","unstructured":"Stockmeyer, L.J.: The polynomial-time hierarchy. Theor. Comput. Sci.\u00a03(1), 1\u201322 (1976)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR118","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-24609-1_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Swift","year":"2003","unstructured":"Swift, T.: Deduction in Ontologies via ASP. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 275\u2013288. Springer, Heidelberg (2003)"},{"key":"2_CR119","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-45402-0_20","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, vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"key":"2_CR120","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-45402-0_38","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The smodels system. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS, vol.\u00a02173, pp. 434\u2013438. Springer, Heidelberg (2001)"},{"key":"2_CR121","unstructured":"Tari, L., Baral, C., Anwar, S.: A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. In: Proceedings of the 3rd International ASP 2005 Workshop, Bath, UK, July 2005. CEUR Workshop Proceedings, vol.\u00a0142, pp. 277\u2013293. CEUR WS (2005)"},{"issue":"3","key":"2_CR122","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"},{"issue":"2","key":"2_CR123","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S1471068407003250","volume":"8","author":"S. Woltran","year":"2008","unstructured":"Woltran, S.: A common view on strong, uniform, and other notions of equivalence in answer-set programming. Theory and Practice of Logic Programming\u00a08(2), 217\u2013234 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"2_CR124","unstructured":"Woltran, S. (ed.): Answer Set Programming: Model Applications and Proofs-of-Concept. Technical Report WP5, Working Group on Answer Set Programming (WASP), IST-FET-2001-37004 (July 2005), http:\/\/www.kr.tuwien.ac.at\/projects\/WASP\/report.html"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03754-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T22:18:21Z","timestamp":1590099501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03754-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037535","9783642037542"],"references-count":124,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}