See this document in CiteSeerX!

Formalizing Reasoning about Change: A Temporal Diagnosis Approach (1995)  (Make Corrections)  (1 citation)
Johann Gamper, Wolfgang Nejdl
AI*IA



  Home/Search   Context   Related

 
View or download:
kbs.unihannover.de/A...gam95_dgwnmr.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  kbs.unihannover.d...gam95_dgwnmr (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. (Update)

Cited by:   More
Formalizing Reasoning about Change: A Temporal Diagnosis Approach - Gamper, Nejdl (1995)   (Correct)

Active bibliography (related documents):   More   All
0.3:   Characterizing Temporal Abductive Diagnosis - Brusoni, Console, Terenziani.. (1996)   (Correct)
0.3:   Proposing Measurements in Dynamic Systems - Gamper, Nejdl (1994)   (Correct)
0.2:   Issues in Diagnosis, Supervision and Safety - Nielsen, Nyberg, Frisk.. (1996)   (Correct)

Similar documents based on text:   More   All
0.5:   Model-Based Diagnosis with Qualitative Temporal Uncertainty - Nejdl, Gamper (1994)   (Correct)
0.3:   Qualitative Temporal Behavior Description and Temporal.. - Nejdl, Gamper (1993)   (Correct)
0.2:   Published in: - Model-Based Diagnosis With (1994)   (Correct)

BibTeX entry:   (Update)

Johann Gamper and Wolfgang Nejdl. Formalizing reasoning about change: A temporal diagnosis approach. In Proceedings of the 2nd Dutch/German Workshop on Non-Monotonic Reasoning, pages 60--66, Utrecht, The Netherlands, March 1995. http://citeseer.ist.psu.edu/article/gamper95formalizing.html   More

@inproceedings{ gamper95formalizing,
    author = "Johann Gamper and Wolfgang Nejdl",
    title = "Formalizing Reasoning About Change: A Temporal Diagnosis Approach",
    booktitle = "{AI}*{IA}",
    pages = "335-346",
    year = "1995",
    url = "citeseer.ist.psu.edu/article/gamper95formalizing.html" }
Citations (may not include all citations):
1044   Maintaining knowledge about temporal intervals (context) - Allen - 1983
663   Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
284   Constraint propagation algorithms for temporal reasoning (context) - Vilain, Kautz - 1986
175   Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
83   The logic of persistence (context) - Kautz - 1986
71   Concurrent actions in the situation calculus (context) - Lin, Shoham - 1992
47   Moments and points in an interval-based temporal logic (context) - Allen, Hayes - 1989
25   Explanation in the situation calculus - Shanahan - 1993
15   Harnessing the power of temporal abstractions in modelbased .. - Nejdl, Gamper - 1994
4   Modelbased diagnosis with qualitative temporal uncertainty - Nejdl, Gamper - 1994

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