Epistemic Queries in Classic.

Andreas Becker, Gerhard Lakemeyer

Browse the full KI paper archive.