refutation-resolution

There are 0 repository under refutation-resolution topic.

• 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ć

  astarbfsdecision-treesdijkstrarandom-forestrefutation-resolutionstate-space-search
  Language:Java 2

• Estebans441 / Motor-de-inferencia

  Programa que implementa el Algoritmo de resolución por refutación.

  first-order-logicfncrefutation-resolution
  Language:Python 1

• sameeravithana / FOL_Refutation_Prover

  Refutation Prover for FOL using First-Order Resolution

  first-order-logicresolution-proofrefutation-resolutionlogical-reasoning
  Language:Python 1

• Mayank19j / resolution-refutation-prolog

  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.

  resolutionresolution-proofresolution-of-expressionsresolution-refutationrefutation-resolutionlogiclogic-programmingpropositional-logicpropositional-resolutionpropositional-proof-systemvaliditytautologytautology-checkingprolog
  Language:Prolog 0

• ParisaArbab / AI--First-Order-Logic-and-Prolog

  Artificial Intelligence- First Order Logic and Prolog

  aiartificial-intelligencefirst-order-logicprediction-modelprologrefutation-resolutionresolution-proof
  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.

  knights-knavesnatural-deductionrefutation-resolution
  Language:Jupyter Notebook 0

• marinaRupe / FER.ArtificialIntelligence

  Laboratory exercises for the Artificial Intelligence course at FER, University of Zagreb (2016/2017).

  a-staraiartificial-intelligencebfsdfsferheuristic-searchlaboratory-exercisespacman-gamepython-2-7refutation-resolutionuniform-cost-search
  Language:Python