Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJACSA.2012.030324
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 3 Issue 3, 2012.
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.
Jos´e Luis Carballido Carranza, Claudia Zepeda and Guillermo Flores, “ A Schema for Generating Update Semantics” International Journal of Advanced Computer Science and Applications(IJACSA), 3(3), 2012. http://dx.doi.org/10.14569/IJACSA.2012.030324