Tautology Checker using Logic Programming and Computational Linguistics in Prolog. This is an application based on Logic Programming which computes whether the given expression is a tautology or not.

Este Repositório contém códigos das listas de exercícios da disciplina 'Introdução à Lógica de Programação (ILP)' ensinada na Universidade Federal da Bahia (UFBA). Esta disciplina é aplicada na UFBA ...

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

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

Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...

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

Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, systems verification and systems modelling. The goal of the group's research is to ...