Katsumi Inoue, Chiaki Sakama  Home/Search
Context Related
| sys.wakayamau.ac.jp/~saka...kr98.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: sys.wakayamau.ac.jp/~saka...kr98 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a nonmonotonic background theory, rather than only adding them. Also, it has a mechanism of computing anti-explanations to unexplain negative observations. Such extended abduction not only enhances reasoning ability of traditional abduction but has useful applications to nonmonotonic theory change. In this paper, ... (Update)
Context of citations to this paper: More
...abduction but do not consider theory updates. Update programs can compute explanations for extended abduction. Inoue and Sakama [12] introduce transaction programs for computing extended abduction, while its application is limited to acyclic abductive programs. Fagin...
.... case, a transaction program gives a revision program in the sense of Marek and Truszczynski [27] This is an extended version of [21]. The rest of this paper is organized as follows. In Section 2, we outline our extended abductive framework. In Section 3, we introduce a...
Cited by: More
Computing Extended Abduction Through Transaction Programs - Inoue, Sakama (1999) (Correct)
Updating Extended Logic Programs through Abduction - Sakama, Inoue (1999) (Correct)
Logic Program Based Updates - Zhang (2000) (Correct)
Active bibliography (related documents): More All
0.3: Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1998) (Correct)
0.3: Disjunctive Explanations - Katsumi Inoue And (2002) (Correct)
0.3: Vol. 7(2002): Nr 7 - Linkoping Sweden Http (Correct)
Similar documents based on text: More All
0.9: Negation As Failure In The Head - Inoue, Sakama (1998) (Correct)
0.8: Abducing Priorities to Derive Intended Conclusions - Inoue, Sakama (1999) (Correct)
0.8: Inverse Entailment in - Nonmonotonic Logic Programs (2000) (Correct)
Related documents from co-citation: More All
3: Database updates through abduction (context) - Kakas, Mancarella - 1990
2: Abduction over 3-valued Extended Logic Programs (context) - Damasio, Pereira - 1995
2: Update-programs can update programs - Alferes, Pereira - 1997
BibTeX entry: (Update)
K. Inoue and C. Sakama, Specifying transactions for extended abduction. In Proceedings of KR-98, pp 394-405. Morgan Kaufmann, Inc., 1998. http://citeseer.ist.psu.edu/inoue98specifying.html More
@incollection{ inoue98specifying,
author = "Katsumi Inoue and Chiaki Sakama",
title = "Specifying Transactions for Extended Abduction",
booktitle = "{KR}'98: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro",
pages = "394--405",
year = "1998",
url = "citeseer.ist.psu.edu/inoue98specifying.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
458 A theory of diagnosis from first principles (context) - Reiter - 1987
253 A logical framework for default reasoning (context) - Poole - 1988
234 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
212 Inductive Logic Programming: Techniques and Applications (context) - Lavrac, Dzeroski - 1994
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
109 Database updates through abduction (context) - Kakas, Mancarella - 1990
78 Acyclic programs (context) - Apt, Bezem - 1991
65 Abduction versus closure in causal theories (context) - Konolige - 1992
57 Intensional updates: abduction via deduction (context) - Bry - 1990
50 a new frontier (context) - Abiteboul - 1988
37 the semantics of quantitative logic programs (context) - Subrahmanian - 1987
23 Abductive framework for nonmonotonic theory change - Inoue, Sakama - 1995
17 A fixpoint characterization of abductive logic programs - Inoue, Sakama - 1996
16 Contributions to the view update problem (context) - Rossi, Naqvi - 1989
12 View updates in stratified disjunctive databases - Grant, Horty et al. - 1993
8 A rational and efficient algorithm for view deletion in data.. - Aravindan, Baumgartner - 1997
4 Enhancing symbolic model checking by AI techniques - Buccafurri, Eiter et al. - 1997
4 Model theoretic approach to view updates in deductive databa.. (context) - Fern'andez, Grant et al. - 1996
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