A consistency-based approach for belief change
From MaRDI portal
Publication:814523
DOI10.1016/S0004-3702(03)00111-5zbMATH Open1082.68818OpenAlexW2028246200MaRDI QIDQ814523FDOQ814523
Authors: James Delgrande, Torsten Schaub
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00111-5
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Two modellings for theory change
- A textbook of belief dynamics. Theory change and database updating
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge in flux. Modeling the dynamics of epistemic states
- A theory of diagnosis from first principles
- Propositional knowledge base revision and minimal change
- Title not available (Why is that?)
- A glance at revision and updating in knowledge bases
- A logic for default reasoning
- On the logic of iterated belief revision
- A logical framework for default reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Unifying default reasoning and belief revision in a modal framework
- Title not available (Why is that?)
- A consistency-based approach for belief change
- Signed systems for paraconsistent reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Eliminating the fixed predicates from a circumscription
- Reducing belief revision to circumscription (and vice versa)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (35)
- Parallel belief revision: revising by sets of formulas
- COBA 2.0: A Consistency-Based Belief Change System
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Infobase change: A first approximation
- Local change
- AGM-like paraconsistent belief change
- A program-level approach to revising logic programs under the answer set semantics
- Geodesic merging
- Revision, acceptability and context. Theoretical and algorithmic aspects.
- A consistency-based approach for belief change
- Belief change in nonmonotonic multi-context systems
- Multi-source multiple change on belief bases
- Belief affirming in learning processes
- An algebraic approach to revising propositional rule-based knowledge bases
- On Computing Belief Change Operations using Quantified Boolean Formulas
- Preference-based belief revision for rule-based agents
- Title not available (Why is that?)
- A consistency-based framework for merging knowledge bases
- AGM 25 years. Twenty-five years of research in belief change
- Title not available (Why is that?)
- Preference Change Triggered by Belief Change: A Principled Approach
- Remedying inconsistent sets of premises
- Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision
- Maps in Multiple Belief Change
- Implementation of belief change operators using BDDs
- A panorama of iterated revision
- Pseudo-contractions as gentle repairs
- Descriptor revision. Belief change through direct choice
- Graph-based belief merging
- Title not available (Why is that?)
- Declarative Representation of Revision Strategies*
- A general framework for computing maximal contractions
- A decomposition based algorithm for maximal contractions
- Title not available (Why is that?)
- An implementation of consistency-based multi-agent belief change using ASP
Uses Software
This page was built for publication: A consistency-based approach for belief change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814523)