{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:51Z","timestamp":1725456351699},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013542","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"336-343","source":"Crossref","is-referenced-by-count":0,"title":["Processing abductive reasoning via Contextual Logic Programming"],"prefix":"10.1007","author":[{"given":"Evelina","family":"Lamma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. Abduction in a multi-theory framework. In S. Gaglio, editor, Proceedings 2nd Congress AI*IA. Lecture Notes on Artificial Intelligence, Springer-Verlag, October 1991, Forthcoming.","DOI":"10.1007\/3-540-54712-6_226"},{"key":"26_CR2","volume-title":"Technical report","author":"W. Chen","year":"1989","unstructured":"W. Chen and D.H. Warren. Abductive logic programming. Technical report, State University of New York at Stony Brook, 1989."},{"key":"26_CR3","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":"26_CR4","unstructured":"A.C. Kakas and P. Mancarella. Generalized stable models: a semantics for abduction. In Proceedings of 9th European Conference on Artificial Intelligence. Pitman, 1990."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"R.A. Kowalski. Problems and promises of computational logic. In Proceedings of Symposium on Computational Logic, pages 1\u201336. Springer-Verlag, November 1990.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"26_CR6","unstructured":"E. Lamma, P. Mello, and A. Natali. The design of an abstract machine for efficient implementation of contexts in logic programming. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, pages 303\u2013317. The MIT Press, 1989."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"E. Lamma, P. Mello, and A. Natali. An extended warren abstract machine for the execution of structured logic programs. To appear in Journal of Logic Programming, 1991.","DOI":"10.1016\/0743-1066(92)90011-Q"},{"key":"26_CR8","unstructured":"E. Lamma, P. Mello, and G.F. Rossi. Parametric composable modules in a logic programming language. Technical report, Department of Computer Science, University of Udine and DEIS, University of Bologna, 1991."},{"key":"26_CR9","unstructured":"P. Mello, A. Natali, and C. Ruggieri. Logic programming in a software engineering perspective. In L. Lusk and R.A. Overbeek, editors, Proc. NACLP, pages 451\u2013458. The MIT Press, 1989."},{"key":"26_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":"26_CR11","unstructured":"D.L. Poole. Representing knowledge for logic-based diagnosis. In Proc. Int'l Conf. FGCS, pages 1282\u20131290, 1988."},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037149","volume":"9","author":"D.L. Poole","year":"1991","unstructured":"D.L. Poole. Compiling a default reasoning system into Prolog. New Generation Computing, 9:3\u201338, 1991.","journal-title":"New Generation Computing"},{"key":"26_CR13","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Technical Report TR 309, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:28:47Z","timestamp":1586579327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0013542","relation":{},"subject":[]}}