Abstract: Temporal logic programming is an extension of logic programming by temporal operators allowing to specify and to program dynamically cli anging situations in a natural and problem oriented ...

In the first part of this paper, the concept of logical reduction is presented. Minimal preferred variable inequalities are introduced, and algorithms are given for their calculation. A simple ...

Abstract: Probabilistic logic programming extends logic programming by enabling the representation of uncertain information by means of probability theory. Probabilistic logic programming is at the ...