%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 }