Pinned Repositories
benchmarks
caspplugin
core
DLVHEX solver: core system and plugin API
dlplugin
ehex
Epistemic Logic Program Solver Using HEX Programs
hexlite
Python-based HEX implementation for a fragment of the HEX language and a subset of features.
hexlite-owlapi-plugin
An OWLAPI Plugin for the Hexlite solver
manual
Manual for the HEX language and the dlvhex and hexlite solvers
mcsieplugin
py-aspio
Python procedural interface
Software for HEX-Programs's Repositories
hexhex/core
DLVHEX solver: core system and plugin API
hexhex/hexlite
Python-based HEX implementation for a fragment of the HEX language and a subset of features.
hexhex/py-aspio
Python procedural interface
hexhex/benchmarks
hexhex/dlplugin
hexhex/hexlite-owlapi-plugin
An OWLAPI Plugin for the Hexlite solver
hexhex/caspplugin
hexhex/ehex
Epistemic Logic Program Solver Using HEX Programs
hexhex/mcsieplugin
hexhex/actionplugin
hexhex/actionplugin-addons
Addons to the actionplugin for HEX
hexhex/build
hexhex/imapplugin
Plugin for interacting with an IMAP server via acthex (compatible with hexlite).
hexhex/manual
Manual for the HEX language and the dlvhex and hexlite solvers
hexhex/mergingplugin
hexhex/prologplugin
Plugin for integrating SWI Prolog in HEX programs
hexhex/rdfplugin
hexhex/dlliteplugin
Reasoner for DL-Programs with DL-Lite-Ontologies
hexhex/mlplugin
Machine Learning Plugin
hexhex/aggregateplugin
hexhex/aspq
Reasoner frontend for Answer set programs with queries over subprograms
hexhex/buildbot
hexhex/cecplugin
Continuous-Time Event Calculus Plugin
hexhex/debian
Debian package definitions
hexhex/inconsistencyanalysis
hexhex/nestedhexplugin
Nested HEX-Programs
hexhex/scriptplugin
hexhex/stringplugin
hexhex/website
hexhex/xpathplugin