✦ LIBER ✦

Incidence calculus: A mechanism for probabilistic reasoning

✍ Scribed by Alan Bundy

Publisher: Springer Netherlands
Year: 1985
Tongue: English
Weight: 997 KB
Volume: 1
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00244272

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about efficiency within a prob

Reasoning about efficiency within a probabilistic μ-calculus

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

Correctness criteria of some algorithms

Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus

✍ Alan Bundy 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 917 KB

A comparison of some rules for probabili

A comparison of some rules for probabilistic reasoning

✍ Paolo Garbolino 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 452 KB

A Sequent Calculus for Automated Reasoni

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

A reasoning mechanism for deductive obje

A reasoning mechanism for deductive object-oriented databases

✍ Chenghong Zhang; Yunfa Hu; Baile Shi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 571 KB

Use of maximum entropy method as a metho

Use of maximum entropy method as a methodology for probabilistic reasoning

✍ Paul C. Rhodes; Gerald R. Garside 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 860 KB