BDI Agents: From Theory to Practice (1995)

by Anand S. Rao , Michael P. Georgeff
Citations:645 - 3 self

Active Bibliography

51 Formal Models and Decision Procedures for Multi-Agent Systems – Anand S. Rao, Michael P. Georgeff - 1995
By: – Anand S. Rao, Michael P. George - 1995
1100 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
259 Agent theories, architectures, and languages: a survey – Michael J. Wooldridge, Nicholas R. Jennings - 1995
5 A Unified View of Plans as Recipes – Anando S. Rao - 1997
1 A Model-Theoretic Approach to the Verification of Agent-Oriented Systems – Anand S. Rao, Michael P. Georgeff
Active Databases and Agent Systems --- A Comparison – July Technical, David Kinny, Michael Georgeff, James Bailey, David B. Kemp, Kotagiri Ramamohanarao
17 Means-End Plan Recognition - Towards a Theory of Reactive Recognition – Anand S. Rao - 1994
53 Towards a Logic of Rational Agency – Wiebe van der Hoek, Michael Wooldridge - 2003
Contributing workpackages: – P. Mancarella, F. Toni, A. Bracciali, Ulle Endriss, Fariba Sadri, Francesca Toni, Andrea Bracciali, Paolo Mancarella, Giacomo Terreni, Neophytos Demetriou, Antonis Kakas, Pavlos Moraitis, Kostas Stathis, Paola Mello, Paolo Torroni, Evelina Lamma, Marco Gavanelli - 2004
35 The Semantics of Intention Maintenance for Rational Agents – Michael P. Georgeff , Anand S. Rao - 1995
331 Applications of Intelligent Agents – N. R. Jennings, M. Wooldridge - 1998
10 Multi-Agent Mental-State Recognition and its Application to Air-Combat Modelling – Anand S. Rao, Graeme Murray - 1994
60 The Logical Modelling of Computational Multi-Agent Systems – Michael John Wooldridge - 1992
42 Formal Methods in DAI: Logic-Based Representation and Reasoning – Munindar P. Singh, et al.
305 Agents that reason and negotiate by arguing – Simon Parsons, Carles Sierra, Nick Jennings - 1998
70 Social Plans: A Preliminary Report – Anand S. Rao, Michael P. Georgeff, Elizabeth A. Sonenberg - 1992
AgentSpeak(L): BDI Agents speak out in a logical – Computable Language Anand, Anand S. Rao - 1996
AgentSpeak(L): BDI Agents speak out in a logical computable language – Anand Rao Australian, Anand S. Rao - 1996