Expressing p-stable semantics based on stable semantics

We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2010 20th International Conference on Electronics Communications and Computers S. 227 - 231
Hauptverfasser: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.02.2010
Schlagworte:
Application software
Artificial intelligence
Humans
Intelligent agent
Java
Knowledge representation
Logic programming
Logic programming semantics
Nuclear magnetic resonance
p-stable semantics
Software prototyping
Software tools
stable semantics
ISBN:9781424453528, 1424453526
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.
ISBN:9781424453528
1424453526
DOI:10.1109/CONIELECOMP.2010.5440762