Pinned repositories

  1. core

    DLVHEX solver: core system and plugin API

    C++ 14 7

  2. hexlite

    Python-based HEX implementation for a fragment of the HEX language and a subset of features.

    Python 1 3

  • HTML 1 Updated May 31, 2018
  • Python-based HEX implementation for a fragment of the HEX language and a subset of features.

    Python 1 3 GPL-3.0 Updated May 28, 2018
  • Shell Updated Apr 24, 2018
  • HEX-Programs with Epistemic Negation

    Python 1 Updated Mar 1, 2018
  • Plugin for integrating SWI Prolog in HEX programs

    Updated Mar 1, 2018
  • DLVHEX solver: core system and plugin API

    C++ 14 7 LGPL-2.1 Updated Dec 20, 2017
  • Reasoner for DL-Programs with DL-Lite-Ontologies

    Web Ontology Language Updated Sep 10, 2017
  • TeX Updated Jul 8, 2017
  • C++ GPL-3.0 Updated Apr 17, 2017
  • Updated Mar 28, 2017
  • Python procedural interface

    Python 3 MIT Updated Jan 17, 2017
  • ASP 1 Updated Jan 8, 2017
  • M4 Updated Jul 2, 2016
  • Machine Learning Plugin

    Python Updated Jun 8, 2016
  • C++ 1 Updated Apr 12, 2016
  • Addons to the actionplugin for HEX

    C++ 1 Updated Jan 17, 2016
  • Web Ontology Language 1 GPL-2.0 Updated Oct 22, 2015
  • C++ 1 Updated Jun 10, 2015
  • Debian package definitions

    Shell Updated Nov 23, 2014
  • Nested HEX-Programs

    C++ Updated Nov 14, 2014
  • C++ GPL-2.0 Updated Nov 14, 2014
  • C++ Updated Nov 14, 2014
  • C++ Updated Nov 14, 2014
  • Shell Updated Dec 13, 2013
  • Continuous-Time Event Calculus Plugin

    Updated Feb 19, 2013
  • C++ Updated Feb 19, 2013
  • C++ LGPL-2.1 Updated Aug 17, 2012
  • C++ GPL-2.0 Updated Aug 17, 2012
  • C++ Updated Aug 14, 2012
  • C++ Updated Aug 14, 2012