| Alternate document: Details A Formal Framework for Hypertext Systems (97) Mark d'Inverno, Mark Priestley |
Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge  Home/Search
Context Related
| aaii.com.au/pub/aaii...technote72.ps.gz dcs.warwick.ac.uk/~mikeluck...atal97.ps dcs.warwick.ac.uk/people/ac...atal97.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: aaii.oz.au/research/tech...tnlist (more) From: dcs.warwick.ac.uk/people/...index Homepages: M.D'Inverno |
Rate this article:      (best)Comment on this article |
Abstract: The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the belief-desire-intention (BDI) model of practical reasoning that underpins PRS is arguably the dominant force in the... (Update)
Cited by: More
Towards a Component-Based Development Framework - For Agents Gaya (Correct)
PRACTITIONIST: implementing PRACTIcal reasONIng sySTems - Morreale, Bonura.. (2005) (Correct)
A Model Driven Component-Based Development Framework for.. - Jayatilleke, Padgham.. (2005) (Correct)
Active bibliography (related documents): More All
0.8: Unifying Agent Systems - d'Inverno, Luck (2003) (Correct)
0.5: Formal Agent Development: Framework to System - d'Inverno, Luck (Correct)
0.3: A Conceptual Framework for Agent Definition and Development - Luck, d'Inverno (2001) (Correct)
Similar documents based on text: More All
0.9: Engineering AgentSpeak(L): A Formal Computational Model - d'Inverno, Luck (1998) (Correct)
0.8: Model Checking AgentSpeak - Bordini, Fisher, Pardavila.. (Correct)
0.4: AgentSpeak(L): BDI Agents speak out in a logical - Computable Language Anand (Correct)
Related documents from co-citation: More All
11: Jack intelligent agents - components for intelligent agents in java - Busetta, Ronnquist et al. - 1999
10: BDI Agents from Theory to Practice - Rao, Georgeff - 1995
10: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
BibTeX entry: (Update)
Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A formal specification of dMARS. In M.P. Singh, A.S. Rao, and M. Wooldridge, editors, Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages, pages 155--176. Springer-Verlag LNAI 1365, 1998. http://citeseer.ist.psu.edu/dinverno97formal.html More
@inproceedings{ dinverno97formal,
author = "Mark d'Inverno and David Kinny and Michael Luck and Michael Wooldridge",
title = "A Formal Specification of {dMARS}",
booktitle = "Agent Theories, Architectures, and Languages",
pages = "155-176",
year = "1997",
url = "citeseer.ist.psu.edu/dinverno97formal.html" }
Citations (may not include all citations):399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
355 The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
327 Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
261 Reactive reasoning and planning (context) - Georgeff, Lansky - 1987
260 BDI Agents: from theory to practice - Rao, Georgeff - 1995
245 Plans and resourcebounded practical reasoning - Bratman, Israel et al. - 1988
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
51 Formal semantics for an abstract agent programming language (context) - Hindricks, de Boer et al.
39 Computing Science Consultancy (context) - Spivey, Manual - 1992
34 Formal models and decision procedures for multi-agent system.. - Rao, Georgeff - 1995
26 not never' revisited: on branching time versus linear time t.. (context) - Emerson, Halpern - 1986
8 Prentice Hall International: Hemel Hempstead (context) - Spivey, Notation et al. - 1992
7 A profile of the Australian AI Institute (context) - Georgeff, Rao - 1996
3 A formal framework for hypertext systems - d'Inverno, Priestley et al. - 1997
3 Agent modelling in concurrent metatem and desire (context) - Mulder, Treur et al.
2 A formal specification of AgentSpeak (context) - d'Inverno, Luck
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.aaii.oz.au/research/techreports/tnlist.html): More
A Framework for Modelling Multi-Agent Systems - Cavedon, Tidhar, Morley (1995) (Correct)
A Logical Framework for Multi-Agent Systems and Joint Attitudes - Cavedon, Tidhar (1995) (Correct)
Interaction Protocols in Agentis - d'Inverno, Kinny, Luck (1998) (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