Munindar P. Singh  Home/Search
Context Related
| ncsu.edu/faculty/mpsingh/papers...mu.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: ncsu.edu/faculty/mpsingh...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified set of states. More general approaches for planning based on temporal logic (TL) are emerging. Current approaches tend to use linear TL, and can handle sets of sequences of states. However, they assume deterministic actions with all changes effected solely by one agent. By contrast, we use a branching model of time that... (Update)
Context of citations to this paper: More
...an approach to planning based on a linear temporal logic. Other authors have made use of the calculus for reasoning about actions [19, 6, 5]. The calculus allows complex goals to be formalized in a planning context, including achievement and maintenance goals [19]...
...better, to consider not only the achievement of conditions but also their maintenance. We have developed an approach to maintenance in [34]. When intentions are similarly expanded, we would expect a similar relationship between intentions to maintain and the know how to...
Cited by: More
Reasoning about Actions in Dynamic Linear Time Temporal Logic - Giordano (2001) (Correct)
Reasoning about Actions in - Dynamic Linear Time (Correct)
Verifying Compliance with Commitment Protocols - Enabling Open Web-Based (Correct)
Similar documents (at the sentence level):
5.4%: Maintenance and Prevention: - Formalization And Fixpoint (Correct)
Active bibliography (related documents): More All
0.7: Know-How - Singh (1998) (Correct)
0.5: Plan Execution in a Temporal Logic Environment - Dengler (Correct)
0.5: An End-to-End System for Model Checking over Context-Sensitive.. - Ezick (2004) (Correct)
Similar documents based on text: More All
0.0: Minimal Knowledge Approach to Reasoning about Actions and.. - De Giacomo, Rosati (1999) (Correct)
0.0: Figure 5: Homomorphism Correctness Conditions - Abspipe Theory Begin (Correct)
0.0: On the Parallel Complexity of Model Checking in the Modal .. - Zhang, Sokolsky, Smolka (1994) (Correct)
Related documents from co-citation: More All
3: Planning for temporally extended goals - Bacchus, Kabanza - 1996
3: Frames in the space of situations (context) - Lifschitz - 1990
3: Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
BibTeX entry: (Update)
Munindar P. Singh. Applying the mu-calculus in planning and reasoning about action. Journal of Logic and Computation, 8(3):425--445, June 1998. http://citeseer.ist.psu.edu/singh98applying.html More
@article{ singh98applying,
author = "Munindar P. Singh",
title = "Applying the Mu-Calculus in Planning and Reasoning about Action",
journal = "Journal of Logic and Computation",
volume = "8",
number = "3",
pages = "425-445",
year = "1998",
url = "citeseer.ist.psu.edu/singh98applying.html" }
Citations (may not include all citations):828 Model checking - Clarke, Grumberg et al. - 1990
725 Temporal and modal logic (context) - Emerson - 1990
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
165 Theoretical Computer Science (context) - Kozen, the et al. - 1983
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
85 Achieving several goals simultaneously (context) - Waldinger - 1981
58 concurrency and continuous time in the situation calculus (context) - Reiter - 1996
55 Planning for temporally extended goals - Bacchus, Kabanza - 1996
54 Multiagent Systems: A Theoretical Framework for Intentions (context) - Singh - 1994
36 Asymmetry thesis and side-effect problems in linear-time and.. - Rao, Georgeff - 1991
31 Modelling and design of multi-agent systems - Kinny, Georgeff - 1997
29 A theory of action for multiagent planning (context) - Georgeff - 1984
26 Seeing to it that: A canonical form for agentives (context) - Belnap, Perloff - 1988
13 A case study in reasoning about actions and continuous chang.. - Miller - 1996
13 The representation of events in multi-agent domains (context) - Georgeff - 1986
9 Reasoning about nondeterministic and concurrent actions: A p.. (context) - De Giacomo, Chen - 1996
7 Know-how - Singh - 1998
6 Modeling planning domains systematically - Biundo, Stephan - 1996
5 Action and ability (context) - Brown - 1990
5 Time and modality in the logic of agency (context) - Chellas - 1992
3 Maintenance and prevention: Formalization and fixpoint chara.. (context) - Singh - 1994
3 Bernd van Linder (context) - van der Hoek - 1993
2 Customized plans transmitted by flexible refinement - Dengler - 1996
2 Efficient model checking via the equational mu-calculus (context) - Bhat, Cleaveland - 1996
1 DEDAL: A deductive and algorithmic planning system (context) - Pain-Barre - 1996
1 Applied Logic Series (context) - Rao, Wooldridge et al. - 1998
Documents on the same site (http://www.csc.ncsu.edu/faculty/mpsingh/papers): More
Challenges for Machine Learning in Cooperative Information.. - Singh, Huhns (Correct)
Computing the Temporal Structure of Events in Natural Language - Singh, Singh (1992) (Correct)
Intentions for Multiagent Systems - Singh (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