Anand S. Rao  Home/Search
Context Related
| aaii.oz.au/pub/aaii...technote49.ps.gz 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: cs.bham.ac.uk/~sra/People...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper draws its inspiration from current work in reactive planning to guide plan recognition using "plans as recipes". The plan recognition process guided by such a library of plans is called means-end plan recognition. An extension of dynamic logic, called dynamic agent logic, is introduced to provide a formal semantics for means-end plan recognition and its counterpart, means-end plan execution. The operational semantics, given by algorithms for means-end plan recognition, are then... (Update)
Context of citations to this paper: More
.... of a behavior model of the suggestee and the adoption of mental 3 attitude recognition techniques as discussed, for example, in [6, 9], based on the observation of its activity. However, in our approach we assume that the communicating agents are willing to receive...
.... of a behaviour model of the suggestee and the adoption of mental attitude recognition techniques as discussed, for example, in [7, 10], based on the observation of its activity. However, in our approach we assume that the communicating agents are willing to receive...
Cited by: More
Fast and Complete Symbolic Plan Recognition - Dorit Avrahami-Zilberbrand And (2005) (Correct)
Architectures for Agents that Track Other Agents in.. - Tambe, Rosenbloom (1995) (Correct)
Feature-Based Declarative Opponent-Modelling in Multi-Agent Systems - Steffens (2002) (Correct)
Similar documents (at the sentence level):
6.2%: Multi-Agent Mental-State Recognition and its Application to.. - Rao, Murray (1994) (Correct)
Active bibliography (related documents): More All
0.6: A Unified View of Plans as Recipes - Rao (1997) (Correct)
0.3: Formal Models and Decision Procedures for Multi-Agent Systems - Rao, Georgeff (1995) (Correct)
0.2: BDI Agents: From Theory to Practice - Rao, Georgeff (1995) (Correct)
Similar documents based on text: More All
0.2: Reactive Planning For Battlefield Simulation - Magda Wozniak Institut (Correct)
0.2: Causal Reasoning Based on MFM - Petersen (Correct)
0.2: Intentions in Means-End Planning - Geib (1992) (Correct)
Related documents from co-citation: More All
10: An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
9: Generalized plan recognition (context) - Kautz, Allen - 1986
8: Intelligent agents for interactive simulation environments - Tambe, Johnson et al. - 1995
BibTeX entry: (Update)
Rao, A. S. 1994. Means-end plan recognition: Towards a theory of reactive recognition. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR-94). http://citeseer.ist.psu.edu/rao94meansend.html More
@inproceedings{ rao94meansend,
author = "Anand S. Rao",
title = "Means-End Plan Recognition : Towards a Theory of Reactive Recognition",
booktitle = "Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann publishers Inc.: San Mateo, CA, USA",
address = "Bonn, FRG",
editor = "Pietro Torasso {Jon Doyle, Erik Sandewall}",
isbn = "1-55860-328-X",
pages = "497--508",
year = "1994",
url = "citeseer.ist.psu.edu/rao94meansend.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
725 Temporal and modal logic (context) - Emerson - 1990
327 Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
245 Plans and resource-bounded practical reasoning - Bratman, Israel et al. - 1988
206 Results on the propositional mu-calculus (context) - Kozen - 1983
192 Plans as complex mental attitudes - Pollack - 1990
144 Analyzing intention in utterances (context) - Allen, Perrault - 1980
143 Logics of programs (context) - Kozen, Tiuryn - 1990
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
126 Semantical considerations on floyd-hoare logic - Pratt - 1976
103 An architecture for real-time reasoning and system control (context) - Ingrand, Georgeff et al. - 1992
95 Procedural knowledge (context) - Georgeff, Lansky - 1986
53 Discourse processing and commonsense plans (context) - Litman, Allen - 1990
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993
45 A circumscriptive theory of plan recognition (context) - Kautz - 1990
33 Artificial Intelligence (context) - Pollack, of - 1992
28 Agent0: A simple agent language and its interpreter (context) - Shoham - 1991
25 Cooperative problem-solving guided by intentions and percept.. (context) - Burmeister, Sundermeyer - 1992
11 The oasis air-traffic management system - Ljungberg, Lucas - 1992
9 and execution of team tactics in air combat modelling (context) - Rao, Morley et al. - 1992
9 Australian Artificial Intelligence Institute (context) - Rao, recognition - 1993
9 Getting started: Beginnings in the logic of action (context) - Segerberg - 1992
3 Annual Reviews (context) - Georgeff - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bham.ac.uk/~sra/People/Pqr/Rao/index.html): More
Asymmetry Thesis and Side-Effect Problems in Linear-Time and.. - Rao, Georgeff (1991) (Correct)
Skills and Capabilities in Real-Time Team Formation - Tidhar, Rao, Ljungberg.. (1992) (Correct)
Decision Procedures for Propositional Belief-Desire-Intention Logics - Rao (1993) (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