Updates of Logic Programs
Keywords:
multidimensional logic programming, causal rejection principle, Kripke structureAbstract
Dynamic aspects of knowledge representation has been tackled recently by a variety of approaches in the logic programming style. We consider the approaches characterized by the causal rejection principle (if there is a conflict between rules, then more preferred rules override those less preferred). A classification and a comparison of the approaches is presented in the paper. We compare them also to our own approach based on Kripke structures.Downloads
Download data is not yet available.
Downloads
Published
2012-01-27
How to Cite
Šefránek, J. (2012). Updates of Logic Programs. Computing and Informatics, 26(3), 225–238. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/308
Issue
Section
Articles