Knowledge-Based Programs.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Browse the full PODC paper archive.