Yet Another Efficient Unification Algorithm
-
Updated
Aug 14, 2024 - Go
#
unification-algorithm
Here are 19 public repositories matching this topic...
Programs developed for CSCI561 Foundations of Artificial Intelligence course
python
search
agent
language
astar-algorithm
first-order-logic
minimax
alpha-beta-pruning
unification
game-playing
uniform-cost-search
bfs-algorithm
backward-chaining
unification-algorithm
halma
resolution-algorithm
-
Updated
May 20, 2020 - Python
Mujeed (مُجيد) is a development environment for logic programming in Arabic language
-
Updated
Mar 17, 2017 - Java
Learning Invariants through Soft Unification
-
Updated
Oct 17, 2020 - Jupyter Notebook
OptionCell: OnceCell but derivable from Option
-
Updated
Sep 10, 2023 - Rust
Implementation of Steensgaard's pointer analysis for Go
-
Updated
Aug 31, 2023 - Go
Stuff related to my Ph.D. research
-
Updated
Aug 8, 2023 - Haskell
-
Updated
Dec 4, 2020 - Python
Prove or disprove the given query based on the knowledge base
parsing
cpp
strings
tokenizer
cpp14
first-order-logic
artificial-intelligence
inference-engine
inference-rules
unification-algorithm
resolution-proof
-
Updated
Oct 26, 2018 - C++
The Prolog Unification algorithm
-
Updated
Apr 19, 2020 - Java
Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic
-
Updated
Aug 10, 2018 - Java
Algorithmic Maths Engine
-
Updated
Sep 19, 2021 - Python
Inteligenta Artificiala - UPB 2020-2021
constraint-satisfaction-problem
monte-carlo-tree-search
branch-and-bound
iterative-deepening-a-star
unification-algorithm
and-or-search
learning-realtime-astar
-
Updated
Jan 26, 2021 - Jupyter Notebook
Designed a self-service automated system to alert patients/customers about potential drug interactions for both prescription and over the counter drugs.
-
Updated
Nov 5, 2020 - Python
lab assignments of cs3130 course in iitpkd
-
Updated
Dec 30, 2020 - Standard ML
Robinson's Unification Algorithm of First Order Logic Terms
-
Updated
Sep 22, 2021 - Java
A unification implementation for JSON.
-
Updated
Dec 18, 2018
Descriptions & implementations of type-reconstruction/inference algorithms.
-
Updated
Oct 4, 2021 - Coq
Aim: - To implement unification and resolution for real-world problems AI using Python.
-
Updated
Apr 15, 2022 - Jupyter Notebook
Improve this page
Add a description, image, and links to the unification-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unification-algorithm topic, visit your repo's landing page and select "manage topics."