{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:16:59Z","timestamp":1767651419168},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540608059"},{"type":"electronic","value":"9783540495949"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3540608052_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:00:44Z","timestamp":1330290044000},"page":"331-346","source":"Crossref","is-referenced-by-count":32,"title":["Foundations of a logical approach to agent programming"],"prefix":"10.1007","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangzhen","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Marcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Reiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard B.","family":"Scherl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,7]]},"reference":[{"key":"22_CR1","volume-title":"Communicative actions for artificial agents","author":"P. R. Cohen","year":"1995","unstructured":"Philip R. Cohen and Hector J. Levesque. Communicative actions for artificial agents. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multiagent Systems, San Francisco, CA, June 1995. AAAI Press\/MIT Press."},{"key":"22_CR2","unstructured":"ARPA Knowledge Sharing Initiative External Interfaces Working Group. Specification of the KQML agent-communication language. Working Paper, June 1993."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"M. Fisher. A survey of Concurrent MetateM \u2014 the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic \u2014 Proceedings of the First International Conference (LNAI Volume 827), pages 480\u2013505. Springer-Verlag, July 1994.","DOI":"10.1007\/BFb0014005"},{"key":"22_CR4","volume-title":"CSLI Lecture Notes No. 7","author":"R. Goldblatt","year":"1987","unstructured":"Robert Goldblatt. Logics of Time and Computation. CSLI Lecture Notes No. 7. Center for the Study of Language and Information, Stanford University, Stanford, CA, 2nd. edition, 1987.","edition":"2nd. edition"},{"key":"22_CR5","first-page":"343","volume-title":"The case for domain-specific frame axioms","author":"A. R. Haas","year":"1987","unstructured":"Andrew R. Haas. The case for domain-specific frame axioms. In F.M. Brown, editor, The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, pages 343\u2013348, Lawrence, KA, April 1987. Morgan Kaufmann Publishing."},{"key":"22_CR6","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, F. Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. A logical approach to high-level robot programming \u2014 a progress report. In Benjamin Kuipers, editor, Control of the Physical World by Intelligent Agents, Papers from the 1994 AAAI Fall Symposium, pages 109\u2013119, New Orleans, LA, November 1994."},{"key":"22_CR7","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. In preparation, 1995."},{"key":"22_CR8","unstructured":"Hector J. Levesque. Concurrency in the situation calculus. In preparation, 1995."},{"key":"22_CR9","unstructured":"Hector J. Levesque, Raymond Reiter, Yves Lesp\u00e9rance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Submitted to the Journal of Logic Programming, special issue on Reasoning about Action and Change, Sept. 1995."},{"key":"22_CR10","first-page":"425","volume-title":"How to progress a database (and why) I. logical foundations","author":"F. Lin","year":"1994","unstructured":"Fangzhen Lin and Raymond Reiter. How to progress a database (and why) I. logical foundations. In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, pages 425\u2013436, Bonn, Germany, 1994. Morgan Kaufmann Publishing."},{"issue":"5","key":"22_CR11","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655\u2013678, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"22_CR12","first-page":"2001","volume-title":"How to progress a database II: The STRIPS connection","author":"F. Lin","year":"1995","unstructured":"Fangzhen Lin and Raymond Reiter. How to progress a database II: The STRIPS connection. In Chris S. Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 2001\u20132007, Montr\u00e9al, August 1995. Morgan Kaufmann Publishing."},{"key":"22_CR13","unstructured":"D. Marcu, Y. Lesp\u00e9rance, H. Levesque, F. Lin, R. Reiter, and R. Scherl. Distributed software agents and communication in the situation calculus. In Proceedings of the International Workshop on Intelligent Computer Communication, pages 69\u201378, Cluj-Napoca, Romania, June 1995."},{"key":"22_CR14","first-page":"463","volume-title":"Machine Intelligence, volume 4","author":"J. McCarthy","year":"1979","unstructured":"John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, UK, 1979."},{"key":"22_CR15","first-page":"319","volume-title":"Formal Theories of the Common Sense World","author":"R. C. Moore","year":"1985","unstructured":"Robert C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319\u2013358. Ablex Publishing, Norwood, NJ, 1985."},{"key":"22_CR16","first-page":"324","volume-title":"ADL: Exploring the middle ground between STRIPS and the situation calculus","author":"E. P. D. Pednault","year":"1989","unstructured":"E. P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In R.J. Brachman, H.J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 324\u2013332, Toronto, ON, May 1989. Morgan Kaufmann Publishing."},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"D. Riecken (editor). Communications of the ACM 37 (7), special issue on intelligent agents, July 1994.","DOI":"10.1145\/176789.176801"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(94)00056-7","volume":"73","author":"S. J. Rosenschein","year":"1995","unstructured":"Stanley J. Rosenschein and Leslie P. Kaelbling. A situated view of representation and control. Artificial Intelligence, 73:149\u2013173, 1995.","journal-title":"Artificial Intelligence"},{"key":"22_CR20","volume-title":"Master's thesis","author":"S. Ruman","year":"1995","unstructured":"Shane Ruman. GOLOG as an agent-programming language: Experiments in developing banking applications. Master's thesis, Department of Computer Science, University of Toronto, Toronto, ON, 1995. In preparation."},{"key":"22_CR21","first-page":"689","volume-title":"The frame problem and knowledge-producing actions","author":"R. B. Scherl","year":"1993","unstructured":"Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689\u2013695, Washington, DC, July 1993. AAAI Press\/The MIT Press."},{"key":"22_CR22","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-009-0553-5_2","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"L.K. Schubert","year":"1990","unstructured":"L.K. Schubert. Monotonic solution to the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In H.E. Kyberg, R.P. Loui, and G.N. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 23\u201367. Kluwer Academic Press, Boston, MA, 1990."},{"key":"22_CR23","unstructured":"Steven Shapiro, Yves Lesp\u00e9rance, and Hector J. Levesque. Goals and rational action in the situation calculus \u2014 a preliminary report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA, November 1995. To appear."},{"issue":"1","key":"22_CR24","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"M. J. Wooldridge. Time, knowledge, and choice. In M. Wooldridge, J. P. M\u00fcller, and M. Tambe, editors, Intelligent Agents Volume II \u2014 Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95), Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996. (In this volume).","DOI":"10.1007\/3540608052_60"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"M.J. Wooldridge and N.R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2), 1995. To appear.","DOI":"10.1017\/S0269888900008122"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents II Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540608052_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:09Z","timestamp":1605646929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540608052_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540608059","9783540495949"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3540608052_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}