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

Semantics of structured normal logic programs

โœ Scribed by Edelmira Pasarella; Fernando Orejas; Elvira Pino; Marisa Navarro

Book ID
113720771
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
606 KB
Volume
81
Category
Article
ISSN
1567-8326

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

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