Topic: "first-order-logic"
chrisbouchard/termination
A library for first-order term-rewriting
Language: Python - Size: 72.3 KB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
albrzykowski/main-conjunction
Clojure project for finding main conjunctions in first-order logic formulas.
Language: Clojure - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
mcifra/prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
Language: JavaScript - Size: 5.69 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
alexandrempierre/tableau
Implementação do Tableux para Lógica Clássica de Primeira Ordem
Language: Python - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
Vvkmnn/planningAI
A Classical Planning project.
Language: Jupyter Notebook - Size: 3.66 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
pouriaSameti/AI-Learning-Environments
Hands-on projects for MDP, RL, FOL, and Game AI. designed for practical learning in AI courses.
Language: Python - Size: 828 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
FMFI-UK-1-AIN-412/formalization-checker
The front end of a tool for checking formalization exercises.
Language: JavaScript - Size: 6.7 MB - Last synced at: about 13 hours ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 5
FMFI-UK-1-AIN-412/formalization-checker-backend
The back end of a tool for checking formalization exercises.
Language: JavaScript - Size: 247 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 5
MarekDanco/symmetrybreaking
MACE-like model finder for algebraic structures.
Language: Python - Size: 80.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
FMFI-UK-1-AIN-412/js-fol-parser
A suite of JavaScript parsers for first-order logic languages.
Language: JavaScript - Size: 4.34 MB - Last synced at: about 13 hours ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 3
KiJeong-Lim/Fol-archived 📦
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
Language: Coq - Size: 884 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
awais-124/ai-algorithms
This Repository contain Artificial Intelligence Algorithms Codes in Python
Language: Jupyter Notebook - Size: 3.27 MB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ParisaArbab/Graph_Encoding
Artificial Intelligence- First Order Logic and Prolog
Language: Jupyter Notebook - Size: 1.41 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
pouriaSameti/Fundamental-AI
The Fundamentals of Artificial Intelligence Course Projects.
Language: Jupyter Notebook - Size: 13 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
cartabinaria/logica-per-informatica
Una raccolta di risorse per l'insegnamento di Logica per l'informatica (73149) del Corso di Laurea in Informatica.
Language: Lean - Size: 43.9 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 9
eZWALT/Logic-in-Information-Technology
FIB-LI 2022-23 Q1 Logics in Information Technology subject
Language: Prolog - Size: 20.4 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
AqueeqAzam/real-time-core-understanding-of-expert-system
Language: Jupyter Notebook - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
NathOrmond/logic-engine
npm package for doing logic related things in typescript
Language: TypeScript - Size: 12.7 KB - Last synced at: 13 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
MarcinBrojek/log-FO-prover
A tool for automatically verifying whether a given first-order logic formula is a tautology, based on Herbrand's theory and the Davis-Putnam SAT solver. Implemented in C++.
Language: C++ - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
jesus-fv/quienesquien
Práctica do curso de especialización en Intelixencia Artificial e Big Data de Formación Profesional - IES de Teis, Modelos de Intelixencia Artificial, Búsquedas, Sistemas expertos
Language: Python - Size: 210 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
olivi-r/first-order
Simple first-order logic library
Language: Python - Size: 9.77 KB - Last synced at: 15 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
rohitanwar/Ostara
A simple automated theorem prover written in Haskell
Language: Haskell - Size: 331 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
dfleta/quienesquien
Práctica do curso de especialización en Intelixencia Artificial e Big Data de Formación Profesional - IES de Teis, Modelos de Intelixencia Artificial, Búsquedas, Sistemas expertos
Language: Python - Size: 195 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
machulsky61/Programming-Fundamentals
C++ implementations of fundamental algorithms taught on the course. Topics from first order logic and problem specification to time complexity. Algorithms for search and sorting, along with a testing module to verify correctness and efficiency.
Language: C++ - Size: 6.07 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
toda-lab/pydavid
A Python interface of Open-David, an abductive reasoner
Language: Python - Size: 502 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
elblasco/Logica
Logica computazionale A.A. 2022/23
Language: TeX - Size: 94.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
abtsousa/ProverX-Helper-Functions
Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com
Language: Python - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
yorkeccak/theorem-prover
🧮 Propositional and first order logic tableau, using Python. Correctly identifies the type of a propositional/first order logic formula, and identifies whether it is satisfiable, not satisfiable, or (in the case of FOL tableau) satisfiablility cannot be determined after introducing 10 new constants in the δ-expansions on any given open branch.
Language: Python - Size: 3.91 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
gonzigaran/global-spectrum
Repository for global spectrum algorithms
Language: Python - Size: 65.4 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
alisoltanirad/dialectic
Mathematical logic Implementation
Language: Python - Size: 37.1 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
dotoverline/software-verification
Solving software verification exercises using Athena
Size: 8.79 KB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
RichardMoot/richardmoot.github.io
Richard Moot's personal homepage
Size: 5.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Language: TeX - Size: 5.13 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
sempfi/AI-HW3
Some questions about logic and inference in FOL.
Language: TeX - Size: 183 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
giannhskp/Artificial-Intelligence-1
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
Language: Python - Size: 3.34 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
yosra270/zombie-cows
Implémentation du jeu des Vaches Zombies en Prolog.
Language: Prolog - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
o-ikne/Database-Project-FOL
Databases Project: First Order Logic into Non-recursive Datalog
Language: Python - Size: 307 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
zehengl/smu-cse-7320 📦
SMU CSE 7320 Artificial Intelligence
Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
bori00/AI_LightsOut
Artificial Intelligence course (3rd year, 1st semester)
Language: Python - Size: 6.53 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
limitedeternity/FOLEngine
Резолюционный прувер для логики первого порядка
Language: C++ - Size: 75.2 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tomijuarez/YAVT
Una aplicación didáctica para la introducción a la verificación formal de programas
Language: C - Size: 1.92 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
hahas94/WumpusAgent
Implementation of AI agents using search and logic to act.
Language: Java - Size: 97.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
rickyhugo/decipher-algo
Implementation of a Markov Chain Monte Carlo (MCMV) algorithm that solves ciphers.
Size: 67.4 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
biyaniM/csci561-hw3-First-Order-Logic-Inference
First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3
Language: Python - Size: 3.6 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
ja841014/USC_CSCI_561
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
Language: Java - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
Mateusz-Grzelinski/sat-research
master repo for logic formula generation
Language: Python - Size: 511 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
hwixley/AR-Coursework1
Theorem proving in Isabelle
Language: Isabelle - Size: 587 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
Vedant2311/SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Language: OCaml - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
reevesba/data-mining
Techniques for data mining.
Language: Java - Size: 22.5 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
adamdejl/pithosnd
Web-based natural deduction proof assistant
Language: JavaScript - Size: 5.52 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
aztek/phd-thesis
Automated Theorem Proving with Extensions of First-Order Logic
Language: TeX - Size: 2.06 MB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
SebastianLiando/IntelliDoc
Symptoms diagnostic application using first-order logic
Language: Java - Size: 8.23 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
Pooja199/first-order-logic-ai
Use first order logic to solve whether or not the query can be inferred from the knowledge base
Language: Java - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
vadyushkins/YAFOLPS
Yet Another First-Order Logic Problem Solver
Language: Haskell - Size: 304 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
jfrank1120/AI_Assignment_2
Assignment 2 for CS 1570: Introduction to Artificial Intelligence, at the University of Pittsburgh
Language: Python - Size: 786 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
ahmedibrahimq/pl-preprocessor
Checking the syntax structure of Propositional Logic sentences. (without regex - Challenge) (B.Sc course work)
Language: HTML - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
SysJunkie/SmartRefrigerator Fork of varmax2511/SmartFridge
A natural language understanding system that allows users to text queries or instructions
Language: Prolog - Size: 53.7 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
jgordon/interpret
Interpret natural language using abductive inference
Language: Python - Size: 81.4 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
alishdipani/Modified-Tic-Tac-Toe
This is Modified Tic Tac Toe game in which we change one rule which guarantees that first player always wins.
Size: 420 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
rjtmahinay/java-chatbot
ChatBot using Backward Chaining Algorithm
Language: Java - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
K10shah/SmartRefrigerator
A smart talking refrigerator made using First Order Logic concepts using the Prolog Language
Language: Prolog - Size: 36.1 KB - Last synced at: about 17 hours ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
JordiROP/BarcenasAIRA
Simple program in Python that programes a program in Prolog to find Barcenas in a square area.
Language: Python - Size: 1 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
battila7/first-order-substitution
Substituion in first order logic.
Language: F# - Size: 29.3 KB - Last synced at: 27 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
wko/Circumscription
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
Language: Prolog - Size: 316 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
brittanyjmartin/cargo
Algorithm for an Air Cargo transport system using a planning search agent :airplane: :steam_locomotive:
Language: Python - Size: 2.06 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
relational-learning/relational-learning.github.io
Repository for relational learning website
Language: CSS - Size: 2.37 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
cenkcorapci/fo-scheduler
Scheduler with first-order logic written in prolog
Language: Prolog - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
HazardyKnusperkeks/fol
Language: C++ - Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
g-leech/hansonia
An interactive visualisation of the claims in *The Age of Em*.
Language: Python - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
benhuds/ocaml-provers
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
Language: OCaml - Size: 107 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
smravi/AI
Project Work for AI
Language: Python - Size: 1.08 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
ltics/FOL
Predicate (First-order) Logic
Language: Haskell - Size: 13.7 KB - Last synced at: 4 months ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
R6/FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Language: Julia - Size: 60.5 KB - Last synced at: 11 months ago - Stars: 0 - Forks: 0
