{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:26:44Z","timestamp":1725463604661},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_11","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"146-162","source":"Crossref","is-referenced-by-count":4,"title":["MKNF Knowledge Bases in Multi-Context Systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Homola","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Slota","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Knorr, M., Leite, J., Slota, M.: Normative systems require hybrid knowledge bases (extended abstract). In: Conitzer, V., Winikoff, M., Padgham, L., van der Hoek, W. (eds.) Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), June 4-8. IFAAMAS, Valencia, Spain (2012)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-22359-4_23","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Alberti","year":"2011","unstructured":"Alberti, M., Gomes, A.S., Gon\u00e7alves, R., Leite, J., Slota, M.: Normative Systems Represented as Hybrid Knowledge Bases. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 330\u2013346. Springer, Heidelberg (2011)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BFb0013581","volume-title":"Intelligent Agents III. Agent Theories, Architectures, and Languages","author":"M. Benerecetti","year":"1997","unstructured":"Benerecetti, M., Cimatti, A., Giunchiglia, E., Giunchiglia, F., Serafini, L.: Formal Specification of Beliefs in Multi-Agent Systems. In: Jennings, N.R., Wooldridge, M.J., M\u00fcller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS, vol.\u00a01193, pp. 117\u2013130. Springer, Heidelberg (1997)"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR6","first-page":"385","volume-title":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence","author":"G. Brewka","year":"2007","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, July 22-26, pp. 385\u2013390. AAAI Press, Vancouver (2007)"},{"key":"11_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11533092_8","volume-title":"Computational Logic in Multi-Agent Systems","author":"A. Casali","year":"2005","unstructured":"Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 126\u2013143. Springer, Heidelberg (2005)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-58855-8_4","volume-title":"Intelligent Agents","author":"A. Cimatti","year":"1995","unstructured":"Cimatti, A., Serafini, L.: Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol.\u00a0890, pp. 71\u201385. Springer, Heidelberg (1995)"},{"key":"11_CR9","first-page":"1070","volume-title":"Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988)","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988), August 15-19, pp. 1070\u20131080. MIT Press, Seattle (1988)"},{"issue":"3-4","key":"11_CR10","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(3-4), 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"2","key":"11_CR11","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. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"11_CR12","unstructured":"Giunchiglia, F.: Contextual reasoning. Epistemologia - Special Issue on I Linguaggi e le Macchine XVI, 345\u2013364 (1993)"},{"issue":"9-10","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artificial Intelligence\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artificial Intelligence"},{"key":"11_CR14","first-page":"381","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991)","author":"V. Lifschitz","year":"1991","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 381\u2013386. Morgan Kaufmann, Sydney, Australia (1991)"},{"issue":"5","key":"11_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM\u00a057(5), 93\u2013154 (2010)","journal-title":"Journal of the ACM"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/8.3.261","volume":"8","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation\u00a08(3), 261\u2013292 (1998)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/logcom\/12.3.413","volume":"12","author":"J. Sabater","year":"2002","unstructured":"Sabater, J., Sierra, C., Parsons, S., Jennings, N.R.: Engineering executable agents using multi-context systems. Journal of Logic and Computation\u00a012(3), 413\u2013442 (2002)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T01:48:51Z","timestamp":1557193731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}