Corrigendum Reasoning about knowledge and probability?.

Dettagli Bibliografici
Pubblicato in:	Journal of the ACM 45, 1 (1998).
Autore principale:	Fagin, Ronald
Natura:	Articolo
Lingua:	English
Soggetti:	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.