AGM-like paraconsistent belief change.

Rafael R. Testa Marcelo E. Coniglio Márcio Moretto Ribeiro

Published in: Log. J. IGPL (2017)

Keyphrases

belief change
belief revision
possibilistic logic
logic programming
propositional logic
belief update
prime implicates
inference rules
probability theory
horn logic
truth values
minimal change
iterated belief revision
epistemic states
temporal logic
belief set
programming language
bayesian networks