✦ LIBER ✦

Toward a declarative semantics for infinite objects in logic programming

✍ Scribed by William G. Golson

Book ID: 108016221
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 998 KB
Volume: 5
Category: Article
ISSN: 0743-1066
DOI: 10.1016/0743-1066(88)90016-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

An infinite-game semantics for well-foun

An infinite-game semantics for well-founded negation in logic programming

✍ Chrysida Galanaki; Panos Rondogiannis; William W. Wadge 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 354 KB

Negative knowledge toward a strategy for

Negative knowledge toward a strategy for asking in logic programming

✍ Ernest Edmonds 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 184 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.