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
Programa que implementa el Algoritmo de resolución por refutación.
-
Updated
Apr 10, 2023 - Python
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
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."