{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:39Z","timestamp":1725538179823},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042218"},{"type":"electronic","value":"9783642042225"}],"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-04222-5_2","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T16:42:11Z","timestamp":1253119331000},"page":"18-42","source":"Crossref","is-referenced-by-count":5,"title":["Combining Nonmonotonic Knowledge Bases with External Sources"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Brewka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minh","family":"Dao-Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","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","first-page":"390","volume-title":"Proc. 11th Int\u2019l. Conf. 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: Proc. 11th Int\u2019l. Conf. Principles of Knowledge Representation and Reasoning (KR 2008), pp. 390\u2013400. AAAI Press, Menlo Park (2008)"},{"key":"2_CR2","first-page":"385","volume-title":"AAAI 2007","author":"G. Brewka","year":"2007","unstructured":"Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI 2007, pp. 385\u2013390. AAAI Press, Menlo Park (2007)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"LPNMR 2009","author":"G. Brewka","year":"2009","unstructured":"Brewka, G., Eiter, T.: Argumentation context systems: A framework for abstract group argumentation. In: LPNMR 2009. LNCS. Springer, Heidelberg (2009)"},{"key":"2_CR4","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI 2007, pp. 268\u2013273 (2007)"},{"issue":"3-4","key":"2_CR5","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. Ann. Math. Artif. Intell.\u00a050(3-4), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"2_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11546207_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2005","unstructured":"Calimeri, F., Ianni, G.: External sources of computation for answer set solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 105\u2013118. Springer, Heidelberg (2005)"},{"key":"2_CR7","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":"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.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"LPNMR 2009","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Relevance-driven evaluation of modular nonmonotonic logic programs. In: LPNMR 2009. LNCS. Springer, Heidelberg (to appear, 2009)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming (ICLP 2008)","year":"2008","unstructured":"de la Banda, M.G., Pontelli, E. (eds.): Logic Programming (ICLP 2008). LNCS, vol.\u00a05366. Springer, Heidelberg (2008)"},{"key":"2_CR10","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","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. LNCS, vol.\u00a05500, p. 50. Springer, Heidelberg (2009)"},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"key":"2_CR12","volume-title":"IJCAI 2009","author":"T. Eiter","year":"2009","unstructured":"Eiter, T., Fink, M., Krennwallner, T.: Decomposition of Declarative Knowledge Bases with External Functions. In: IJCAI 2009. AAAI Press, Menlo Park (2009)"},{"key":"2_CR13","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_CR14","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 2008","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 2008. LNCS, vol.\u00a05224, pp. 1\u201353. Springer, Heidelberg (2008)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web 2009","author":"T. Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Answer set programming: A primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol.\u00a05689, pp. 40\u2013110. Springer, Heidelberg (2009)"},{"issue":"12-13","key":"2_CR16","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. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"2_CR17","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: IJCAI 2005, pp. 90\u201396. Professional Book Center (2005)"},{"key":"2_CR18","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_CR19","first-page":"141","volume-title":"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: KR 2004, pp. 141\u2013151. Morgan Kaufmann, San Francisco (2004)"},{"issue":"1-2","key":"2_CR20","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous Active Agents, I: Semantics. Artificial Intelligence\u00a0108(1-2), 179\u2013255 (1999)","journal-title":"Artificial Intelligence"},{"key":"2_CR21","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)"},{"key":"2_CR22","first-page":"285","volume-title":"Handbook of Knowledge Representation, Foundations of Artificial Intelligence, ch.\u00a07","author":"M. Gelfond","year":"2007","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, Foundations of Artificial Intelligence, ch.\u00a07, pp. 285\u2013316. Elsevier, Amsterdam (2007)"},{"key":"2_CR23","first-page":"1070","volume-title":"ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"2_CR24","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 deductive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"2_CR25","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"Giunchiglia, F.: Contextual reasoning. Epistemologia\u00a0XVI, 345\u2013364 (1993)","journal-title":"Epistemologia"},{"issue":"1","key":"2_CR26","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"key":"2_CR27","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_CR28","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_CR29","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)"},{"key":"2_CR30","first-page":"23","volume-title":"ICLP 1994","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a Logic Program. In: ICLP 1994, pp. 23\u201337. MIT Press, Cambridge (1994)"},{"key":"2_CR31","volume-title":"Nonmonotonic Logics \u2013 Context-Dependent Reasoning","author":"V. Marek","year":"1993","unstructured":"Marek, V., Truszczy\u0144ski, M.: Nonmonotonic Logics \u2013 Context-Dependent Reasoning. Springer, Heidelberg (1993)"},{"issue":"12","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Commun. ACM\u00a030(12), 1029\u20131035 (1987)","journal-title":"Commun. ACM"},{"key":"2_CR33","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_CR34","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a04483, pp. 214\u2013227. Springer, Heidelberg (2007)"},{"key":"2_CR35","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_CR36","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proc. IJCAI 2005 (2005)"},{"issue":"6","key":"2_CR37","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. J. ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"J. ACM"},{"key":"2_CR38","unstructured":"Schindlauer, R.: Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology, Austria (December 2006)"},{"key":"2_CR39","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems: Theory and Implementation","author":"V. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46583-9_1","volume-title":"Generalized Quantifiers and Computation","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2000","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Generalized quantifiers, an introduction. In: V\u00e4\u00e4n\u00e4nen, J. (ed.) ESSLLI 1997. LNCS, vol.\u00a01754, pp. 1\u201317. Springer, Heidelberg (2000)"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-30504-0_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2004","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining description logic and defeasible logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 170\u2013181. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04222-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T07:58:28Z","timestamp":1590134308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04222-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042218","9783642042225"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04222-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}