{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:03:31Z","timestamp":1737435811902,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423126"},{"type":"electronic","value":"9783540477457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47745-4_3","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T00:55:34Z","timestamp":1186620934000},"page":"50-73","source":"Crossref","is-referenced-by-count":5,"title":["Logical Foundations of Agent-Based Computing"],"prefix":"10.1007","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, in Journal of Symbolic Logic, 50, 1985 pp.510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR2","volume-title":"Intentions, Plans and Practical Reason","author":"M. Bratman","year":"1987","unstructured":"M. Bratman, Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"P. Cohen and H. Levesque, Intention is Choice with Commitment, in Artificial Intelligence, 42 pp.213\u2013261 (1990).","journal-title":"Artificial Intelligence"},{"key":"3_CR4","unstructured":"D.C. Dennet, The Intentional Stance, MIT Press, 1987."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning About Knowledge, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"3_CR6","unstructured":"G. De Giacomo, Y Lesp\u00e9rance and H. Levesque, ConGolog, a Concurrent Programming Language Based on the Situation Calculus, in Artificial Intelligence, accepted for publication."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J.Ch. Meyer, Agent Programming with Declarative Goals To appear in the proceedings of ATAL\u20192000.","DOI":"10.1007\/3-540-44631-1_16"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek and J.-J.Ch. Meyer, Agent Programming in 3APL, in Autonomous Agents and Multi-Agent Systems, 2:4, pp.357\u2013401 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"W. van der Hoek, B. van Linder and J.-J.Ch. Meyer, \u2018An integrated Modal Approach to Rational Agents\u2019, in M. W ooldridge and A. Rao (eds.) Foundations of Rational Agency Kluwer, Dordrecht, 1999, pp.37\u201375.","DOI":"10.1007\/978-94-015-9204-8_7"},{"key":"3_CR11","unstructured":"D.R. Hofstadter, \u201cMetamagical Themas: A co.eehouse conversation on the Turing test to determine if a machine can think\u201d, in Scientific American, (1981), pp.15\u201336."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J.-J.Ch. Meyer and W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511569852"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"A.S. Rao, AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language, in W. van der Velde and J.W. Perram (eds), Agents Breaking Away, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"3_CR14","unstructured":"A.S. Rao and M.P. George.. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall (eds) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991), pp.473\u2013484. Morgan Kaufmann, 1991."},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham, Agent-oriented programming, in Artificial Intelligence, 60, pp.51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"M. Wooldridge, Reasoning about Rational Agents, MITP, 2000.","DOI":"10.7551\/mitpress\/5804.001.0001"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47745-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:03:22Z","timestamp":1737353002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47745-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423126","9783540477457"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-47745-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}