Decision Procedures for Epistemic Logic Exploiting Belief Bases.

Emiliano Lorini Fabián Romero

Published in: AAMAS (2019)

Keyphrases

decision procedures
modal logic
epistemic logic
belief base
temporal logic
inference rules
model theoretic
belief revision
belief change
possibilistic logic
default logic
model checking
theorem proving
preference relations
decision making
propositional logic
logic programming
probabilistic model