Epistemic logic for AI and computer science - Meyer, John-Jules Ch. 1954-; Hoek, Wiebe van der (Cambridge Univ. Press, 1995)
Keywords: Informatik; Künstliche Intelligenz; Computer science; Artificial intelligence; Logic, Symbolic and mathematical; Epistemische Logik