3 books • 2 series
Information, Interaction, and Agency
Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science)
Non-Monotonic Reasoning and Partial Semantics (Ellis Horwood Series in Artificial Intelligence)