GitHub topics: refutation-resolution
ParisaArbab/Graph_Encoding
Artificial Intelligence- First Order Logic and Prolog
Language: Jupyter Notebook - Size: 1.41 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
SergioT14/Theorem-proving-with-Scala
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.
Language: Jupyter Notebook - Size: 241 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
dbrcina/UI-FER-2019-20
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ć
Language: Java - Size: 3.13 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
Estebans441/Motor-de-inferencia
Programa que implementa el Algoritmo de resolución por refutación.
Language: Python - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
sameeravithana/FOL_Refutation_Prover
Refutation Prover for FOL using First-Order Resolution
Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
marinaRupe/FER.ArtificialIntelligence
Laboratory exercises for the Artificial Intelligence course at FER, University of Zagreb (2016/2017).
Language: Python - Size: 3.01 MB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1
