𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Refined Extension Principle for Semantics of Dynamic Logic Programming

✍ Scribed by José Júlio Alferes; Federico Banti; Antonio Brogi; João Alexandre Leite

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
355 KB
Volume
79
Category
Article
ISSN
0039-3215

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 semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
✍ Michael Codish; Cohavit Taboch 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ± a possibly in®nite set of binary clauses. Termination of a program P and goal G is determined by the absenc

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