{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:08:42Z","timestamp":1742926122322,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_16","type":"book-chapter","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T02:59:49Z","timestamp":1303959589000},"page":"233-258","source":"Crossref","is-referenced-by-count":19,"title":["Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bairakdar, S.E.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Decomposition of distributed nonmonotonic multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) [39]"},{"key":"16_CR2","unstructured":"Bairakdar, S.E.-D., Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: The DMCS solver for distributed nonmonotonic multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) [39]"},{"key":"16_CR3","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9\u201318 (2003)"},{"key":"16_CR4","unstructured":"Bao, J., Honovar, V.: Extension to support collaborative ontology building. In: Poster & Demonstration Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), page PID\u00a037 (2004) (poster)"},{"key":"16_CR5","unstructured":"B\u00f6gl, M., Eiter, T., Fink, M., Sch\u00fcller, P.: The MCS-IE system for explaining inconsistency in multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) [39]"},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.jal.2009.05.001","volume":"7","author":"G. Bonanno","year":"2009","unstructured":"Bonanno, G., Delgrande, J.P., Lang, J., Rott, H.: Special issue on formal models of belief change in rational agents. J. Applied Logic\u00a07(4), 363 (2009)","journal-title":"J. Applied Logic"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-36124-3_3","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"A. Borgida","year":"2002","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: Meersman, R., Tari, Z. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, pp. 36\u201353. Springer, Heidelberg (2002)"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C. Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Artif. Intell. Res (JAIR)\u00a021, 135\u2013191 (2004)","journal-title":"J. Artif. Intell. Res (JAIR)"},{"key":"16_CR9","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":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-04238-6_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Brewka","year":"2009","unstructured":"Brewka, G., Eiter, T.: Argumentation context systems: A framework for abstract group argumentation. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 44\u201357. Springer, Heidelberg (2009)"},{"key":"16_CR11","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual Default Reasoning. In: IJCAI 2007, pp. 268\u2013273 (2007)"},{"issue":"5-6","key":"16_CR12","first-page":"643","volume":"8","author":"F. Buccafurri","year":"2008","unstructured":"Buccafurri, F., Caminiti, G.: Logic programming with social features. TPLP\u00a08(5-6), 643\u2013690 (2008)","journal-title":"TPLP"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1007\/978-3-540-89982-2_64","volume-title":"Logic Programming","author":"F. Buccafurri","year":"2008","unstructured":"Buccafurri, F., Caminiti, G., Laurendi, R.: A logic language with stable model semantics for social reasoning. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 718\u2013723. Springer, Heidelberg (2008)"},{"key":"16_CR14","unstructured":"Caleiro, C., Sernadas, A., Sernadas, C.: Fibring logics: Past, present and future. In: Art\u00ebmov, S.N., Barringer, H., d\u2019Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! (1), pp. 363\u2013388. College Publications (2005)"},{"key":"16_CR15","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13 (2010)"},{"key":"16_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-36524-9_7","volume-title":"Web Knowledge Management and Decision Support","author":"P. Dell\u2019Acqua","year":"2003","unstructured":"Dell\u2019Acqua, P., Pereira, L.M.: Preferring and updating in logic-based agents. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol.\u00a02543, pp. 70\u201385. Springer, Heidelberg (2003)"},{"issue":"3","key":"16_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae\u00a0XXII(3), 257\u2013288 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web","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. LNCS, vol.\u00a05500, pp. 1\u201349. Springer, Heidelberg (2009)"},{"issue":"2","key":"16_CR19","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":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-04222-5_2","volume-title":"Frontiers of Combining Systems","author":"T. Eiter","year":"2009","unstructured":"Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining nonmonotonic knowledge bases with external sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 18\u201342. Springer, Heidelberg (2009)"},{"key":"16_CR21","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P.: Approximations for explanations of inconsistency in partially known multi-context systems. In: Informal Proceedings Conference Thirty Years of Nonmonotonicty (NonMon30), Lexington, October 22-25 (2010)"},{"key":"16_CR22","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. In: Proceedings 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13 (2010)"},{"key":"16_CR23","unstructured":"Eiter, T., Fink, M., Weinzierl, A.: Preference-based inconsistency assessment in multi-context systems. In: Janhunen, T., Niemel\u00e4, I. (eds.) [39]"},{"key":"16_CR24","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":"#cr-split#-16_CR25.1","doi-asserted-by":"crossref","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-1539 (2008)","DOI":"10.1016\/j.artint.2008.04.002"},{"key":"#cr-split#-16_CR25.2","unstructured":"Preliminary version Tech.Rep. INFSYS RR-1843-07-04, Inst. Information Systems, TU Vienna (January 2007)"},{"key":"16_CR26","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, pp. 90\u201396 (2005)"},{"key":"16_CR27","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":"16_CR28","first-page":"456","volume-title":"CIKM","author":"T.W. Finin","year":"1994","unstructured":"Finin, T.W., Fritzson, R., McKay, D.P., McEntire, R.: Kqml as an agent communication language. In: CIKM, pp. 456\u2013463. ACM, New York (1994)"},{"key":"16_CR29","unstructured":"Foundation for Intelligent Physical Agents (FIPA). Fipa2000 agent specification (2000), http:\/\/www.fipa.org"},{"volume-title":"Fibring Logics","year":"1999","key":"16_CR30","unstructured":"Gabbay, D. (ed.): Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"16_CR31","series-title":"Foundations of Artificial Intelligence","first-page":"285","volume-title":"Handbook of Knowledge Representation","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. 7, pp. 285\u2013316. Elsevier, Amsterdam (2007)"},{"key":"16_CR32","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":"16_CR33","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"},{"issue":"2","key":"16_CR34","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artif. Intell.\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artif. Intell."},{"key":"16_CR35","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":"16_CR36","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"},{"issue":"1-2","key":"16_CR37","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.artint.2004.08.004","volume":"161","author":"K. Hirayama","year":"2005","unstructured":"Hirayama, K., Yokoo, M.: The distributed breakout algorithms. Artif. Intell.\u00a0161(1-2), 89\u2013115 (2005)","journal-title":"Artif. Intell."},{"key":"16_CR38","unstructured":"Homola, M.: Semantic Investigations in Distributed Ontologies. PhD thesis, Comenius University, Bratislava, Slovakia (April 2010)"},{"key":"16_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"Logics in Artificial Intelligence","year":"2010","unstructured":"Janhunen, T., Niemel\u00e4, I. (eds.): JELIA 2010. LNCS, vol.\u00a06341. Springer, Heidelberg (2010)"},{"key":"16_CR40","first-page":"215","volume-title":"KR","author":"O. Kutz","year":"2002","unstructured":"Kutz, O., Wolter, F., Zakharyaschev, M.: Connecting abstract description systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR, pp. 215\u2013226. Morgan Kaufmann, San Francisco (2002)"},{"key":"16_CR41","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: International Conference on Logic Programming (ICLP), pp. 23\u201337 (1994)"},{"issue":"12","key":"16_CR42","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":"16_CR43","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proc. IJCAI 2005 (2005)"},{"volume-title":"Multiagent Systems. A Modern Approach to Distributed Artifical Intelligence","year":"2000","key":"16_CR44","unstructured":"Weiss, G. (ed.): Multiagent Systems. A Modern Approach to Distributed Artifical Intelligence. MIT-Press, Cambridge (2000) (2nd print)"},{"key":"16_CR45","volume-title":"An Introduction to MultiAgent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley and Sons, Chichester (2002); 2nd edn. (2009)"},{"key":"16_CR46","unstructured":"Zimmermann, A.: Integrated distributed description logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., Tessaris, S. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0250, CEUR-WS.org (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T17:33:43Z","timestamp":1592501623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}