✦ LIBER ✦

Reasoning about probabilistic sequential programs in a probabilistic logic

✍ Scribed by M. Ying

Publisher: Springer-Verlag
Year: 2003
Tongue: English
Weight: 450 KB
Volume: 39
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-003-0113-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic For Inductive Probabilistic Reas

A Logic For Inductive Probabilistic Reasoning

✍ Manfred Jaeger 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 434 KB

Reasoning about efficiency within a prob

Reasoning about efficiency within a probabilistic μ-calculus

✍ A.K. McIver 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

A new approach to hybrid probabilistic l

A new approach to hybrid probabilistic logic programs

✍ Emad Saad; Enrico Pontelli 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 870 KB

A new approach to hybrid probabilistic l

A new approach to hybrid probabilistic logic programs

✍ Emad Saad; Enrico Pontelli 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 158 KB

Demonic, angelic and unbounded probabili

Demonic, angelic and unbounded probabilistic choices in sequential programs

✍ A.K. McIver; C. Morgan 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 194 KB

Acquisition of uncertain rules in a prob

Acquisition of uncertain rules in a probabilistic logic

✍ John G. Cleary 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 509 KB

The problem of acquiring uncertain rules from examples is considered. The uncertain rules are expressed using a simple probabilistic logic which obeys all the axioms of propositional logic. By using three truth values (true, false, undefined) a consistent expression of contradictory evidence is obta