
Asset Type
Docker container
Hexlite
A solver the HEX language which combines Logic Programming with Python-based plugins.
A solver the HEX language which combines Logic Programming with Python-based plugins.
State-of-the-art solver for logic programming under the answer set semantics.
Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL