𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic program semantics and circumscription of autoepistemic theories

✍ Scribed by Li Yan Yuan


Book ID
107766163
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
523 KB
Volume
50
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Decidability of logic program semantics
✍ Salvatore Ruggieri πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 248 KB

In this paper, we investigate the decidability problem of logic program semantics and observables, focusing in particular on the least Herbrand model (or M-semantics), the C-semantics, and the S-semantics. We introduce bounded logic programs, and show that they coincide with programs such that every