✦ LIBER ✦

The theory of interval probabilistic logic programs

✍ Scribed by Alex Dekhtyar; Michael I. Dekhtyar

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 780 KB
Volume: 55
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-008-9104-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining probabilistic logic programmin

Combining probabilistic logic programming with the power of maximum entropy

✍ Gabriele Kern-Isberner; Thomas Lukasiewicz 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 636 KB

A theory of complete logic programs with

A theory of complete logic programs with equality

✍ Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 993 KB

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

On the logic of programs

✍ R. A. Plyushkyavichyus; A. Yu. Plyushkyavichene; Yu. V. Sakalauskaite; S. P. Yuk 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 875 KB

The ‘Hoare logic’ of concurrent programs

✍ Leslie Lamport 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 864 KB

The semantics of constraint logic progra

The semantics of constraint logic programs

✍ Joxan Jaffar; Michael Maher; Kim Marriott; Peter Stuckey 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 350 KB

The Constraint Logic Programming (CLP) Scheme was introduced by Jaar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the ®rst time the semantic foundations