𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Parametrized semantics of logic programs—a unifying framework

✍ Scribed by Yann Loyer; Nicolas Spyratos; Daniel Stamate

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
288 KB
Volume
308
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A kripke-kleene semantics for logic prog
A kripke-kleene semantics for logic programs*
✍ Melvin Fitting 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 895 KB

We use a language L in which we have the propositional connectives A (and), V (or), and -i (not) as primitive. Alternatively we could take some as primitive and define others via the usual definitions, which work even in Kleene's three-valued logic. We also allow quantifiers V and 3, taking both as

A declarative semantics for depth-first
A declarative semantics for depth-first logic programs
✍ Birgit Elbl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Depth-®rst evaluation causes a gap between the result of the computation and the classical declarative semantics for logic programs. The paper presents a new semantics for logic programs closing that gap. Although not classical, this semantics, called biquantale semantics, is declarative, since it i

Epistemic logic and logical omniscience
Epistemic logic and logical omniscience II: A unifying framework
✍ Kwang Mong Sim 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB

## Intell Syst 1997, 12 , 57᎐81 a collection of epistemic logics were reviewed and critiqued. This sequel paper provides evidence for the claim that a unifying framework for various existing epistemic logics can be defined. Of particular interest is the logic of implicit and explicit belief, the l