Corrigendum Reasoning about knowledge and probability?.

Bibliographic Details
Published in:	Journal of the ACM 45, 1 (1998).
Main Author:	Fagin, Ronald
Format:	Article
Language:	English
Subjects:	Computing methodologies. Artificial intelligence. Theory of computation. Computation by abstract devices. Mathematical logic and formal languages. Mathematical logic. Model theory. Mathematics of computing. Deduction and theorem proving. Uncertainty, "fuzzy," and probabilistic reasoning. Languages. Theory. Verification.