Asset Type
Docker container
Hexlite
A solver the HEX language which combines Logic Programming with Python-based plugins.
AI Assets related to this topic
Asset Type
Docker container
Clingo Answer Set Solver
State-of-the-art solver for logic programming under the answer set semantics.
Loris Bozzato, Fondazione Bruno Kessler
Asset Type
Executable
CKRew - CKR datalog rewriter
Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL