𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressiveness of stable model semantics for disjunctive logic programs with functions

✍ Scribed by Thomas Eiter; Georg Gottlob

Book ID
118589996
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
706 KB
Volume
33
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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