{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:55Z","timestamp":1725565435760},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_5","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"24-37","source":"Crossref","is-referenced-by-count":3,"title":["Decomposition of Distributed Nonmonotonic Multi-Context Systems"],"prefix":"10.1007","author":[{"given":"Seif El-Din","family":"Bairakdar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minh","family":"Dao-Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Krennwallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.1785","volume":"25","author":"P. Adjiman","year":"2006","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.C., Simon, L.: Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res.\u00a025, 269\u2013314 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR2","first-page":"291","volume-title":"IJCAI 2001","author":"J.F. Baget","year":"2001","unstructured":"Baget, J.F., Tognetti, Y.: Backtracking through biconnected components of a constraint graph. In: IJCAI 2001, pp. 291\u2013296. Morgan Kaufmann, San Francisco (2001)"},{"key":"5_CR3","unstructured":"Bikakis, A., Antoniou, G., Hassapis, P.: Strategies for contextual reasoning with conflicts in ambient intelligence. Knowl. Inf. Syst. (April 2010) (published online: April 9, 2010)"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-970-5","volume-title":"Graph Theory","author":"A. Bondy","year":"2008","unstructured":"Bondy, A., Murty, U.S.R.: Graph Theory. Springer, Heidelberg (2008)"},{"key":"5_CR5","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385\u2013390. AAAI Press, Menlo Park (July 2007)"},{"issue":"5-6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1017\/S1471068408003463","volume":"8","author":"F. Buccafurri","year":"2008","unstructured":"Buccafurri, F., Caminiti, G.: Logic programming with social features. Theory Pract. Log. Program.\u00a08(5-6), 643\u2013690 (2008)","journal-title":"Theory Pract. Log. Program."},{"key":"5_CR7","first-page":"60","volume-title":"KR 2010","author":"M. Dao-Tran","year":"2010","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: KR 2010, pp. 60\u201370. AAAI Press, Menlo Park (2010)"},{"key":"5_CR8","first-page":"386","volume-title":"IJCAI 2007","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386\u2013392. AAAI Press, Menlo Park (2007)"},{"issue":"3-4","key":"5_CR9","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 Gener. Comput.\u00a09(3-4), 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"issue":"2","key":"5_CR10","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."},{"issue":"1","key":"5_CR11","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. Artif. Intell.\u00a065(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"5_CR12","unstructured":"McCarthy, J.: Notes on formalizing context. In: IJCAI 1993, pp. 555\u2013562 (1993)"},{"key":"5_CR13","first-page":"58","volume-title":"ECAI 2004","author":"F. Roelofsen","year":"2004","unstructured":"Roelofsen, F., Serafini, L., Cimatti, A.: Many Hands Make LightWork: Localized Satisfiability for Multi-Context Systems. In: ECAI 2004, pp. 58\u201362. IOS Press, Amsterdam (2004)"},{"key":"5_CR14","first-page":"570","volume-title":"IJCAI 2005","author":"L. Serafini","year":"2005","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI 2005, pp. 570\u2013575. AAAI Press, Menlo Park (2005)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11431053_25","volume-title":"The Semantic Web: Research and Applications","author":"L. Serafini","year":"2005","unstructured":"Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 361\u2013376. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T06:01:13Z","timestamp":1553061673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}