Asset Type
Docker container
Clingo Answer Set Solver
State-of-the-art solver for logic programming under the answer set semantics.
AI Assets related to #Answer Set Programming
Loris Bozzato, Fondazione Bruno Kessler
Asset Type
Executable
CKRew - CKR datalog rewriter
Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL
Asset Type
Docker container
Hexlite
A solver the HEX language which combines Logic Programming with Python-based plugins.
Research Bundles related to this topic
Reasoning on Contextual Hierarchies via Answer Set Programming with Algebraic Measures
We generalize the CKR framework for contextual knowledge repositories with more complex preference relations and realize its computation using the asprin framework.