Conference paper
What Can Machines Know? On the Epistemic Properties of Machines
Ronald Fagin, Joseph Y. Halpern, et al.
AAAI 1986
Ronald Fagin, Joseph Y. Halpern, et al.
AAAI 1986
Phokion G. Kolaitis, Moshe Y. Vardi
Information and Computation
Ronald Fagin, Joseph Y. Halpern, et al.
Annals of Pure and Applied Logic
Moshe Y. Vardi
Information Processing Letters