๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

โœ Scribed by M. Falaschi; G. Levi; M. Martelli; C. Palamidessi

Book ID
112252025
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
925 KB
Volume
103
Category
Article
ISSN
0890-5401

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

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. @