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
Gabriel M. Kuper, Moshe Y. Vardi
Theoretical Computer Science
Tomás Feder, Moshe Y. Vardi
STOC 1993
Phokion G. Kolaitis, Moshe Y. Vardi
Information and Computation