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!

Buďte první, kdo okomentuje tento záznam!