In this paper, we present a general schema for de ning new update semantics. This schema takes as input any basic logic programming semantics, such as the stable semantics, the p-stable semantics or the MMr semantics, and gives as output a new update semantics. The schema proposed is based on a concept called minimal generalized S models, where S is any of the logic programming semantics. Each update semantics is associated to an update operator. We also present some properties of these update operators.
%0 Journal Article
%1 IJACSA.2012.030324
%A Jos&\#180;e Luis Carballido Carranza Claudia Zepeda, Guillermo Flores
%D 2012
%J International Journal of Advanced Computer Science and Applications(IJACSA)
%K Logic Programming properties.,Update semantics semantics, update
%N 3
%T A Schema for Generating Update Semantics
%U http://ijacsa.thesai.org/
%V 3
%X In this paper, we present a general schema for de ning new update semantics. This schema takes as input any basic logic programming semantics, such as the stable semantics, the p-stable semantics or the MMr semantics, and gives as output a new update semantics. The schema proposed is based on a concept called minimal generalized S models, where S is any of the logic programming semantics. Each update semantics is associated to an update operator. We also present some properties of these update operators.
@article{IJACSA.2012.030324,
abstract = { In this paper, we present a general schema for de ning new update semantics. This schema takes as input any basic logic programming semantics, such as the stable semantics, the p-stable semantics or the MMr semantics, and gives as output a new update semantics. The schema proposed is based on a concept called minimal generalized S models, where S is any of the logic programming semantics. Each update semantics is associated to an update operator. We also present some properties of these update operators.
},
added-at = {2014-02-21T08:00:08.000+0100},
author = {{Jos\&\#180;e Luis Carballido Carranza Claudia Zepeda}, Guillermo Flores},
biburl = {https://www.bibsonomy.org/bibtex/20512a766e88390884d26e72690d73860/thesaiorg},
interhash = {74a26245fc8546c87f7d51c0f0ce03c8},
intrahash = {0512a766e88390884d26e72690d73860},
journal = {International Journal of Advanced Computer Science and Applications(IJACSA)},
keywords = {Logic Programming properties.,Update semantics semantics, update},
number = 3,
timestamp = {2014-02-21T08:00:08.000+0100},
title = {{A Schema for Generating Update Semantics}},
url = {http://ijacsa.thesai.org/},
volume = 3,
year = 2012
}