Agent programming with declarative goals

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1986 LNAI, Issue , 2001, Pages 228-243

  Hindriks, Koen V ^a   De Boer, Frank S ^a   Van Der Hoek, Wiebe ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; PROBLEM ORIENTED LANGUAGES; SEMANTICS; COMPUTATIONAL LINGUISTICS;

AGENT PROGRAMMING; AGENT RESEARCH; COMMITMENT STRATEGY; COMPUTATIONAL SEMANTICS; DECLARATIVE GOALS; PROGRAMMING LOGIC; PROOF THEORY;

COMPUTATION THEORY;

EID: 79956079927     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44631-1_16     Document Type: Conference Paper

References (19)

1. Gregory R. Andrews. Concurrent Programming: Principles and Practice. The Benjamin/Cummings Publishing Company, 1991.
2. K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, 1988.
3. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
4. Michael Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 1997.
5. Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque. Con Golog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence, accepted for publication.
6. K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. A Formal Embedding of AgentS-peak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence, pages 155-166. Springer-Verlag, 1998.
7. K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. 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.
8. 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-401, 1999.
9. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Agent Programming with Declarative Goals. Technical Report UU-CS-2000-16, Department of Computer Science, University Utrecht, 2000.
10. Koen V. Hindriks, Yves Lespérance, and Hector J. Levesque. An Embedding of ConGolog in 3APL. In Werner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence, pages 558-562, 2000.
11. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
12. John-Jules Ch. Meyer, Wiebe van der Hoek, and Bernd van Linder. A Logical Approach to the Dynamics of Commitments. Aritificial Intelligence, 113:1-40, 1999.
13. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, 1996.
14. Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In M.J. Wooldridge, J.P. Müller, and M. Tambe, editors, Intelligent Agents II. Springer-Verlag, 1996.
15. Anand S. Rao and Michael P. Georgeff. Intentions and Rational Commitment. Technical Report 8, Australian Artificial Intelligence Institute, Melbourne, Australia, 1990.
16. Steven Shapiro and Yves Lespérance. Modeling Multiagent Systems with CASL-AFeature Interaction Resolution Application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII (LNAI). Springer-Verlag, 2001. In this volume.
17. Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
18. Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, 1993.
19. Wayne Wobcke. On the Correctness of PRS Agent Programs. In N.R. Jennings and Y. Lespérance, editor, Intelligent Agents VI (LNAI 1757). Springer-Verlag, 2000.