𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness of hyper-resolution via the semantics of disjunctive logic programs

✍ Scribed by Linh Anh Nguyen; Rajeev Goré

Book ID
108153404
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
106 KB
Volume
95
Category
Article
ISSN
0020-0190

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

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