{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:12:55Z","timestamp":1775052775261,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540673507","type":"print"},{"value":"9783540462385","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46238-4_6","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:05:23Z","timestamp":1185919523000},"page":"61-71","source":"Crossref","is-referenced-by-count":8,"title":["An Implementation for Abductive Logic Agents"],"prefix":"10.1007","author":[{"given":"A.","family":"Ciampolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Stefanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"6_CR1","unstructured":"Abductive LogIc Agent System. \n                    http:\/\/www.lia.deis.unibo.it\/Software\/ALIAS\/\n                    \n                  ."},{"key":"6_CR2","unstructured":"AMZI! Amzi! Prolog + Logic Server 4.1. \n                    http:\/\/www.amzi.com\n                    \n                  ."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)80755-4","volume":"184","author":"A. Brogi","year":"1997","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. In Theoretical Computer Science, Vol. 184, 1\u201349, North Holland, 1997.","journal-title":"Theoretical Computer Science"},{"key":"6_CR4","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, eds., Logic and Databases. Plenum Press, New York, 1978."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"P. T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In Proc. CADE-86, 608, 1986.","DOI":"10.1007\/3-540-16780-3_125"},{"key":"6_CR6","unstructured":"K. Eshgi and R. A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proc. 6th International Conference on Logic Programming, 234. MIT Press, 1989."},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Toplas, 7(1):80\u2013112, 1985. V.7, N.1, 80\u2013112, 1985.","journal-title":"Generative Communication in Linda. ACM Toplas"},{"issue":"6","key":"6_CR8","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1993","unstructured":"A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"6_CR9","unstructured":"A. C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Proc. 9th European Conference on Artificial Intelligence. Pitman Pub., 1990."},{"key":"6_CR10","unstructured":"A. C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In Proc. PRICAI90, 1990."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"R. A. Kowalski. Problems and promises of computational logic. In Proc. Symposium on Computational Logic, 1\u201336. Springer-Verlag, Nov. 1990.","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"N. R. Jennings, M. J. Wooldridge, eds., Agent Technology. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03678-5"},{"key":"6_CR13","doi-asserted-by":"publisher","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. Elsevier, 1988.","journal-title":"Artificial Intelligence"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"K. Sicara, et al. Distributed Intelligent Agents. IEEE Expert, 36\u201346, Dec. 1996.","DOI":"10.1109\/64.546581"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","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","AI*IA 99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46238-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T15:54:32Z","timestamp":1550418872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46238-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540673507","9783540462385"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46238-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}