There are 0 repository under refutation-resolution topic.
Lab solutions for Artificial Intelligence ("Umjetna inteligencija") course at FER 2019/20 led by izv. prof. dr. sc. Jan Šnajder and doc. dr. sc. Marko Čupić
Refutation Prover for FOL using First-Order Resolution
Programa que implementa el Algoritmo de resolución por refutación.
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
Artificial Intelligence- First Order Logic and Prolog
This repository will store three Scala notebooks made for my Computer Engineering Thesis. The notebooks are divided into categories, each with a different type of proven exercises: Resolution (and refutation), natural deduction and Knights&Knaves puzzles.
Laboratory exercises for the Artificial Intelligence course at FER, University of Zagreb (2016/2017).