PASOCS (Parallel Approximate SOlver for the Credal Semantics)

Author: David Tuckey

PASOCS is a solver for probabilistic logic programs (PLP) interpreted under the Credal semantics. Under these semantics, the logic program need not be stratified: they can accept multiple worlds (called answer sets).

FastLAS

Author: Mark Law

Description Here

ILASP (Inductive Learning of Answer Set Programs)

Author: Mark Law

ILASP (Inductive Learning of Answer Set Programs) is a logic-based learning system capable of learning normal rules, disjunctive rules, choice rules, constraints and weak constraints in ASP (Answer Set Programming).