{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:45:58Z","timestamp":1770885958765,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665403","type":"print"},{"value":"9783540481645","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_17","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"278-293","source":"Crossref","is-referenced-by-count":3,"title":["OPENLOG: A Logic Programming Language Based on Abduction"],"prefix":"10.1007","author":[{"given":"Jacinto A.","family":"D\u00e1vila","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Temporal reasoning and planning. In: Allen, J.F., Kautz, H., Pelavin, R., Tenenberg, J. (eds.) Reasoning About Plans. Morgan Kauffmann Publishers, Inc., San Mateo (1991) ISBN 1-55860-137-6","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"17_CR2","volume-title":"Introduction to Artificial Intelligence","author":"E. Charniak","year":"1985","unstructured":"Charniak, E., McDermott, D.: Introduction to Artificial Intelligence. Addison-Wesley, Menlo Park (1985)"},{"issue":"5","key":"17_CR3","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"2","author":"L. Console","year":"1991","unstructured":"Console, L., Dupre, T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation\u00a02(5), 661\u2013690 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"17_CR4","unstructured":"D\u00e1vila, J.A.: Knowledge assimilation in multi-agents system. Master\u2019s thesis, Imperial College, London (September 1994)"},{"key":"17_CR5","unstructured":"D\u00e1vila J.A.: A logic-based agent. Technical report, Imperial College, London, (February 1996)"},{"key":"17_CR6","unstructured":"D\u00e1vila, J. A.: Agents in Logic Programming. PhD thesis, Imperial College, London (May 1997)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"de Kleer, J.: An assumption-based tms. Artificial Intelligence\u00a032 (1986)","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"17_CR8","unstructured":"Dean, T., Boddy, M.: An analysis of time-dependent planning. In: AAAI 1988: The Seventh National Conference on AI, Saint Paul, Minnesota, August 1988, vol.\u00a01 (1988)"},{"key":"17_CR9","unstructured":"Denecker, M., De Schreye, D.: Sldnfa: an abductive procedure for abductive logic programs. The journal of logic programming (1995)"},{"key":"17_CR10","first-page":"234","volume-title":"Proceedings of the International Conference on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K., Kowalski, R.: Abduction compare with negation as failure. In: Levi, G., Martelli, M. (eds.) Proceedings of the International Conference on Logic Programming, Lisbon, Portugal, pp. 234\u2013255. MIT Press, Cambridge (1989)"},{"key":"17_CR11","unstructured":"Eshghi, K.: Abductive planning with event calculus. In: Proceedings 5th International Conference on Logic Programming, p. 562 (1988)"},{"key":"17_CR12","volume-title":"Proc. 2nd. International Symposium on Artificial Intelligence","author":"C.A. Evans","year":"1989","unstructured":"Evans, C.A.: Negation as failure as an approach to the Hanks and McDermott problem. In: Cantu-Ortiz, F.J. (ed.) Proc. 2nd. International Symposium on Artificial Intelligence, Monterrey, Mexico. McGraw-Hill, New York (1989)"},{"issue":"2","key":"17_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. Fung","year":"1997","unstructured":"Fung, T., Kowalski, R.: The iff proof procedure for abductive logic programming. The Journal of logic programming\u00a033(2), 151\u2013178 (1997)","journal-title":"The Journal of logic programming"},{"key":"17_CR14","unstructured":"Fung, T.H.: Abduction by deduction. PhD thesis, Imperial College, London (January 1996)"},{"key":"17_CR15","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"17_CR17","unstructured":"Kakas, A.C., Mancarella, P.: Abductive logic programming. In: Marek, W., Nerode, A., Pedreschi, D., Subrahmanian, V.S. (eds.) Proc. NACLP Workshop on Non-monotonic Reasoning and Logic Programming, Austin, Texas (1990)"},{"key":"17_CR18","unstructured":"Kowalski, R.: Using metalogic to reconcile reactive with rational agents. In: Apt, K., Turini, F. (eds.) Meta-Logics and Logic Programming. MIT Press, Cambridge (1995), Also at, \n                  \n                    http:\/\/www-p.doc.ic.ac.uk\/UserPages\/staff\/rak\/recon-abst.html"},{"key":"17_CR19","unstructured":"Kowalski, R., Sadri, F.: The situation calculus and event calculus compared. In: Bruynooghe, M. (ed.) Proc. International Logic Programming Symposium, pp. 539\u2013553. MIT Press, Cambridge (1994), also at, \n                  \n                    http:\/\/www-Ip.doc.ic.ac.uk\/UserPages\/staff\/fs\/ilps94.html"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Fangzhen, L., Scherl, R.B.: Golog: A logic programming language for dynamic domains. The Journal of Logic Programming\u00a031, 59\u201384 (1997)","journal-title":"The Journal of Logic Programming"},{"key":"17_CR22","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"17_CR23","unstructured":"Sun Microsystems. Hotjava home page, \n                  \n                    http:\/\/java.sun.com\/"},{"key":"17_CR24","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"5","key":"17_CR25","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","volume":"5","author":"L. Missiaen","year":"1995","unstructured":"Missiaen, L., Bruynooghe, M., Denecker, M.: Chica an abductive planning system based on event calculus. Journal of Logic and Computation\u00a05(5), 579\u2013602 (1995)","journal-title":"Journal of Logic and Computation"},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"Pereira, F.C.N., Warren, D.H.D.: Definite clause grammars for language analysis-a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence\u00a013, 231\u2013278 (1980)","journal-title":"Artificial Intelligence"},{"key":"17_CR27","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D.: Explanation and prediction: an architecture for default and abductive reasoning. Computational Intelligence Journal\u00a05, 97\u2013110 (1989)","journal-title":"Computational Intelligence Journal"},{"key":"17_CR28","first-page":"150","volume-title":"Proc. International Joint Conference on Artificial Intelligence","author":"D. Poole","year":"1995","unstructured":"Poole, D.: Logic programming for robot control. In: Mellish, C.S. (ed.) Proc. International Joint Conference on Artificial Intelligence, San Mateo, California, pp. 150\u2013157. Morgan Kaufmann Publishers, Inc., San Francisco (1995)"},{"key":"17_CR29","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(94)00056-7","volume":"73","author":"S.J. Rosenschein","year":"1995","unstructured":"Rosenschein, S.J., Kaelbling, L.P.: A situated view of representation and control. Artificial Intelligence\u00a073, 149\u2013173 (1995)","journal-title":"Artificial Intelligence"},{"key":"17_CR30","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"1995","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs (1995)"},{"key":"17_CR31","first-page":"1055","volume-title":"Proc. International Joint Conference on Artificial Intelligence","author":"M. Shanahan","year":"1989","unstructured":"Shanahan, M.: Prediction is deduction but explanation is abduction. In: Sridharan, N.S. (ed.) Proc. International Joint Conference on Artificial Intelligence, pp. 1055\u20131060. Morgan Kaufmann, Detroit (1989)"},{"key":"17_CR32","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)"},{"key":"17_CR33","unstructured":"Toni, F.: Abductive Logic Programming. PhD thesis, Imperial College, London (July 1995)"},{"issue":"4","key":"17_CR34","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a04(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"key":"17_CR35","unstructured":"Wetzel, G.: Abductive and Constraint Logic Programming. PhD thesis, Imperial College, London (March 1997)"},{"key":"17_CR36","unstructured":"Wetzel, G., Kowalski, R., Toni, F.: A theorem-proving approach to clp. In: Krall, A., Geske, U. (eds.) Workshop Logische Program-mierung, number 270, GMD-Studien, September 1995, vol.270, pp. 63\u201372 (1995)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T02:42:39Z","timestamp":1552876959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/10704567_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}