An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
-
Updated
Jun 5, 2024 - Scala
#
deduction-system
Here are 5 public repositories matching this topic...
A Parsing-as-Deduction system that parses with different parsing algorithms and some related tools for educational purposes.
java
education
tree
parsing
teaching
computational-linguistics
cfg
earley-algorithm
context-free-grammar
earley
cyk-parser
topdown
deductions
teaching-tool
earley-parser
educational-software
tree-adjoining-grammar
deduction-system
shiftreduce
unger-parser
-
Updated
Mar 10, 2024 - Java
➡️Formal logic deduction based on system-L
-
Updated
Apr 27, 2020 - Python
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 asse…
neural-network
tensorflow
social-network-analysis
avalon
not-the-repo-you-are-looking-for
not-finished
resistance-game
supervised-machine-learning
deduction-system
resistance-game-solver
-
Updated
Jun 26, 2018 - Python
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
-
Updated
Jul 25, 2017 - Python
Improve this page
Add a description, image, and links to the deduction-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deduction-system topic, visit your repo's landing page and select "manage topics."