A Schema for Generating Update Semantics

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

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...

Download PDF file
  • EP ID EP135090
  • DOI -
  • Views 106
  • Downloads 0

How To Cite

Jos´e Luis Carballido Carranza, Claudia Zepeda, Guillermo Flores (2012).  A Schema for Generating Update Semantics. International Journal of Advanced Computer Science & Applications, 3(3), 140-147. https://europub.co.uk/articles/-A-135090