𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Coincidence of Semantics for Uniquely Determined Programs

✍ Scribed by Pascal Hitzler; Anthony Karel Seda

Book ID
108498455
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
989 KB
Volume
40
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

A note on the stable model semantics for
A note on the stable model semantics for logic programs
✍ Michael Kaminski πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @

A residualizing semantics for the partia
A residualizing semantics for the partial evaluation of functional logic programs
✍ Elvira Albert; Michael Hanus; GermΓ‘n Vidal πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 103 KB

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we intr