John-Jules Ch. Meyer
Intelligent Systems Group, Institute for Information and Computing Sciences, Utrecht University, Padualaan 14, De Uithof, P.O. Box 80.089, 3508 TB Utrecht, The Netherlands
Reasoning about knowledge
Epistemic Logic for AI and Computer Science
Nonmonotonic Logic: Context-Dependent Reasoning