{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:50Z","timestamp":1725663950085},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_226","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:09:49Z","timestamp":1330211389000},"page":"138-146","source":"Crossref","is-referenced-by-count":3,"title":["Abductive reasoning in a multi-theory framework"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","volume-title":"Proceedings of Second Workshop on Extensions of Logic Programming, Lectures Notes in Artificial Intelligence","author":"A. Brogi","year":"1991","unstructured":"A. Brogi, E. Lamma, and P. Mello. Open Logic Theories. In L.-H. Eriksson, P. Krueger, and P. Schroeder-Heister, editors, Proceedings of Second Workshop on Extensions of Logic Programming, Lectures Notes in Artificial Intelligence. Springer-Verlag, Kista, January 1991. Forthcoming."},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-76274-1_7","volume-title":"Computational Logic, Symposium Proceedings","author":"A. Brogi","year":"1990","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition Operators for Logic Theories. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 117\u2013134. Springer-Verlag, Brussels, November 1990."},{"key":"14_CR3","unstructured":"L. Console, D. Theseider Dupr\u00e8 and P. Torasso. Abductive Reasoning Through Direct Deduction from Completed Domains Models. In Methodologies for Intelligent Systems, N. 4, page 175, North Holland,1989."},{"key":"14_CR4","unstructured":"W. Chen and D.H. Warren. Abductive Logic Programming. TR, Dept. of Computer Science, State University of New York, October 1989."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"P.T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In Proceedings CADE-86, page 608, 1986.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"14_CR6","unstructured":"K. Eshgi and R.A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, page 234. The MIT Press, 1989."},{"key":"14_CR7","unstructured":"A.C. Kakas and P. Mancarella. Generalized stable models: a semantics for abduction. In Proceedings of 9th European Conference on Artificial Intelligence. Pitman Publishing, 1990."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski. Problems and promises of computational logic. In Proceedings of Symposium on Computational Logic. Springer-Verlag, November 1990.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"D. Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, 6:79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"14_CR10","unstructured":"L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, pages 284\u2013302. The MIT Press, 1989."},{"key":"14_CR11","unstructured":"R. O'Keefe. Towards an algebra for constructing logic programs. In Proceedings of IEEE Symposium on Logic Programming, pages 152\u2013160, 19856."},{"key":"14_CR12","unstructured":"J. Pearl. Embracing causality in formal reasoning. Proc. National Conference on Artificial Intelligence, Seattle, WA, pages 369\u2013373, 1987."},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. L. Poole","year":"1988","unstructured":"D.L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27, 1988.","journal-title":"Artificial Intelligence"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed world data bases. In H. Gallaire and J.Minker, editors, Logic and Data Bases. Plenum, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"issue":"4","key":"14_CR15","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_226.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:23:53Z","timestamp":1619573033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_226","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}