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 98
- Downloads 0
Artificial Intelligence Chatbots are New Recruiters
The purpose of the paper is to assess the artificial intelligence chatbots influence on recruitment process. The authors explore how chatbots offered service delivery to attract and candidates engagement in the recruitme...
Detection of Cardiac Disease using Data Mining Classification Techniques
Cardiac Disease (CD) is one of the major causes of death. An important task is to identify the Cardiac disease very minutely and precisely. Generally medical diagnostic errors are dangerous and costly. Worldwide they are...
Virtualizing a Cluster to Optimize the Problems of High Scientific Complexity within an Organization
The Image Processing Research Laboratory (INTI-Lab) of the Universidad de Ciencias y Humanidades has several research projects related to computer science needing high computational resources. Some of these projects are...
Detection of Chronic Kidney Disease using Machine Learning Algorithms with Least Number of Predictors
Chronic kidney disease (CKD) is one of the most critical health problems due to its increasing prevalence. In this paper, we aim to test the ability of machine learning algorithms for the prediction of chronic kidney dis...
Human Gait Feature Extraction based-on Silhouette and Center of Mass
When someone walks, there is a repetitive movement or coordinated cycle that forms a gait. Gait is different, unique and difficult to imitate. This characteristic makes gait one of the biometrics to find out one's identi...