{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T19:51:25Z","timestamp":1763927485363},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424222"},{"type":"electronic","value":"9783540446316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44631-1_16","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"228-243","source":"Crossref","is-referenced-by-count":73,"title":["Agent Programming with Declarative Goals"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"16_CR1","unstructured":"Gregory R. Andrews. Concurrent Programming: Principles and Practice. The Benjamin\/Cummings Publishing Company, 1991"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, 1988","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990","journal-title":"Artificial Intelligence"},{"key":"16_CR4","unstructured":"Michael Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann,1997"},{"key":"16_CR5","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector Levesque. ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence, accepted for publication."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence,pages 155\u2013166. Springer-Verlag, 1998","DOI":"10.1007\/BFb0095049"},{"key":"16_CR7","unstructured":"K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. An Operational Semantics for the SingleAgent Core ofAGENT-0. Technical ReportUU-CS-1999-30, Department of Computer Science, University Utrecht, 1999"},{"issue":"4","key":"16_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. Meyer. Agent Programming in 3APL.Autonomous Agents and Multi-Agent Systems, 2(4):357\u2013401, 1999","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"16_CR9","unstructured":"Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Agent Programming with Declarative Goals. Technical ReportUU-CS-2000-16, Department of Computer Science, University Utrecht, 2000"},{"key":"16_CR10","unstructured":"Koen V. Hindriks, Yves Lesp\u00e9rance, and Hector J. Levesque. An Embedding of ConGolog in 3APL. InWerner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence, pages 558\u2013562, 2000"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems.Springer-Verlag, 1992","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J.-J. Ch. Meyer","year":"1999","unstructured":"John-Jules Ch. Meyer, Wiebe van der Hoek, and Bernd van Linder. A Logical Approach to the Dynamics of Commitments. Aritificial Intelligence, 113:1\u201340, 1999","journal-title":"Aritificial Intelligence"},{"key":"16_CR13","unstructured":"Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language.InW. van derVelde and J.W. Perram, editors, Agents Breaking Away, 1996"},{"key":"16_CR14","unstructured":"Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics.In M.J. Wooldridge, J.P. M\u00fcller, and M. Tambe, editors, Intelligent Agents II. Springer-Verlag, 1996"},{"key":"16_CR15","unstructured":"Anand S. Rao and Michael P. Georgeff. Intentions and Rational Commitment. Technical Report8, Australian Artificial Intelligence Institute, Melbourne, Australia, 1990"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Steven Shapiro and Yves Lesp\u00e9rance. Modeling Multiagent Systems with CASL\u2014AFeature Interaction Resolution Application. In C. Castelfranchi and Y. Lesp\u00e9rance, editors, Intelligent Agents VII (LNAI). Springer-Verlag, 2001. In this volume","DOI":"10.1007\/3-540-44631-1_17"},{"key":"16_CR17","doi-asserted-by":"publisher","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:51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"16_CR18","unstructured":"Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis,Department of Computer Science, Stanford University, 1993"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Wayne Wobcke. On the Correctness of PRS Agent Programs. In N.R. Jennings and Y. Lesp\u00e9rance, editor, Intelligent Agents VI (LNAI1757). Springer-Verlag, 2000","DOI":"10.1007\/10719619_4"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VII Agent Theories Architectures and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44631-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:56:58Z","timestamp":1556740618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}