Patrick Doherty  Home/Search
Context
Related
| ida.liu.se/pub/publicat...r9633.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: fermivista.math....ftp.ida.liu.se (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report describes the current state of work with PMON, a logic for reasoning about action and change, and its extensions. PMON has been assessed correct for the K \Gamma IA class using Sandewall's Features and Fluents framework which provides tools for assessing the correctness of logics of action and change. A syntactic characterization of PMON has previously been provided in terms of a circumscription axiom which is shown to be reducible to a first-order formula. This report introduces a ... (Update)
Active bibliography (related documents): More All
1.1: Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) (Correct)
0.7: Planning in Polynomial Time: The SAS-PUBS Class - Bäckström, Klein (1991) (Correct)
0.6: Pmon(r) - Doherty (1996) (Correct)
Similar documents based on text: More All
0.7: Embracing Occlusion in Specifying the Indirect Effects of.. - Gustafsson, Doherty (1996) (Correct)
0.7: A Comparison between Two Approaches to Ramification: PMON(R).. - Doherty, Peppas (1995) (Correct)
0.6: Tackling the Qualification Problem using Fluent Dependency.. - Doherty, Kvarnström (1998) (Correct)
BibTeX entry: (Update)
@misc{ doherty-pmon,
author = "Patrick Doherty",
title = "PMON+: A Fluent Logic for Action and Change Formal Specification, Version
1.0",
url = "citeseer.ist.psu.edu/doherty96pmon.html" }
Citations (may not include all citations):175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
63 Pointwise circumscription (context) - Lifschitz - 1988
50 Filter preferential entailment for the logic of action and c.. (context) - Sandewall - 1989
38 Reasoning about action and change using occlusion (context) - Doherty - 1994
37 Nonmonotonic temporal reasoning (context) - Sandewall, Shoham - 1994
35 Non-Monotonic Reasoning -- Formalization of Commonsense Reas.. (context) - Lukaszewicz - 1990
30 The range of applicability of nonmonotonic logics for the in.. (context) - Sandewall - 1993
30 Features and Fluents: A Systematic Approach to the Represent.. (context) - Sandewall - 1994
30 Embracing occlusion in specifying the indirect effects of ac.. - Gustafsson, Doherty - 1996
30 Features and fluents: A systematic approach to the represent.. (context) - Sandewall - 1992
27 Technical Report LITH-IDA-R (context) - Sandewall, fluents - 1991
26 Two counterexamples related to baker's approach to the frame.. - Kartha - 1994
24 Complexity results for first-order theories of temporal cons.. - Koubarakis - 1994
24 Circumscribing features and fluents (context) - Doherty, Lukaszewicz - 1994
20 The persistence of derived information (context) - Myers, Smith - 1988
13 Things that change by themselves (context) - Lifschitz, Rabinov - 1989
12 Department of Computer and Information Science (context) - Doherty, PMON et al. - 1994
11 Dependent fluents - Giunchiglia, Lifschitz - 1995
9 Specification and synthesis of plans using the features and .. - Karlsson - 1994
9 Specification and synthesis of plans using the features and .. - Karlsson - 1995
8 Non-monotonic entailment for reasoning about time and action.. (context) - Sandewall - 1988
8 Non-monotonic entailment for reasoning about time and action.. (context) - Sandewall - 1988
5 truth criteria and the systematic approach to action and cha.. (context) - Karlsson - 1996
3 Workshop on Nonmonotonic Reasoning (context) - Crawford, in et al. - 1994
3 International Computer Science Institute (context) - Thielscher, causality et al. - 1996
2 Causal links planning and the systematic approach to action .. - Karlsson - 1996
2 Circumscribing features and fluents: A fluent logic for reas.. (context) - Doherty, Lukaszewicz - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ida.liu.se.html): More
User Interface Design Support Tools and Critiquing - Ericsson (1994) (Correct)
Specification and Synthesis of Plans Using the Features and.. - Karlsson (1995) (Correct)
Computing Circumscription Revisited: Preliminary Report - Doherty, Lukaszewicz, Szalas (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