(Enter summary)
Abstract: This paper presents a general, consistency-based framework for expressing belief change. (Update)
Cited by: More
On Computing Belief Change Operations Using Quantified.. - Delgrande, Schaub, al.
(Correct)
Two Approaches to Merging Knowledge Bases - James Delgrande And
(Correct)
Active bibliography (related documents): More All
5.0: A Consistency-Based Approach for Belief Change - James Delgrande School (2003)
(Correct)
0.7: On Computing Solutions to Belief Change Scenarios - Delgrande, al. (2003)
(Correct)
0.4: Paraconsistent Reasoning via Quantified Boolean.. - Besnard, Schaub..
(Correct)
Similar documents based on text: More All
0.4: Conservative Belief Change - James Delgrande School
(Correct)
0.4: Conservative Belief Change: A Gricean Approach - James Delgrande School
(Correct)
0.4: Prolegomenon to a Theory of Conservative Belief Revision - James Delgrande School
(Correct)
Related documents from co-citation: More All
2: Investigations into a theory of knowledge base revision: Preliminary report
- Dalal - 1988
2: atore and M. Schaerf. Arbitration (or How to Merge Knowledge Bases (context) - Liber - 1998
2: Reducing belief revision to circumscription (context) - Liberatore, Schaerf - 1997
BibTeX entry: (Update)
J. Delgrande and T. Schaub. A consistency-based approach for belief change. Artificial Intelligence, 151(1-2):1--41, 2003. http://citeseer.ist.psu.edu/delgrande03consistencybased.html More
@misc{ delgrande03consistencybased,
author = "J. Delgrande and T. Schaub",
title = "A consistency-based approach for belief change",
text = "J. Delgrande and T. Schaub. A consistency-based approach for belief change.
Artificial Intelligence, 151(1-2):1--41, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/delgrande03consistencybased.html" }
Citations (may not include all citations):
850
A logic for default reasoning (context) - Reiter - 1980
458
A theory of diagnosis from first principles (context) - Reiter - 1987
253
A logical framework for default reasoning (context) - Poole - 1988
200
the difference between updating a knowledge base and revisin..
- Katsuno, Mendelzon - 1992
199
Reasoning about action using a possible models approach (context) - Winslett - 1988
156
Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1991
149
the logic of theory change: Partial meet contraction and rev.. (context) - on, ardenfors et al. - 1985
132
Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984
125
An assumption-based TMS (context) - de Kleer - 1986
120
Investigations into theory of knowledge base revision
- Dalal - 1988
114
Ordinal conditional functions: A dynamic theory of epistemic.. (context) - Spohn - 1988
107
Foundations for assumption-based truth maintenance systems: .. (context) - Reiter, de Kleer - 1987
96
the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
96
the complexity of propositional knowledge base revision
- Eiter, Gottlob - 1992
62
Two modellings for theory change (context) - Grove - 1988
59
Language features for flexible handling of exceptions in inf..
- Borgida - 1985
55
Belief revision (context) - Lehmann - 1995
48
A theorem-proving approach to database integrity (context) - Sadri, Kowalski - 1987
48
Syntax based approaches to belief revision
- Nebel - 1992
40
Introducing actions into qualitative simulation
- Forbus - 1989
35
Transmutations of knowledge systems (context) - Williams - 1994
32
A model-based belief revision system (context) - Chou, Winslett - 1994
32
Unifying default reasoning and belief revision in a modal fr.. (context) - Boutilier - 1994
29
Nonmonotonic reasoning by minimal belief revision (context) - Satoh - 1988
28
How to give it up: A survey of some formal aspects of the lo.. (context) - Makinson - 1985
28
Iterated theory base change: A computational model (context) - Williams - 1995
26
Updating propositional formulas (context) - Weber - 1986
25
On integrity constraints (context) - Reiter - 1987
23
Logic for data description (context) - Kowalski - 1978
20
Solving advanced reasoning tasks using quantified Boolean fo..
- Egly, Eiter et al. - 2000
19
Changing conditional belief unconditionally
- Nayak, Foo et al. - 1996
18
Forget it
- Lin, Reiter - 1994
16
Nonmonotonic causal theories
- Giunchiglia, Lee et al. - 2002
13
the logic of theory change: Contraction functions and their .. (context) - on, Makinson - 1982
13
Kluwer Academic Publishers (context) - Hansson, of et al. - 1999
11
Eliminating the fixed predicates from a circumscription (context) - de Kleer, Konolige - 1989
11
and splitting languages (context) - Parikh, belief - 1999
11
Reducing belief revision to circumscription (context) - Liberatore, Schaerf - 1997
10
Revision by conditional beliefs (context) - Boutilier, Goldszmidt - 1993
10
Syntactic characterizations of belief change operators
- Val - 1993
7
Brels: A system for the integration of knowledge bases
- Liberatore, Schaerf - 2000
6
On computing solutions to belief change scenarios
- Delgrande, Schaub et al. - 2001
6
Iterated revision operations stemming from the history of an..
- Papini - 2001
6
the logic of iterated revision (context) - Darwiche, Pearl - 1997
6
Knowledge in Flux: Modelling the Dynamics of Epistemic State.. (context) - ardenfors - 1988
6
A computational model for belief change and fusing ordered b.. (context) - Benferhat, Dubois et al. - 2001
5
On strongest necessary and weakest sufficient conditions
- Lin - 2000
4
Signed systems for paraconsistent reasoning (context) - Besnard, Schaub - 1998
4
A consistency-based model for belief change: Preliminary rep.. (context) - Delgrande, Schaub - 2000
4
Choice and Inference - A Study of Belief Revision and Nonmon.. (context) - Rott - 2001
3
and Theory Change (context) - Fuhrmann, Modal - 1988
3
Coba: A consistency-based belief revision system (context) - Delgrande, Hunter et al. - 2002
3
and merging knowledge bases (context) - Liberatore, for et al. - 1999
2
A consistency-based approach for belief change: Full report (context) - Delgrande, Schaub - 2002
2
Revision and Updating in Knowledge Bases (context) - Somb, editor - 1994
Documents on the same site (http://www.cs.uni-potsdam.de/wv/publications/index.html): More
Significant Inferences: Preliminary Report - Besnard, Schaub (2000)
(Correct)
A Top-down Procedure for Disjunctive Well-founded Semantics - Wang (2001)
(Correct)
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003)
(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