Topic: "deduction-system"
leoprover/Leo-III
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Language: Scala - Size: 34 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 47 - Forks: 10
SamyaDaleh/CL-Toolbox
A Parsing-as-Deduction system that parses with different parsing algorithms and some related tools for educational purposes.
Language: Java - Size: 8.91 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 4
heqin-zhu/system-L
:arrow_right:Formal logic deduction based on system-L
Language: Python - Size: 12.1 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 2
meltingmettle/MerlinsCrystalBall
An algorithm for the popular social deduction game Avalon. In a game based on social deduction, visual cues, deception, and unpredictability, can a minions intent be revealed by careful objective analysis? Currently developing a neural network via Tensorflow. Input teams, player votes, and mission outcomes, and recieve a dynamic probability assesment of which players are malicious Minions of Mordred.
Language: Python - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1
Nan-Do/okami
Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database
Language: Python - Size: 364 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 1
