A logic to reason about likelihood
- 31 July 1987
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 32 (3) , 379-405
- https://doi.org/10.1016/0004-3702(87)90093-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- A hintikka possible worlds model for certainty levels in medical decision makingSynthese, 1981
- Non-monotonic logic IArtificial Intelligence, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Categorical and probabilistic reasoning in medical diagnosisArtificial Intelligence, 1978
- Qualitative probability as an intensional logicJournal of Philosophical Logic, 1975
- Judgment under Uncertainty: Heuristics and BiasesScience, 1974
- Fuzzy setsInformation and Control, 1965