Stars
RTEC is an Event Calculus implementation optimised for stream reasoning
First Order Inductive Learner (FOIL) algorithm implemented in Python
An open-source, customizable intermediate logic textbook
A Benchmark for Machine Learning from Structured Data
LoMRF is an open-source implementation of Markov Logic Networks
anskarl / Optimus
Forked from vagmcs/OptimusOptimus is a mathematical programming library for Scala.
ReadLogic is a small open-source library for parsing logical expressions (ISO Prolog syntax), implemented in Scala programming language.
nkatzz / ProPPR
Forked from TeamCohen/ProPPRGraph-algorithm inferences over local groundings of first-order logic programs