scientific article; zbMATH DE number 1269565

MaRDI QIDQ4236364zbMATH OpenFDO

Authors Sven Ove Hansson

Publication date 14 September 1999

zbMATH Keywords

AGM logicbelief basesbelief setsdichotomous models of belief changeformal epistemologyrevision logicsrevision theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Belief change. Introduction and overview
• Consistency-based revision of structured belief bases
• AGM 25 years. Twenty-five years of research in belief change
• scientific article; zbMATH DE number 108002

Cited in

(34)

• Iterated belief revision, revised
• Distributed revision of composite beliefs
• A model for belief revision
• New foundations for epistemic change
• Operational and complete approaches to belief revision
• Propositional belief base update and minimal change
• Back to basics: belief revision through direct selection
• Multi-source multiple change on belief bases
• A proof-theoretic view of necessity
• Consistency-based revision of structured belief bases
• Abductive Belief Revision in Science
• Functional vs. Relational Approaches to Belief Revision
• On knowledge evolution: acquisition, revision, contraction
• Semi-revision
• Dovetailing Belief Base Revision with (Basic) Truth Approximation
• Prioritized and non-prioritized multiple change on belief bases
• Credibility-limited Functions for Belief Bases
• scientific article; zbMATH DE number 1785005 (Why is no real title available?)
• Formalizing Belief Revision in Type Theory
• Structured belief bases
• Contraction, Revision, Expansion: Representing Belief Change Operations
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• On uniform belief revision
• Belief change. Introduction and overview
• Studies on brutal contraction and severe withdrawal
• AGM 25 years. Twenty-five years of research in belief change
• Logic Programming and Nonmonotonic Reasoning
• Merging operators on stratified belief bases equipped with argumentative inference
• Toward credible belief base revision
• Belief revision and computational argumentation: a critical comparison
• Contracting preference relations for database applications
• \(\text{DA}^2\) merging operators
• Belief models: An order-theoretic investigation
• A model for structural changes of belief

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236364)