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

Compositional model-theoretic semantics for logic programs

โœ Scribed by Antonio Brogi; Evelina Lamma; Paola Mello


Book ID
112976879
Publisher
Springer
Year
1992
Tongue
English
Weight
1011 KB
Volume
11
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A note on the stable model semantics for
โœ 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. @