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 89
- Downloads 0
Hybrid Client Side Phishing Websites Detection Approach
Phishing tricks to steal personal or credential information by entering victims into a forged website similar to the original site, and urging them to enter their information believing that this site is legitimate. The n...
Normalization of Unstructured and Informal Text in Sentiment Analysis
Sentiment Analysis is problem of natural language processing which deals with the extraction and analysis of public sentiments shared about target entities over microbloging websites. This field has gained great attentio...
A New Particle Swarm Optimization Based Stock Market Prediction Technique
Over the last years, the average person's interest in the stock market has grown dramatically. This demand has doubled with the advancement of technology that has opened in the International stock market, so that nowaday...
The Impact of Analytical Assessment of Requirements Prioritization Models: An Empirical Study
Requirements prioritization is one of the important parts of managing requirements in software development process which plays its role in the success or failure of a software product. A software product can go wrong or...
A Review of Blockchain based Educational Projects
Blockchain is a decentralized and shared dis-tributed ledger that records the transaction history done by totally different nodes within the whole network. The technology is practically used in the field of education for...