Chitta Baral, Michael Gelfond  Home/Search
Context Related
| ttu.edu/~mgelfond/papers/compound.ps uky.edu/pub/lpnmr/baral3.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: ttu.edu/~mgelfond/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define translations of theories in this language into extended logic programs. The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of... (Update)
Context of citations to this paper: More
...actions. Different languages can be used to specify these transitions. For example, STRIPS ( Fikes and Nilsson, 1971] A# ([Baral and Gelfond, 1997] ) C ( Giunchiglia and Lifschitz, 1998] Definition A.1 is akin to the one given by Bacchus, Halpern and Levesque in the...
...agent actions. Different languages can be used to specify these transitions. For example, STRIPS ( Fikes and Nilsson, 1971] Ac ([Baral and Gelfond, 1997]) C ( Giunchiglia and Lifschitz, 1998] Definition A. 1 is akin to the one given by Bacchus, Halpern and Levesque in the...
Cited by: More
STEEL: A Spatio-Temporal Extended Event Language for Tracking.. - Chaudet (Correct)
A Transition Function Based Characterization of Actions with .. - Baral, Son, Tuan (2002) (Correct)
Probabilistic Reasoning about Actions in Nonmonotonic Causal .. - Eiter, Lukasiewicz (2003) (Correct)
Similar documents (at the sentence level):
69.6%: Reasoning about Effects of Concurrent Actions - Baral, GELFOND (1993) (Correct)
10.9%: Reasoning About Actual and Hypothetical Occurances of.. - Baral, Gelfond, Watson (1995) (Correct)
Active bibliography (related documents): More All
0.8: A Logic programming theory of reasoning about actions - Baral (1998) (Correct)
0.4: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
0.3: Representing Actions: Laws, Observations and Hypotheses - Baral, Gelfond, Provetti (1997) (Correct)
Similar documents based on text: More All
0.5: Diagnostic reasoning with A-Prolog - Michael Gelfond And (Correct)
0.5: Formalizing Narratives using Nested Circumscription - Baral, Gabaldon, Provetti (1996) (Correct)
0.5: Reasoning Agents in Dynamic Domains - Chitta Baral And (2000) (Correct)
Related documents from co-citation: More All
15: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
9: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law .. (context) - Shanahan
8: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
C. Baral and M. Gelfond. Reasoning about effects of concurrent actions. Journal of Logic Programming (to appear), 1996. http://citeseer.ist.psu.edu/baral96reasoning.html More
@article{ baral97reasoning,
author = "Chitta Baral and Michael Gelfond",
title = "Reasoning About Effects of Concurrent Actions",
journal = "Journal of Logic Programming",
volume = "31",
number = "1-3",
pages = "85-117",
year = "1997",
url = "citeseer.ist.psu.edu/baral96reasoning.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
388 The frame problem in the situation calculus:a simple solutio.. (context) - Reiter - 1991
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1986
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
189 Foundations of disjunctive logic programming (context) - Lobo, Minker et al. - 1992
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
160 Programs with common sense - McCarthy - 1959
151 The frame problem and knowledge producing actions - Scherl, Levesque - 1993
149 Logic programming and knowledge representation - Baral, Gelfond - 1994
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991
101 Actions with indirect effects - Kartha, Lifschitz - 1994
98 Proving properties of states in the situation calculus - Reiter - 1994
91 Splitting a logic program - Lifschitz, Turner - 1994
84 What are the limitations of the situation calculus (context) - Gelfond, Lifschitz et al. - 1991
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
78 Acyclic programs (context) - Apt, Bezem - 1990
77 Representing incomplete knowledge in abductive logic program.. - Denecker, De Schreye - 1993
72 New Generation Computing (context) - Apt, Bezem - 1991
71 Concurrent actions in the situation calculus (context) - Lin, Shoham - 1992
70 Soundness and completeness theorems for three formalizations.. - Kartha - 1993
69 Temporal reasoning in logic programming: A case for the situ.. - Pinto, Reiter - 1993
65 Temporal Reasoning in the Situation Calculus - Pinto - 1994
63 Query evaluation under well-founded semantics (context) - Warren, Chen - 1993
61 How to progress a database - Lin, Reiter - 1994
52 Abduction compared with negation as failure (context) - Eshghi, Kowalski - 1989
50 Classifying semantics of logic programs (context) - Dix - 1991
46 Representing actions in extended logic programs (context) - Gelfond, Lifschitz - 1992
43 Representing actions in logic programming and its applicatio.. (context) - Dung - 1993
34 Stationary semantics for disjunctive logic programs and dedu.. (context) - Przymusinski - 1990
33 Negation-as-failure as an approach to the Hanks and McDermot.. (context) - Evans - 1989
30 Formalizing database evolution in the situation calculus - Reiter - 1992
30 Reasoning with negative information 1 -- strong negation in .. (context) - Pearce, Wagner - 1989
29 Logic programming and reasoning with incomplete information - Gelfond - 1994
29 and completeness properties for logic programs (context) - Cavedon, consistency - 1989
24 Extended logic programs with default assumptions (context) - Inoue - 1991
21 Provably correct theories of actions: preliminary report (context) - Lin, Shoham - 1991
21 Actions and specificity - Holldobler, Thielscher - 1993
20 Reasoning with minimal models: Efficient algorithms and appl.. (context) - Ben-Eliyahu, Palopoli - 1994
20 Perfect model semantics (context) - Przymusinski - 1988
18 Signed logic programs - Turner
17 An analysis of systematic approaches to reasoning about acti.. - Thielscher - 1994
11 How to progress a database II: The STRIPS connection - Lin, Reiter - 1993
11 From disjunctive programs to abduction - Lifschitz, Turner
10 Concurrent actions and changes in the situation calculus - Alferes, Li et al. - 1994
8 Features and fluents: A systemetic approach to the represent.. (context) - Sandewall - 1992
3 An Inference Engine for Epistemic Specifications (context) - Watson - 1994
3 Classical negation in logic programs (context) - Pereira, Caires et al. - 1990
2 Dept of Computer Science (context) - Baral, Gelfond et al. - 1994
2 Reasoning about action in first-order logic maintenance syst.. (context) - Elkan - 1992
2 A formalization of ability and knowing how that avoids the f.. (context) - Lesperance, Levesque et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://earth.cs.ttu.edu/~mgelfond/): More
Reasoning Agents In Dynamic Domains - Baral, Gelfond (2000) (Correct)
Representing Actions: Laws, Observations and Hypotheses - Baral, Gelfond, Provetti (1997) (Correct)
A-Prolog as a tool for declarative programming - Balduccini, Gelfond, Nogueira (2000) (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