Prove or disprove the given query based on the knowledge base
The official implementation of an Insect-Inspired Randomly Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning (NeSy20/21@IJCLR)
A semantically accurate implementation of first-order logic in JavaScript 👩🏫.
Use first order logic to solve whether or not the query can be inferred from the knowledge base
Databases Project: First Order Logic into Non-recursive Datalog
Berkeley Pacman Projects (1 and 2), Depth First Search, Breadth First Search, Uniform Cost Search ,A* Search , Heuristic Functions ,Suboptimal Search, Minimax Algorithm, Alpha-Beta Pruning, Expectimax, Constraint Santisfaction Problems, RLFA CSP problem, Propositional Logic, First-order Logic
Yet Another Sat solvER
Programa que implementa el Algoritmo de resolución por refutación.
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
A library for first-order term-rewriting
The Prolog Unification algorithm
Theorem proving in Isabelle
Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24
Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)
ChatBot using Backward Chaining Algorithm
Logic for Computer Science course projects
SMU CSE 7320 Artificial Intelligence
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
Add a description, image, and links to the first-order-logic topic page so that developers can more easily learn about it.
To associate your repository with the first-order-logic topic, visit your repo's landing page and select "manage topics."