{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T08:16:14Z","timestamp":1774685774140,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1018934223383","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"391-419","source":"Crossref","is-referenced-by-count":86,"title":["From logic programming towards multi\u2010agent systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fariba","family":"Sadri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\u20133","key":"325527_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond and A. Provetti, Representing actions: laws, observations and hypotheses, J. Logic Programming 31(1\u20133) (1997) 201-243.","journal-title":"J. Logic Programming"},{"issue":"5","key":"325527_CR2","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"2","author":"L. Console","year":"1991","unstructured":"L. Console, D.T. Dupre and P. Torasso, On the relationship between abduction and deduction, J. Logic Comput. 2(5) (1991) 661-690.","journal-title":"J. Logic Comput."},{"key":"325527_CR3","unstructured":"J. Davila, REACTIVE PASCAL and the event calculus: a platform to program reactive, rational agents, in: Proc. Workshop on Reasoning about Actions and Planning in Complex Environments, Bonn (1996)."},{"key":"325527_CR4","unstructured":"J. Davila, Agents in logic programming, Ph.D. thesis, Imperial College of Science, Technology and Medicine (1997)."},{"key":"325527_CR5","unstructured":"M. Denecker and D. De Schreye, Representing incomplete knowledge in abductive logic programming, in: Proc. International Symposium on Logic Programming (1993) pp. 147-163."},{"issue":"2","key":"325527_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"M. Denecker and D. De Schreye, SLDNFA: An abductive procedure for abductive logic programs, J. Logic Programming 34(2) (1998) 111-167.","journal-title":"J. Logic Programming"},{"issue":"1\u20132","key":"325527_CR7","first-page":"179","volume":"108","author":"T. Eiter","year":"1999","unstructured":"T. Eiter, V.S. Subrahmanian and G. Pick, Heterogeneous active agents, I, AI Journal 108(1\u20132) (1999) 179-255.","journal-title":"AI Journal"},{"key":"325527_CR8","unstructured":"T.H. Fung, A modified abductive framework, in: Proceedings of Logic Programming Workshop, WLP '94, eds. N. Fuchs and G. Gottlob (1994)."},{"issue":"2","key":"325527_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"T.H. Fung and R. Kowalski, The IFF proof procedure for abductive logic programming, J. Logic Programming 33(2) (1997) 151-165.","journal-title":"J. Logic Programming"},{"key":"325527_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing action and change by logic programs, J. Logic Programming 17 (1993) 301-322.","journal-title":"J. Logic Programming"},{"key":"325527_CR11","first-page":"383","volume-title":"Proceedings of ECAI 98","author":"C. Jung","year":"1998","unstructured":"C. Jung, Situated abstraction planning by abductive temporal reasoning, in: Proceedings of ECAI 98, ed. H. Prade (Wiley, New York, 1998) pp. 383-387."},{"key":"325527_CR12","first-page":"227","volume-title":"Meta-Logic and Logic Programming","author":"R. Kowalski","year":"1995","unstructured":"R. Kowalski, Using meta-logic to reconcile reactive with rational agents, in: Meta-Logic and Logic Programming, eds. K. Apt and F. Turini (MIT Press, Cambridge, MA, 1995) pp. 227-242."},{"key":"325527_CR13","unstructured":"R. Kowalski and F. Sadri, The situation calculus and event calculus compared, in: Proceedings of the International Logic Programming Symposium, Ithaca, New York, ed. M. Bruynooghe (MIT Press, 1994) pp. 539-553."},{"key":"325527_CR14","volume-title":"Proceedings of International Workshop on Logic in Databases","author":"R. Kowalski","year":"1996","unstructured":"R. Kowalski and F. Sadri, Towards a unified agent architecture that combines rationality with reactivity, in: Proceedings of International Workshop on Logic in Databases, San Miniato, Italy (Springer, Berlin, 1996)."},{"issue":"1","key":"325527_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4(1) (1986) 67-95.","journal-title":"New Generation Computing"},{"key":"325527_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R. Kowalski","year":"1998","unstructured":"R. Kowalski, F. Toni and G. Wetzel, Executing suspended logic programs, Fundamenta Informatica 34 (1998) 1-22.","journal-title":"Fundamenta Informatica"},{"issue":"1\u20133","key":"325527_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"H.J. Levesque, R. Reiter, Y. Lesperance, F. Lin and R.B. Scherl, GOLOG: A logic programming language for dynamic domains, J. Logic Programming, Special issue on reasoning about action and change 31(1\u20133) (1997) 59-83.","journal-title":"J. Logic Programming"},{"key":"325527_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1018921603877","volume":"21","author":"R. Li","year":"1997","unstructured":"R. Li and L.M. Pereira, Representing and reasoning about concurrent actions with abductive logic programs, Ann. Math. Artificial Intelligence 21 (1997) 245-303.","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"325527_CR19","unstructured":"R. Manthey and F. Bry, SATCHMO: A theorem prover implemented in Prolog, in: Proceedings of the 9th Conference on Automated Deduction (CADE), Argonne, IL (1988)."},{"key":"325527_CR20","unstructured":"A.S. Rao and M.P. Georgeff, An abstract architecture for rational agents, in: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KRR '92, Boston (1992)."},{"key":"325527_CR21","first-page":"275","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Sadri","year":"1988","unstructured":"F. Sadri and R. Kowalski, A theorem proving approach to database integrity checking, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 275-312."},{"key":"325527_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.7551\/mitpress\/4298.003.0017","volume-title":"Proceedings of the International Conference on Logic Programming","author":"F. Sadri","year":"1995","unstructured":"F. Sadri and R. Kowalski, Variants of the event calculus, in: Proceedings of the International Conference on Logic Programming, Kanagawa, Japan, ed. L. Stirling (MIT Press, Cambridge, MA, 1995) pp. 67-81."},{"issue":"1","key":"325527_CR23","first-page":"51","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham, Agent-oriented programming, AI Journal 60(1) (1993) 51-92.","journal-title":"AI Journal"},{"key":"325527_CR24","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Agents Breaking Away, Proc. of MAAMAW '96","author":"G. Wagner","year":"1996","unstructured":"G. Wagner, Vivid agents \u2014 How they deliberate, how they react, how they are verified, Extended version of G. Wagner, A logical and operational model of scalable knowledge-and perception-based agents, in: Agents Breaking Away, Proc. of MAAMAW '96, eds. W. Van de Velde and J.W. Perram, Lecture Notes in Artificial Intelligence, Vol. 1038 (Springer, Berlin, 1996)."},{"key":"325527_CR25","unstructured":"G. Wetzel, R.A. Kowalski and F. Toni, A theorem-proving approach to CLP, in: Workshop Logische Programmierung, eds. A. Krall and U. Geske, GMD-Studien, Vol. 270 (September 1995) pp. 63-72."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018934223383.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018934223383\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018934223383.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:32:09Z","timestamp":1747546329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018934223383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":25,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["325527"],"URL":"https:\/\/doi.org\/10.1023\/a:1018934223383","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}