Katsumi Inoue, Chiaki Sakama  Home/Search
Context Related
Links: DBLP | wakayamau.ac.jp/~sakam...ijcai95.ps.gz sys.wakayamau.ac.jp/~s...ijcai95.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: wakayamau.ac.jp/~sakam...ijcai95 (more) Homepages: K.Inoue C.Sakama |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive framework. The proposed update semantics is fairly general and provides a unified framework for various update semantics such as first-order update, view update of databases, and contradiction removal of... (Update)
Context of citations to this paper: More
.... learning, either in an implicit or explicit form, has recently been examined by several works [Abe98, AD94, AD95, Coh92, DRB92a, Moo98, IS95, KK98, Sak98] The abductive assumptions generated during learning are then used in different ways depending on the kind of learning task...
Cited by: More
Recovery of (non)monotonic Theories - Cees Witteveen Witt (Correct)
Enhancing Model Checking in Verification by AI Techniques - Buccafurri, Eiter.. (1999) (Correct)
Disjunctive Explanations - Katsumi Inoue And (2002) (Correct)
Active bibliography (related documents): More All
0.2: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
0.2: Iterated Belief Change in the Situation Calculus - Shapiro, Pagnucco, al. (2000) (Correct)
0.2: Correct View Update Translations via Containment - Tomasic (1993) (Correct)
Similar documents based on text: More All
0.8: Relating Disjunctive Logic Programs to Default Theories - Chiaki Sakama Astem (1993) (Correct)
0.6: A Fixpoint Characterization Of Abductive Logic Programs - Inoue, Sakama (1996) (Correct)
0.5: Representing Priorities in Logic Programs - Sakama, Inoue (1996) (Correct)
Related documents from co-citation: More All
15: Database updates through abduction (context) - Kakas, Mancarella - 1990
9: Abductive Logic Programming - Kakas, Kowalski et al. - 1992
8: the Relationship between Abduction and Deduction - Console, Dupre et al. - 1991
BibTeX entry: (Update)
K. Inoue and C. Sakama. Abductive framework for nonmonotonic theory change. In: Proc. IJCAI-95, pages 204--210, Morgan Kaufmann. http://citeseer.ist.psu.edu/inoue95abductive.html More
@inproceedings{ inoue95abductive,
author = "Katsumi Inoue and Chiaki Sakama",
title = "Abductive Framework for Nonmonotonic Theory Change",
booktitle = "{IJCAI-95}",
pages = "204-210",
year = "1995",
url = "citeseer.ist.psu.edu/inoue95abductive.html" }
Citations (may not include all citations):374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991 DBLP
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985 ACM DBLP
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
199 Reasoning about action using a possible model approach (context) - Winslett - 1988
156 Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1991 ACM DBLP
109 Database updates through abduction (context) - Kakas, Mancarella - 1990 ACM DBLP
96 the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
72 Updating Logical Databases (context) - Winslett - 1990 ACM DBLP
72 Belief revision and default reasoning: syntax-based approach.. - Nebel - 1991 DBLP
46 Relations between the logic of theory change and nonmonotoni.. (context) - Makinson, Gardenfors - 1989
33 the logic of theory change: partial meet contraction and rev.. (context) - Alchour'ron, Gardenfors et al. - 1985
27 Revision specifications by means of programs - Marek, law - 1994 ACM DBLP
27 On positive occurrences of negation as failure - Inoue, Sakama - 1994 DBLP
25 Extended logic programs as autoepistemic theories - Lifschitz, Schwarz - 1993 ACM DBLP
21 Hypothetical reasoning in logic programs (context) - Inoue - 1994 DBLP
18 Updates: a new frontier (context) - Abiteboul - 1988
13 truth maintenance and conflict resolution (context) - Giordano, Martelli et al. - 1990
9 A unified view of belief revision and update - Val, Shoham - 1994 DBLP
8 Ideal introspective belief (context) - Konolige - 1992 DBLP
7 Abduction to plausible causes: an event-based model of belie.. - Boutilier - 1994 ACM DBLP
6 Autoepistemic stable closures and contradiction resolution (context) - Morris - 1989 ACM DBLP
5 A logic-based language for database updates (context) - Manchandra, Warren - 1988 ACM DBLP
5 Contradiction removal within well-founded semantics (context) - Pereira, Apar'icio et al. - 1991
2 Relating database updates to nonmonotonic reasoning - Marcus, Subrahmanian - 1994 ACM
1 Revision of nonmonotonic theories (context) - Witteveen, van der Hoek et al. - 1994
The graph only includes citing articles where the year of publication is known.
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