All Categories → No Category → automated-reasoning

Top 3 automated-reasoning open source projects

LogicCircuits.jl

Logic Circuits from the Juice library

✭ 39

julia logic automated-reasoning logic-circuits logical-reasoning

A lightweight Description Logic reasoner for large-scale biomedical ontologies

✭ 16

common lisp java HTML tu-dresden owl-api protege-plugin automated-reasoning

LatPlan : A domain-independent, image-based classical planner

✭ 73

python shell common lisp Makefile awk deeplearning search-algorithm automated-reasoning

1-3 of 3 automated-reasoning projects