Anand S. Rao  Home/Search
Context Related
| umbc.edu/agents/pa...agentspeaklncs.ps unikoblenz.de/~frvit/ROBOC...rao.ps.gz umbc.edu/pub/DARPA...agentspeaklncs.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umbc.edu/agents/ne...july97.shtml (more) From: unikoblenz.de/agki...literature (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspectiveand a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or modelchecking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In... (Update)
Cited by: More
Reasoning about Goals in BDI Agents: the PRACTIONIST.. - Morreale, Bonura.. (2006) (Correct)
MALLET--A Multi-Agent Logic Language for - Encoding Teamwork Xiaocong (Correct)
Languages for Programming BDI-style Agents: an Overview - Mascardi, Demergasso, Ancona (2005) (Correct)
Similar documents (at the sentence level):
18.9%: A Unified View of Plans as Recipes - Rao (1997) (Correct)
Active bibliography (related documents): More All
1.8: AgentSpeak(L): BDI Agents speak out in a logical computable language - Rao (1996) (Correct)
1.5: AgentSpeak(L): BDI Agents speak out in a logical - Computable Language Anand (Correct)
0.3: A Methodology and Modelling Technique for Systems of BDI Agents - Kinny, Georgeff, Rao (1996) (Correct)
Similar documents based on text: More All
1.2: Model Checking AgentSpeak - Bordini, Fisher, Pardavila.. (Correct)
0.8: Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (Correct)
0.5: A Formal Specification of dMARS - d'Inverno, Kinny, Luck, Wooldridge (1997) (Correct)
Related documents from co-citation: More All
5: Agent Programming in 3APL (context) - Hindriks, de Boer et al. - 1999
4: A programming language for cognitive agents: Goal-directed 3APL - Dastani, van Riemsdijk et al. - 2003
4: BDI Agents from Theory to Practice - Rao, Georgeff - 1995
BibTeX entry: (Update)
A. S. Rao (1996) "AgentSpeak(L): BDI agents speak out in a logical computable language" In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the 7 th 24 European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Volume 1038), 42-55. Springer-Verlag. http://citeseer.ist.psu.edu/rao96agentspeakl.html More
@inproceedings{ rao96gentspeakl,
author = "Anand S. Rao",
title = "{A}gent{S}peak({L}): {BDI} Agents Speak Out in a Logical Computable Language",
booktitle = "Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World",
address = "Eindhoven, The Netherlands",
editor = "Rudy van Hoe",
year = "1996",
url = "citeseer.ist.psu.edu/rao96agentspeakl.html" }
Citations (may not include all citations):453 Agent-oriented programming (context) - Shoham - 1993
327 Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
103 An architecture for real-time reasoning and system control (context) - Ingrand, Georgeff et al. - 1992
95 Procedural knowledge (context) - Georgeff, Lansky - 1986
73 Planned team activity - Kinny, Ljungberg et al. - 1994
67 Intention is choice with commitment (context) - CohenandH, Levesque - 1990
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993
42 Foundations of a logical approach to agent programming - Lesperance, Levesque et al. - 1995
32 On being responsible - Jennings - 1992
30 Decision procedures for propositional linear-time belief-des.. (context) - Rao - 1995
30 The PLACA agent programming language (context) - Thomas - 1995
25 Cooperative problem-solving guided by intentions and percept.. (context) - Burmeister, Sundermeyer - 1992
24 Design of a concurrent agent-oriented language - Weerasooriya, Rao et al. - 1995
19 Modelling reactive behaviour in vertically layered agent arc.. (context) - Muller, Pischel et al. - 1995
16 A decision procedure for a temporal belief logic - Wooldridge, Fisher - 1994
13 Towards a formal theory of intentions (context) - andN - 1990
9 A logic of capabilities - van der Hoek, van Linder et al. - 1994
6 How agents do it in stream logic programming - Huntbach, Jennings et al. - 1995
5 How to motivate your agents (context) - van Linder, van der Hoek et al. - 1995
4 joint-intention architecture for collaborative problem solvi.. (context) - Jennings, implementation et al. - 1993
3 A brief history of stream parallel logic programming (context) - Ringwood - 1994
3 Department of Computer and Information Science (context) - Nilsson, abstract et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.umbc.edu/agents/news/july97.shtml):
BDI Agents: From Theory to Practice - Rao, Georgeff (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC