Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz  Home/Search
Context Related
| sra.itc.it/tr/GNKL97.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: sra.itc.it/?id_...one=5&year=1997 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define and study a high-level language for describing actions, more expressive than the action language A introduced by Gelfond and Lifschitz. (Update)
Context of citations to this paper: More
.... refer to [63] for a detailed discussion and comparison with some of these approaches as well as the one of [38] which has evolved into [16, 68]. In the series of papers [47, 48, 49] the attempt is made to define a unifying semantics for approaches to ramifications, which...
Cited by: More
ASET: a Multi-Agent Planning Language with Nondeterministic .. - For Bdd-Based Fault (Correct)
Reasoning about Actions in Dynamic Linear Time Temporal Logic - Giordano (2001) (Correct)
Efficient BDD-Based Planning for Non-Deterministic.. - Jensen (2003) (Correct)
Similar documents (at the sentence level):
79.0%: Representing Action: Indeterminacy and Ramifications - Giunchiglia (1997) (Correct)
Active bibliography (related documents): More All
0.5: A Mathematical Investigation of Reasoning About Actions - Kartha (1995) (Correct)
0.4: Causality in Commonsense Reasoning about Actions - McCain (1997) (Correct)
0.3: Determining Ramifications in the Situation Calculus - Giunchiglia (1997) (Correct)
Similar documents based on text: More All
1.0: Actions with Indirect Effects (Extended Abstract) - Giunchiglia, Kartha, Lifschitz (1995) (Correct)
0.5: Ideal and Real Belief about Belief - Giunchiglia, Giunchiglia (1997) (Correct)
0.4: Reasoning by Analogy via Abstraction - Villafiorita (1996) (Correct)
Related documents from co-citation: More All
17: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
15: STRIPS: A new approach to the application of theorem proving to problem solving (context) - Fikes, Nilsson - 1990
13: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
E. Giunchiglia, N. Kartha, and V. Lifschitz. Representing action: indeterminacy and ramifications. Artificial Intelligence, 95:409--443, 1997. http://citeseer.ist.psu.edu/article/giunchiglia97representing.html More
@article{ giunchiglia97representing,
author = "Enrico Giunchiglia and G. Neelakantan Kartha and Vladimir Lifschitz",
title = "Representing Action: Indeterminacy and Ramifications",
journal = "Artificial Intelligence",
volume = "95",
number = "2",
pages = "409-438",
year = "1997",
url = "citeseer.ist.psu.edu/article/giunchiglia97representing.html" }
Citations (may not include all citations):388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1986
256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
199 Reasoning about action using a possible models approach (context) - Winslett - 1988
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
117 Features and Fluents (context) - Sandewall - 1995
101 Actions with indirect effects - Kartha, Lifschitz - 1994
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
75 Provably correct theories of action - Lin, Shoham - 1991
70 Soundness and completeness theorems for three formalizations.. - Kartha - 1993
54 A causal theory of ramifications and qualifications - McCain, Turner - 1978
53 Representing actions in logic programs and default theories:.. - Turner - 1997
52 Quantifier elimination in secondorder predicate logic - Gabbay, Ohlbach - 1992
50 Nested abnormality theories - Lifschitz - 1995
48 Formalizing Common Sense: Papers by John McCarthy (context) - McCarthy - 1990
37 Non-monotonic temporal reasoning (context) - Sandewall, Shoham - 1995
34 Restricted monotonicity - Lifschitz - 1993
30 Reasoning about action in first-order logic - Elkan - 1992
30 Computing circumscription revisited: A reduction algorithm - Doherty, Lukaszewicz et al. - 1997
26 Two counterexamples related to Baker's approach to the frame.. - Kartha - 1994
19 Representing actions in logic programming and its applicatio.. (context) - Dung - 1993
19 Annals of Mathematics and Artificial Intelligence (context) - Lifschitz, of et al. - 1997
17 Actions with indirect effects (context) - Giunchiglia, Kartha et al. - 1995
14 A simple formalization of actions using circumscription - Kartha, Lifschitz - 1970
11 Dependent fluents - Giunchiglia, Lifschitz - 1964
9 A Mathematical Investigation of Reasoning about Actions - Kartha - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sra.itc.it/?id_menu=19&id_sezione=5&year=1997): More
Ideal and Real Belief about - Belief Giunchiglia And (Correct)
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
Certification of Translators via Offline and On-line Proof.. - Bertoli, al. (1997) (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