Topic: "propositional-logic"
cair/TsetlinMachine
Code and datasets for the Tsetlin Machine
Language: Cython - Size: 491 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 475 - Forks: 51

cair/tmu
Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.
Language: Python - Size: 300 MB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 145 - Forks: 20

cair/pyTsetlinMachine
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget
Language: C - Size: 611 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 138 - Forks: 29

Centril/refl
Provides a Refl encoding in Rust
Language: Rust - Size: 20.5 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 68 - Forks: 3

touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Language: OCaml - Size: 12 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 65 - Forks: 12

cair/convolutional-tsetlin-machine-tutorial
Tutorial on the Convolutional Tsetlin Machine
Language: Python - Size: 316 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 53 - Forks: 13

knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Language: TeX - Size: 5.23 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

cair/pyTsetlinMachineParallel
Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.
Language: C - Size: 290 KB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 41 - Forks: 9

ryukinix/lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
Language: Common Lisp - Size: 110 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 40 - Forks: 1

vvulpes0/Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
Language: Haskell - Size: 1.93 MB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 24 - Forks: 0

whitemech/flloat 📦
From LTLf/LDLf To Automata
Language: Python - Size: 6.04 MB - Last synced at: 22 days ago - Pushed at: almost 5 years ago - Stars: 22 - Forks: 4

DigitalFormalLogic/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language: Python - Size: 1.22 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 21 - Forks: 4

nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Language: Python - Size: 6.22 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 19 - Forks: 2

jakobjpeters/PAndQ.jl
A computer algebra system for propositional logic
Language: Julia - Size: 2.01 MB - Last synced at: 7 days ago - Pushed at: 10 months ago - Stars: 18 - Forks: 1

mscroggs/Logic-Bot
@mathslogicbot
Language: Python - Size: 61.5 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 1

jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
Language: Agda - Size: 442 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 1

Etec-SA/frege
A propositional logic library.
Language: TypeScript - Size: 397 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 0

catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Language: C - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2

0xGeorgii/SharpLogic
Open source F# mathematical logic library.
Language: F# - Size: 117 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 2

catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language: Python - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0

KiJeong-Lim/DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
Language: Coq - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

PnVDiscord/PnVRocqLib
A Coq library written by members of PnV Discord Server
Language: Coq - Size: 696 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 8 - Forks: 1

joshuacrotts/logic-learning-assistance-tool 📦
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1

livrelogique/pravda
Pravda is a tool for teaching formal logic.
Language: TypeScript - Size: 174 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 2

palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
Language: Standard ML - Size: 169 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

4g3nt81lly/logic-util
A handy utility for propositional logic.
Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

benhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithm
Language: Prolog - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 2

hjbolus/Mathematical-Logic-Through-Python
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Language: Python - Size: 517 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3

cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Size: 123 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

MoosaSaadat/minesweeper
Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!
Language: Python - Size: 1.38 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 5

boramalper/boolexman 📦
boolean expression manipulator for educational purposes
Language: JavaScript - Size: 961 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

xamidi/mmsolitaire
My contributions to Metamath's mmsolitaire project.
Size: 687 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0

aidan-bailey/Logic.jl
A Julia implementation of Logics (WIP)
Language: Julia - Size: 88.9 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

maximaximal/limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Language: C - Size: 2.26 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 4

eric11eca/AutomatonStudio
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
Language: JavaScript - Size: 3.36 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

marcofavorito/pythogic 📦
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Language: Python - Size: 660 KB - Last synced at: 8 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0

marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

WojciechMigda/Tsetlini
Efficient parallelized implementation of Multilabel Classifier and Regressor Tsetlin Machines
Language: C++ - Size: 4.12 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

sidney-pham/truth-tables
⊻ A truth table generator.
Language: JavaScript - Size: 1.55 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 1

d-dimos/artificial_intelligence_ntua
[ECE NTUA] Artificial Intelligence - Theoretical & Programming Sets (2020-2021)
Language: Jupyter Notebook - Size: 4.97 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 0

maate/tempo-tango
Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.
Language: F# - Size: 4.94 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

bediger4000/tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
Language: Go - Size: 229 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

ExcaliburZero/resolution-prover
An implementation of a propositional logic resolution prover in Rust.
Language: Rust - Size: 900 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
Language: Java - Size: 163 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1

KhaledHosseini/propositional-logic
propositional logic evaluator that creates truth tables for propositional expressions, written in rust.
Language: Rust - Size: 6.07 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 1

chakravala/DeMorgan.jl
Classical logic truth table magma algebra
Language: Julia - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

benmandrew/saguaro
Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause form converter.
Language: OCaml - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

PeronGH/CPT107-Revision
Various materials for reviewing CPT107 and scripts for specific calculations
Language: TypeScript - Size: 2.06 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

szHeron/Trabalho-Logica
Trabalho para a disciplina de lógica para computação.
Language: JavaScript - Size: 199 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

joedougherty/sentential
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
Language: Python - Size: 181 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0

archanpatkar/Logico
An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF
Language: JavaScript - Size: 93.8 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
Language: Python - Size: 60.5 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2

ayberkt/resolution
A tiny implementation of logical resolution.
Language: OCaml - Size: 40 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

nowuX/rplt
Lightweight truth table generator for propositional logic expressions.
Language: Rust - Size: 35.2 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0

venkideshVenu/S5-AI-Algorithms-Lab-2019-Scheme-KTU
Repository for the S5 AI Algorithms (2019 Scheme) at Kerala Technological University (KTU), featuring practical experiments on AI Algorithms like Basic search strategies, informed search algorithms, constraint satisfaction problems. etc.,
Language: Jupyter Notebook - Size: 402 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

