Syntax-Based Approaches to Belief Revision (1992)

by Bernhard Nebel
Venue:Belief Revision
Citations:36 - 1 self

Documents Related by Co-Citation

86 A Knowledge Level Analysis of Belief Revision – Bernhard Nebel - 1989
711 On the logic of theory change: partial meet contraction and revision functions – C E Alchourrón, P Gärdenfors, D Makinson - 1985
199 Preferred subtheories: an extended logical framework for default reasoning – Gerhard Brewka - 1989
162 Revision of knowledge systems using epistemic entrenchment – Peter Gärdenfors, David Makinson - 1988
111 Belief Revision and Default Reasoning: Syntax-Based Approaches – Bernhard Nebel - 1991
167 On the Logic of Iterated Belief Revision – Adnan Darwiche, Judea Pearl - 1996
41 How to give it up: a survey of some formal aspects of the logic of theory change – D Makinson - 1985
609 Knowledge in Flux: Modeling the Dynamics of Epistemic States – P Gärdenfors - 1988
136 On the semantics of updates in databases – R Fagin, J D Ullman, M Y Vardi - 1983
157 Inconsistency management and prioritized syntax-based entailment – Salem Benferhat, Claudette Cayrol, Didier Dubois, Jerome Lang, Henri Prade - 1993
201 Reasoning and Revision in Hybrid Representation Systems – Bernhard Nebel - 1990
59 A textbook of belief dynamics – S O Hansson - 1999
371 A logical framework for default reasoning – D Poole - 1988
59 Plausible Reasoning – N Rescher - 1976
37 Kernel contraction – S-O Hansson - 1994
869 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
170 On the Logic of Theory Change: partial meet functions for contraction and revision – C E Alchourrón, P Gärdenfors, D Makinson - 1985
228 Two Modellings for Theory Change – Adam Grove - 1988
51 Iterated theory base change: a computational model – M-A Williams - 1995