A model for belief revision
From MaRDI portal
Publication:1104127
DOI10.1016/0004-3702(88)90031-8zbMath0646.68109OpenAlexW1967756796MaRDI QIDQ1104127
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(88)90031-8
knowledge basescontradictionstruth maintenance systemsreason maintenance systemsbelief revision systems
Related Items (19)
European Summer Meeting of the Association for Symbolic Logic ⋮ Knowledge-level analysis of belief base operations ⋮ On the logic of theory change iteration of KM-update ⋮ Abstract argumentation systems ⋮ Truth and meaning ⋮ Unnamed Item ⋮ A general framework for reason maintenance ⋮ Most general first order theorems are not recursively enumerable ⋮ The validity of Dempster-Shafer belief functions ⋮ Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ Truth maintenance systems and their application for verifying expert system knowledge bases ⋮ The SNePS family ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ How minds can be computational systems ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Logic of agreement: Foundations, semantic system and proof theory ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ Pathology of collective doxa. Automata models
Cites Work
This page was built for publication: A model for belief revision