SavinRazvan/minesweeper
An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.
Language: Jupyter Notebook - Size: 158 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

tjquillan/discrete-calculator
A calculator for various things in Discrete Mathematics
Language: TypeScript - Size: 1.14 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

artainmo/expert-system
42 school project. Write an expert system in propositional calculus. A type of AI program that can reason on a set of rules and initial facts to deduce other facts.
Language: Python - Size: 43.9 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

codeYann/cnf-parser
CNF parser
Language: Python - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

markpock/fitch-proof-for-propositional-logic
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

sramakrishnan247/ProveMe
A Theorem Prover for Propositional Logic
Language: Java - Size: 50.8 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

Akash-Sharma-1/DNF-Generator
A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
Language: Python - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

swapnil-ahlawat/Wumpus-World
Solving Wumpus World Problem using Propositional Logic
Language: Python - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 3

ChakshuGupta13/propositional-logic-theorem-prover-using-resolution-refutation
Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in the proof.
Language: Python - Size: 72.3 KB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1

vuurball/ai-3-minesweeper
AI program that playes/solves minesweeper
Language: Python - Size: 194 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

dserbano/knowledge_technology_smartnet_1
1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.
Language: CLIPS - Size: 2.98 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

celinadongye/Isabelle-exercises
Language: Isabelle - Size: 120 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

nmakes/aibot 📦
A collection of projects solving problems using AI
Language: Python - Size: 2.91 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

shisharka/interactive_deduction
Natural deduction proof assistant
Language: C++ - Size: 919 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

Cubix1729/logicalpy
A Python library providing basic functionalities for manipulating propositional logic
Language: Python - Size: 1.07 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

khteh/pAIthon
Exploration of python language features and AI/ML.
Language: Python - Size: 232 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

fahmi-ramadhan/resolution-refutation
resolution refutation algorithm for propositional logic in python
Language: Python - Size: 5.76 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

Danco1201/Feasible
A pure-logical programming language
Language: C - Size: 80.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

tidianekhan/Knowledge_and_Data
Projects accomplished during university course "Knowledge and Data" for the Bachelors of Science in Artificial Intelligence from VU Amsterdam
Language: Jupyter Notebook - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

jrcalgo/knowleJ-graph
Java library for propositional logic knowledge representation & proof writing with Neo4J
Language: Java - Size: 524 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

igreat/tiny-prover
A simple first order logic theorem prover using tableaux
Language: OCaml - Size: 1.13 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

Hacker-Code-J/Software-Verification
Language: TeX - Size: 6.61 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

SavinRazvan/knights
A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.
Language: Python - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

PriorLax123/Propositional_Logic
This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
Language: Java - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

mihai-bontea/Propositional-Logic-Solver
Performs normal form conversions of propositional formulas through the use of syntax trees, and provides 3 sat-solver algorithms with verifiable step-by-step output.
Language: Python - Size: 106 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

pedritastark/nanogram-solver
Python project developed using propositional logic and SAT solvers to address problems that can be formulated through propositional logic, applied to a 5x5 nonogram puzzle.
Language: Python - Size: 594 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

artemmavrin/autoproof
Intuitionistic and classical propositional logic library
Language: Haskell - Size: 5.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Rakibul73/AI_Sessional_Final_Exam_Code
CIT-316 (Artificial Intelligence Sessional)
Language: Jupyter Notebook - Size: 155 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

masoudhashemi/SATreeVerify
Verifying decision tree ensembles using propositional satisfiability
Language: Python - Size: 336 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ZeroBone/ApplicationsOfCompactness
My presentation about the compactness theorem of propositional and first order logic
Language: TeX - Size: 79.1 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

joshuacrotts/masters-thesis
This is a repository for my Master's thesis LaTeX source.
Language: TeX - Size: 21.9 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

marcoaurelima/logic-sub-tree
Propositional Logic - this software shows sub-formulas and syntactic tree of a propositional formula.
Language: C++ - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

DerEasy/Propositional-Calculator
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
Language: C# - Size: 7.04 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

afifabroory/Propositional-Logic-Calculator-JS
A propositional logic calculator written in JavaScript with help of Jison (a scanner and parser generator)
Language: Yacc - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

NouamaneA/proof-assistant
Simple proof assistant written in OCaml.
Language: OCaml - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

cheteen/OpenPAS
OpenPAS consists of a library, a script runtime, and an interactive console that is capable of probabilistic argumentation and propositional logic operations. OpenPAS contains a full implementation of Probabilistic Argumentation Systems (PAS) which is a framework that is a combination of propositional logic and probability theory.
Language: Java - Size: 3.22 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

flijnzaad/natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Language: Python - Size: 571 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

DominikGithub/PL
Propositional logic compiler
Language: Java - Size: 113 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

arielcavalcante/calculadora-logica-proposicional
Pequeno projeto de uma "calculadora" de lógica proposicional.
Language: CSS - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

guiga-zalu/notacoes
Special math notations used by me.
Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

kieuconghau/ai-wumpus-world
HCMUS - Artificial Intelligence - Project 2: Wumpus World
Language: Python - Size: 2.11 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

BaguetteEater/beat_the_wumpus
Beat the wumpus is a small artificial intelligence project based on game theory and propositional logic with a SAT solver in python
Language: Python - Size: 23.3 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

vuurball/ai-2-knight-or-knave
AI solving Knight-or-Knave puzzles using propositional logic
Language: Python - Size: 116 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

OnurArdaB/Artificial-Intelligence
Introductive Course to Artificial Intelligence
Language: Jupyter Notebook - Size: 1.19 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

SukritiGupta/Logic
Logic for Computer Science course projects
Language: OCaml - Size: 5.33 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
