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
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;
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
DOI :
10.1109/CONIELECOMP.2010.5440762
