DocumentCode
1982711
Title
Expressing p-stable semantics based on stable semantics
Author
Osorio, Mauricio ; Carballido, José Luis ; Zepe, Claudia
Author_Institution
Univ. de las Americas, Puebla, Mexico
fYear
2010
fDate
22-24 Feb. 2010
Firstpage
227
Lastpage
231
Abstract
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.
Keywords
logic programming; nonmonotonic reasoning; formalized NMR; nonmonotonic reasoning; normal programs case; p-stable semantics; Application software; Artificial intelligence; Humans; Intelligent agent; Java; Knowledge representation; Logic programming; Nuclear magnetic resonance; Software prototyping; Software tools; Logic programming semantics; p-stable semantics; stable semantics;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics, Communications and Computer (CONIELECOMP), 2010 20th International Conference on
Conference_Location
Cholula
Print_ISBN
978-1-4244-5352-8
Electronic_ISBN
978-1-4244-5353-5
Type
conf
DOI
10.1109/CONIELECOMP.2010.5440762
Filename
5440762
Link To Document