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ženo v:
Podrobná bibliografie
Vydáno v:2010 20th International Conference on Electronics Communications and Computers s. 227 - 231
Hlavní autoři: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.02.2010
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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