This repository contains the final project solutions for the Programming Logic course at UNINTER University. The solutions are implemented in Python, and each exercise is described in detail within ...

Abstract: Detection of underground fires is an important security task in hard-coal mining. In order to enable a rapid detection, the underground carbon monoxide (CO) concentration is constantly ...

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 ...

DNA logic programming, based on the principles of base complementarity and Boolean operations, exhibits organizational structures and computational rules similar to machine language. Consequently, DNA ...

We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratified ...