Frédéric Koriche
-
All I know: a study in autoepistemic logic
Artificial Intelligence
Reasoning about knowledge
Exploring logical dynamics
Knowledge Spaces