Tania Bedrax-Weiss, Leopoldo Bertossi  Home/Search
Context
Related
| uoregon.edu/pub/users/tani...tr95.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: uoregon.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an application of Sandewall's methodology [17] for assessing nonmonotonic entailment criteria for reasoning about actions and change. We establish the correctness of Reiter's general solution to the frame problem [14] for a broad and well characterized class of problems. This is done by: (1) identifying a nonmonotonic entailment criterion corresponding to Reiter's solution; (2) discovering ontological and epistemological assumptions that we believe underly the domains of... (Update)
Similar documents (at the sentence level):
27.6%: Underlying Semantics for the Assessment of Reiter's.. - Bedrax-Weiss, Bertossi (Correct)
8.5%: An Assessment of Reiter's General Monotonic Solution to.. - Bedrax-Weiss, Bertossi (Correct)
Active bibliography (related documents): More All
0.1: On The Relation Between Situation Calculus And Event.. - Van BELLEGHEM.. (1997) (Correct)
0.1: Representing Ramifications in an Event-based Language - Van Belleghem, Denecker, Dupre (1997) (Correct)
0.1: Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993) (Correct)
Similar documents based on text: More All
0.6: SCDBR: An Automated Reasoner for Specifications of.. - Bertossi, Arenas.. (1996) (Correct)
0.5: SCDBR: A Reasoner for Specifications in the Situation.. - Bertossi, Ferretti (1994) (Correct)
0.4: A Semantical Notion of Relevance in Specifications of.. - Siu, Bertossi, Arenas (1996) (Correct)
BibTeX entry: (Update)
@misc{ bedrax-weiss-underlying,
author = "Tania Bedrax-Weiss and Leopoldo Bertossi",
title = "Underlying Semantics for the Assessment of Reiter's Solution to the Frame
Problem.",
url = "citeseer.ist.psu.edu/1878.html" }
Citations (may not include all citations):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 soluti.. (context) - Reiter - 1991
295 On closed world databases (context) - Reiter - 1978
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
132 Towards a logical reconstruction of relational databases the.. (context) - Reiter - 1984
127 State constraints revisited - Lin, Reiter - 1994
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
70 Soundness and completeness theorems for three formalizations.. - Kartha - 1993
64 Department of Computer Science (context) - Reiter, database et al. - 1992
60 The case for domain-specific frame axioms (context) - Haas - 1987
36 Equality and domain closure in first-order databases (context) - Reiter - 1980
30 Formalizing database evolution in the situation calculus - Reiter - 1992
25 A sound and sometimes complete query evaluation algorithm fo.. (context) - Reiter - 1986
16 A Systematic Approach to the Representation of Knowledge abo.. (context) - Sandewall, Fluents - 1994
13 Describing action and change by logic programs (context) - Gelfond, Lifschitz - 1992
5 An assessment of Reiter's general monotonic solution to the .. (context) - Bedrax-Weiss, Bertossi - 1994
5 An assessment of Reiter's general monotonic solution to the .. (context) - Bedrax-Weiss, Bertossi - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cirl.uoregon.edu.html): More
Repairing Plans On-the-fly - Drabble, Tate, Dalton (1997) (Correct)
Prolegomena to Any Future Prolegomena - Ginsberg (Correct)
Knowledge Interchange Format: The KIF of Death - Ginsberg (1991) (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