Under construction. Please check back soon for updates!
PASOCS (Parallel Approximate SOlver for the Credal Semantics)
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).
ILASP (Inductive Learning of Answer Set Programs)
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).
Structured and Probabilistic Intelligent Knowledge Engineering Group Department of Computing Imperial College London