resolution-algorithm

There are 0 repository under resolution-algorithm topic.

Keerthivasan13 / CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
unification game-playing minimax halma agent language python search bfs-algorithm uniform-cost-search astar-algorithm alpha-beta-pruning first-order-logic backward-chaining unification-algorithm resolution-algorithm
Language:Python 9
TimMerker / AutomatedReasoning
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
automated reasoning resolution-algorithm interpolation propositional-logic propositional-calculus propositional-proof-system propositional-resolution propositional-logic-encodings conjunctive-normal-form
Language:Java 3
carlospuenteg / Resolution-Enhancer
This script allows you to enhance the resolution of your images.
image-creation python python3 resolution-algorithm
Language:Python 2
HyrniT / logic
Artificial Intelligence
ai hcmus logic predicate-logic propositional-logic resolution-algorithm algorithms artificial-intelligence
Language:Python 2
sharmaparnika / Unification-and-Resolution-for-real-world-problems
Aim: - To implement unification and resolution for real-world problems AI using Python.
ai code problems real resolution-algorithm unification-algorithm world
Language:Jupyter Notebook 1
trhgquan / CS143
Cài đặt các thuật Cơ sở trí tuệ nhân tạo - CSC14003
csc14003 id3-algorithm astar-algorithm julia-id3 resolution-algorithm bfs dfs greedy-best-first-search heuristic-search-algorithms
Language:Python 1
TuanDoan14112003 / inference-engine
backward-chaining dpll-algorithm forward-chaining inference-engine logic resolution-algorithm
Language:Python 1
vickttor / beecrowd
Codes that I'm practicing
dart java python resolution-algorithm typescript
Language:Dart 1
nstagman / clue_solver
Use Resolution to Solve a Game of Clue
boardgame clue cluedo propositional-logic resolution resolution-algorithm solver
Language:TypeScript 0
orzechowskid / eslint-import-resolver-parcel
resolver for eslint-plugin-import using the Parcel module resolution algorithm
eslint eslint-plugin eslint-plugin-import resolution-algorithm
Language:JavaScript