Author:
Publication: Artificial Intelligence
Autoepistemic equilibrium logic and epistemic specifications
Editorial Board