Knowledge Compilation in Multi-Agent Epistemic Logics.

Liangda Fang Kewen Wang Zhe Wang Ximing Wen

Published in: CoRR (2018)

Keyphrases

knowledge compilation
multi agent
kripke models
modal logic
prime implicates
epistemic logic

product configuration
multi agent systems
belief change
modal operators
propositional dynamic logic
logical inference

quantified boolean formulae
inference rules
temporal logic
model counting
classical logic
polynomial size

decision support
decomposable negation normal form
data mining
model checking
search algorithm