Updates of Logic Programs

In: Computing and Informatics, vol. 26, no. 3

J. Šefránek

Detaily:

Rok, strany: 2007, 225 - 238

Kľúčové slová:

multidimensional logic programming, causal rejection principle, Kripke structure

O článku:

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.

Ako citovať:

ISO 690:

Šefránek, J. 2007. Updates of Logic Programs. In Computing and Informatics, vol. 26, no.3, pp. 225-238. 1335-9150.

APA:

Šefránek, J. (2007). Updates of Logic Programs. Computing and Informatics, 26(3), 225-238. 1335-9150.