Corrigendum Reasoning about knowledge and probability?.

Bibliografiska uppgifter
I publikationen:	Journal of the ACM 45, 1 (1998).
Huvudupphovsman:	Fagin, Ronald
Materialtyp:	Artikel
Språk:	English
Ämnen:	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.