Corrigendum Reasoning about knowledge and probability?.

Corrigendum Reasoning about knowledge and probability?.

Bibliografiske detaljer
Udgivet i:Journal of the ACM 45, 1 (1998).
Hovedforfatter: Fagin, Ronald
Format: Article
Sprog:English
Fag:
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.