SAT for Epistemic Logic Using Belief Bases.

Emiliano Lorini, Fabin Romero

Browse the full EMAS paper archive.