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 106
- Downloads 0
IRPanet: Intelligent Routing Protocol in VANET for Dynamic Route Optimization
This paper presents novel routing protocol, IRPANET (Intelligent Routing Protocol in VANET) for Vehicular Adhoc Network (VANET). Vehicular Ad Hoc Networks are special class of Mobile Adhoc Network, created by road vehicl...
A Tri-Level Industry-Focused Learning Approach for Software Engineering Management
Most engineering classes in higher education rely heavily on the traditional lecture format, despite the fact that a number of investigations have shown that lectures, even when given by good lecturers, have limited succ...
Time Variant Change Analysis in Satellite Images
This paper describes the time variant changes in satellite images using Self Organizing Feature Map (SOFM) technique associated with Artificial Neural Network. In this paper, we take a satellite image and find the time v...
Vismarkmap – A Web Search Visualization Technique through Visual Bookmarking Approach with Mind Map Method
Due to the massive growth of information over the Internet, Bookmarking becomes the most popular technique to keep track of the websites with the expectation of finding out the previously searched websites easily wheneve...
Analysis of Significant Factors for Dengue Infection Prognosis Using the Random Forest Classifier
Random forests have emerged as a versatile and highly accurate classification and regression methodology, requiring little tuning and providing interpretable outputs. Here, we briefly explore the possibility of applying...