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ć
-
Updated
Feb 9, 2022 - Java
#
refutation-resolution
Here are 7 public repositories matching this topic...
Refutation Prover for FOL using First-Order Resolution
-
Updated
Nov 12, 2018 - Python
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.
-
Updated
Apr 3, 2024 - Jupyter Notebook
Artificial Intelligence- First Order Logic and Prolog
ai
prolog
first-order-logic
artificial-intelligence
prediction-model
resolution-proof
refutation-resolution
-
Updated
Dec 5, 2023
Laboratory exercises for the Artificial Intelligence course at FER, University of Zagreb (2016/2017).
ai
artificial-intelligence
a-star
dfs
bfs
python-2-7
heuristic-search
uniform-cost-search
pacman-game
fer
laboratory-exercises
refutation-resolution
-
Updated
May 21, 2017 - Python
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.
resolution
logic
prolog
logic-programming
propositional-logic
validity
tautology
resolution-proof
refutation-resolution
propositional-proof-system
propositional-resolution
tautology-checking
resolution-of-expressions
resolution-refutation
-
Updated
Oct 3, 2018 - Prolog
Programa que implementa el Algoritmo de resolución por refutación.
-
Updated
Apr 10, 2023 - Python
Improve this page
Add a description, image, and links to the refutation-resolution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the refutation-resolution topic, visit your repo's landing page and select "manage topics."