Yan Zhang  Home/Search
Context Related
Links: DBLP | uws.edu.au/~yan/papers...journaltcs.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: uws.edu.au/~yan/publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent research on reasoning about action has shown that the traditional logic form of domain constraints is problematic to represent ramifications of actions that are related to causality of domains. To handle this problem properly, as proposed by some researchers, it is necessary to describe causal relations of domains explicitly in action theories. In this paper, we address this problem from a new point of view. Specifically, unlike other researchers viewing causal relations as some kind of... (Update)
Context of citations to this paper: More
.... prediction and postdiction and ignoring this issue may cause difficulties to derive correct solutions in reasoning about action [2, 3, 11]. In this paper, we address two specific types of defeasible information related to temporal prediction and postdiction reasoning with...
Cited by: More
Representing Defeasible Constraints and Observations in Action.. - Zhang (Correct)
Similar documents (at the sentence level):
17.4%: Compiling Causality into Action Theories - Zhang (1996) (Correct)
7.2%: Constraints, Causal Rules and Minimal Change in Model-based Update - Zhang (Correct)
Active bibliography (related documents): More All
0.3: Reasoning about Persistence: A Unified Principle for State Change - Zhang (1994) (Correct)
0.3: Answer Sets for Prioritized Logic Programs - Zhang, Foo (1997) (Correct)
0.3: Affordable Classes of Normal Logic Programs - Seitzer, Schlipf (Correct)
Similar documents based on text: More All
0.3: The Global Educational System: A Perspective On The.. - McPhail, Scoufis.. (2001) (Correct)
0.2: A Unified Approach to Indexing Multimedia on the Web - Jayaratne, Jiang, Ginige (Correct)
0.1: Handling Defeasibilities in Reasoning about Action: A Prioritized.. - Zhang (Correct)
BibTeX entry: (Update)
Y. Zhang, Specifying causality in action theories: A default logic approach. Theoretical Computer Science, 1998 (to appear). http://citeseer.ist.psu.edu/zhang98specifying.html More
@article{ zhang99specifying,
author = "Yan Zhang",
title = "Specifying causality in action theories: a default logic approach",
journal = "Theoretical Computer Science",
volume = "220",
number = "2",
pages = "489--513",
year = "1999",
url = "citeseer.ist.psu.edu/zhang98specifying.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991 DBLP
199 Reasoning about action using a possible models approach (context) - Winslett - 1988 DBLP
112 Reasoning about action I: A possible worlds approach - Ginsberg, Smith - 1987 ACM DBLP
101 Actions with indirect effects - Kartha, Lifschitz - 1994
99 Formal theories of action (context) - Lifschitz - 1987 ACM
87 Frames in the space of situations (context) - Lifschitz - 1990 DBLP
60 Efficient implementation of the well-founded and stable mode.. - Niemela, Simons - 1996 DBLP
20 The persistence of derived information (context) - Myers, Smith - 1988 DBLP
19 Alternative approaches to default logic (context) - Delgrande, Schaub et al. - 1994 ACM DBLP
13 Non-Monotonic Reasoning (context) - Lukaszewicz - 1990 ACM
7 How do things with worlds: On formalizing actions and plans (context) - Brewka, Hertzberg - 1993
6 Compiling causality into action theories - Zhang - 1996
4 Machine Intelligence (context) - Hayes, of - 1971 ACM
3 A hierarchy of tractable subsets for computing stable models (context) - Ben-Eliyahu - 1996 DBLP
Documents on the same site (http://www.cit.nepean.uws.edu.au/~yan/publication.html): More
Updating Knowledge Bases with Disjunctive Information - Zhang, Foo (1996) (Correct)
On Propositional Knowledge Base Updates - Zhang (1995) (Correct)
Semantical Considerations for Knowledge Base Updates - Zhang (1996) (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