This online demo of the dlvhex system allows for evaluating programs without local installation. This is intended mainly for testing and learning purposes. External sources for the program at the top may be directly implemented in a Python script below.
Please check out the predefined examples at the upper right corner for a quick overview or consider the links to the system documentation in the right-hand menu for a more detailed description.
General
dlvhex source code @ github.com
Description-Of-A-Project
Popular Plugins
Action Plugin
DecisionDiagrams Plugin
Description Logics Plugin
Description Logics Lite Plugin
MELD: Belief Merging Plugin
Nested HEX Plugin
MCSIE Plugin
String Plugin
dlvhex-semweb Project
Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python