Advertisement
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Common Lisp Reasoner
Common Lisp Reasoner aims to create a practical technology that exploits the synergy between its three major components....
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
FuXi
A N3-based forward-chaining, DL reasoner for RDFLib...