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 107
- Downloads 0
Method for Psychological Status Estimation by Gaze Location Monitoring Using Eye-Based Human- Computer Interaction
Method for psychological status estimation by gaze location monitoring using Eye-Based Human-Computer Interaction: EBHCI is proposed. Through the experiment with English book reading of e-learning content, relation betwe...
A Multi-Objective Optimization Approach Using Genetic Algorithms for Quick Response to Effects of Variability in Flow Manufacturing
This paper exemplifies a framework for development of multi-objective genetic algorithm based job sequencing method by taking account of multiple resource constraints. Along this, Theory of Constraints based Drum-Buffer-...
YAWARweb: Pilot Study about the usage of a Web Service to Raise Awareness of Blood Donation Campaigns on University Campuses in Lima, Peru
This document presents a preliminary study about a pilot deployment of a web service. The service is used as means to raise awareness in university campuses prior to blood donation campaigns and to measure its effect int...
Investigative Behavioral Intention to Knowledge Acceptance and Motivation in Cloud Computing Applications
Recently the number of Cloud Computing users in educational institutions has increased. Students have the chance to access various applications and this gives the opportunity to take advantage of those applications. This...
A RDWT and Block-SVD based Dual Watermarking Scheme for Digital Images
In the modern era, digital image watermarking is a successful method to protect the multimedia digital data for example copyright protection, content verification, rightful ownership identification, tamper detection etc....