• Citer

R-stable models for logic programs

par Jakobovits, Hadassa ;Vermeir, Dirk
Référence Lecture notes in computer science, 1154, page (233-243)
Publication Publié, 1996

Article révisé par les pairs

• Détails
• Contenu

Résumé :

We propose a new semantics for general logic programs which stems from first principles of logic-programming semantics. Our theory unifies previous approaches and is applicable to some useful programs which are not properly handled by existing semantics.