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.

Saved in:
Bibliographic Details
Published in:2010 20th International Conference on Electronics Communications and Computers pp. 227 - 231
Main Authors: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Format: Conference Proceeding
Language:English
Published: IEEE 01.02.2010
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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