{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:10:04Z","timestamp":1737123004550,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438588"},{"type":"electronic","value":"9783540454489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45448-9_15","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T17:03:25Z","timestamp":1179767005000},"page":"206-220","source":"Crossref","is-referenced-by-count":0,"title":["An Abstract Machine for Classes of Communicating Agents Based on Deduction"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bonzon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"15_CR1","unstructured":"P. Bonzon, Compiling Agent Dialogs for Simple Sequential Execution, submitted"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"G. de Giacomo, Y. Lesp\u00e9rance and H. Levesque, ConGolog, a Concurrent Programming Language Based on the Situation Calculus, Artificial Intelligence, vol. 121(2000)","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"G. de Giacomo and H. Levesque, An Incremental Interpreter for High-Level Programs with Sensing, in: H. Levesque & F. Pirri (eds), Logical Foundations for Cognitive Agents, Springer (2000)","DOI":"10.1007\/978-3-642-60211-5_8"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y Moses & M. Vardi, Reasoning About Knowledge, MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Ferber & O. Gutknecht, Operational Semantics of Multi-agent Organizations, in: N.R. Jennings and Y. Lesp\u00e9rance (eds), Intelligent Agents VI, LNAI, vol. 1757, Springer (2000)","DOI":"10.1007\/10719619_15"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"K.V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J. Meyer, Semantics of Communicating Agents Based on Deduction and Abduction, Proceedings IJCAI99 Workshop on ACL (1999)","DOI":"10.1007\/10722777_5"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Y. Lesp\u00e9rance, K. Tam and M. Jenkin, Reactivity in a Logic-Based Robot Programming Framework, in: N.R. Jennings and Y. Lesp\u00e9rance (eds), Intelligent Agents VI, LNAI, vol. 1757, Springer (2000)","DOI":"10.1007\/10719619_13"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"H.J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin & R. Scherl, GOLOG: A Logic Programming Language for Dynamic Domains, Journal of Logic Programming, vol. 31 (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"15_CR9","unstructured":"R. Milner, Communicating and Mobile Systems; the \u03c0-Calculus, Cambridge Univ. Press (1999)"},{"key":"15_CR10","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 (MAAMAW\u2019 96), LNAI vol. 1038, Springer (1996)","DOI":"10.1007\/BFb0031845"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"R. Searle, Speech Acts, Cambridge University Press (1969)","DOI":"10.1017\/CBO9781139173438"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"M. Wooldridge, Reasoning about Rational Agents, MIT Press (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"15_CR13","unstructured":"Reasoning about Visibility, Perception and Knowledge, in: N.R. Jennings and Y. Lesp\u00e9rance (eds), Intelligent Agents VI, LNAI,vol. 1757, Springer (2000)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45448-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:38:11Z","timestamp":1737038291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45448-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438588","9783540454489"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45448-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}