Author:
Hindriks Koen V.,de Boer Frank S.,van der Hoek Wiebe,Meyer John-Jules C.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lect Notes Comput Sci;D. Harel,1979
2. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Meyer. An Operational Semantics for the Single Agent Core of AGENT-0. Technical Report UU-CS-1999-30, Department of Computer Science, University Utrecht, 1999.
3. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence (LNAI 1502), pages 155–166. Springer-Verlag, 1998.
4. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357–401, 1999.
5. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Control Structures of Rule-Based Agent Languages. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V (LNAI 1555), pages 381–396. Springer-Verlag, 1999.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Verification Logic for Goal Agents;Specification and Verification of Multi-agent Systems;2010
2. Toward a programming theory for rational agents;Autonomous Agents and Multi-Agent Systems;2008-10-10
3. Dynamic Logic for Plan Revision in Intelligent Agents;Lecture Notes in Computer Science;2005
4. Objects, Agents, and Features: An Introduction;Objects, Agents, and Features;2004