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.

Uložené v:
Podrobná bibliografia
Vydané v:2010 20th International Conference on Electronics Communications and Computers s. 227 - 231
Hlavní autori: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.02.2010
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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