✦ LIBER ✦

Probabilistic semantics of terminating programs

✍ Scribed by E.A. Kaz'mina

Publisher: Elsevier Science
Year: 1988
Weight: 472 KB
Volume: 28
Category: Article
ISSN: 0041-5553
DOI: 10.1016/0041-5553(88)90146-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics of Horn and disjunctive logic

Semantics of Horn and disjunctive logic programs

✍ Jorge Lobo; Arcot Rajasekar; Jack Minker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Computable stack functions for semantics

Computable stack functions for semantics of stack programs

✍ Giorgio Germano; Andrea Maggiolo-Schettini 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 662 KB

Top-down semantics of fair computations

Top-down semantics of fair computations of logic programs

✍ M.H.van Emden; M.A. Nait Abdallah 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 634 KB

Semantic Translation of Programming Lang

Semantic Translation of Programming Languages

✍ Andrzej Skowron 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 312 KB

On the equivalence of semantics for norm

On the equivalence of semantics for normal logic programs

✍ Jia-Huai You; Li Yan Yuan 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 699 KB

Despite the frequent comment that there is no general agreement on the semantics of logic programs, this paper shows that a number of independently proposed extensions to the stable model semantics coincide: the regular model semantics proposed by You and Yuan, the partial stable model semantics by

Probabilistic passage models for semanti

Probabilistic passage models for semantic search of genomics literature

✍ Jay Urbain; Nazli Goharian; Ophir Frieder 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB 👁 1 views