Updates of Logic Programs
Ján Šefránek
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
Text on Computing and Informatics
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.
Publié le : 2012-01-26
Classification:  multidimensional logic programming; causal rejection principle; Kripke structure 
@article{cai308,
     author = {J\'an \v Sefr\'anek},
     title = {Updates of Logic Programs},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai308}
}

Ján Šefránek. Updates of Logic Programs. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai308/