A Schema for Generating Update Semantics
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2012, Vol 3, Issue 3
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
Authors and Affiliations
Jos´e Luis Carballido Carranza , Claudia Zepeda , Guillermo Flores
Keywords
Related Articles
- EP ID EP135090
- DOI -
- Views 91
- Downloads 0
Representation of a Sentence using a Polar Fuzzy Neutrosophic Semantic Net
A semantic net can be used to represent a sentence. A sentence in a language contains semantics which are polar in nature, that is, semantics which are positive, neutral and negative. Neutrosophy is a relatively ne...
Applications of Multi-criteria Decision Making in Software Engineering
Every complex problem now days require multicriteria decision making to get to the desired solution. Numerous Multi-criteria decision making (MCDM) approaches have evolved over recent time to accommodate various applicat...
A Systematic Literature Review of Success Factors and Barriers of Agile Software Development
Motivator and demotivator plays an important role in software industry. It encompasses software performance and productivity which are necessary for projects of Agile software development (ASD). Existing studies comprise...
Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods
Self-adaptive systems (SAS) can modify their behavior during execution; this modification is done because of change in internal or external environment. The need for self-adaptive software systems has increased tremendou...
A Synchronous Stream Cipher Generator Based on Quadratic Fields (SSCQF)
In this paper, we propose a new synchronous stream cipher called SSCQF whose secret-key is Ks=(z1,...zn) where zi is a positive integer. Let d1, d2,..., dN be N positive integers in {0,1,...2m -1} such that di=zi mod2m w...