Skip to content

@hexhex Software for HEX-Programs

Change the repository type filter

All

    Repositories list

    34 repositories

    • ehex

      Public
      Epistemic Logic Program Solver Using HEX Programs
      Python
      •0•2•0•0•Updated Sep 28, 2022Sep 28, 2022

    • hexlite

      Public
      Python-based HEX implementation for a fragment of the HEX language and a subset of features.
      Python
      •
      MIT License
      •5•15•3•2•Updated Jan 4, 2022Jan 4, 2022

    • hexlite-owlapi-plugin

      Public
      An OWLAPI Plugin for the Hexlite solver
      Java
      •
      MIT License
      •1•3•1•2•Updated Jan 4, 2022Jan 4, 2022

    • website

      Public
      HTML
      •0•0•0•0•Updated Feb 18, 2021Feb 18, 2021

    • manual

      Public
      Manual for the HEX language and the dlvhex and hexlite solvers
      TeX
      •0•1•0•0•Updated May 18, 2020May 18, 2020

    • imapplugin

      Public
      Plugin for interacting with an IMAP server via acthex (compatible with hexlite).
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Apr 6, 2020Apr 6, 2020

    • core

      Public
      DLVHEX solver: core system and plugin API
      C++
      •
      GNU Lesser General Public License v2.1
      •8•25•26•0•Updated Jun 13, 2019Jun 13, 2019

    • aspq

      Public
      Reasoner frontend for Answer set programs with queries over subprograms
      Shell
      •0•0•0•0•Updated Sep 27, 2018Sep 27, 2018

    • inconsistencyanalysis

      Public
      Python
      •0•0•0•0•Updated Sep 26, 2018Sep 26, 2018

    • rdfplugin

      Public
      Python
      •0•1•0•0•Updated Sep 26, 2018Sep 26, 2018

    • build

      Public
      M4
      •0•1•0•0•Updated Jul 5, 2018Jul 5, 2018

    • prologplugin

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

    • dlliteplugin

      Public
      Reasoner for DL-Programs with DL-Lite-Ontologies
      Web Ontology Language
      •0•0•0•0•Updated Sep 10, 2017Sep 10, 2017

    • mcsieplugin

      Public
      C++
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Apr 17, 2017Apr 17, 2017

    • py-aspio

      Public
      Python procedural interface
      Python
      •
      MIT License
      •1•4•0•0•Updated Jan 17, 2017Jan 17, 2017

    • benchmarks

      Public
      ASP
      •1•3•0•0•Updated Jan 8, 2017Jan 8, 2017

    • mlplugin

      Public
      Machine Learning Plugin
      Python
      •0•0•0•0•Updated Jun 8, 2016Jun 8, 2016

    • actionplugin

      Public
      C++
      •0•1•0•0•Updated Apr 12, 2016Apr 12, 2016

    • actionplugin-addons

      Public
      Addons to the actionplugin for HEX
      C++
      •0•1•0•0•Updated Jan 17, 2016Jan 17, 2016

    • dlplugin

      Public
      Web Ontology Language
      •
      GNU General Public License v2.0
      •0•3•4•0•Updated Oct 22, 2015Oct 22, 2015

    • caspplugin

      Public
      C++
      •1•2•0•0•Updated Jun 10, 2015Jun 10, 2015

    • debian

      Public
      Debian package definitions
      Shell
      •0•0•0•0•Updated Nov 23, 2014Nov 23, 2014

    • nestedhexplugin

      Public
      Nested HEX-Programs
      C++
      •0•0•1•0•Updated Nov 14, 2014Nov 14, 2014

    • aggregateplugin

      Public
      C++
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Nov 14, 2014Nov 14, 2014

    • scriptplugin

      Public
      C++
      •0•0•0•0•Updated Nov 14, 2014Nov 14, 2014

    • stringplugin

      Public
      C++
      •0•0•0•0•Updated Nov 14, 2014Nov 14, 2014

    • buildbot

      Public
      Shell
      •0•0•0•0•Updated Dec 13, 2013Dec 13, 2013

    • cecplugin

      Public
      Continuous-Time Event Calculus Plugin
      0•0•0•0•Updated Feb 19, 2013Feb 19, 2013

    • mergingplugin

      Public
      C++
      •
      Other
      •0•1•0•0•Updated Feb 19, 2013Feb 19, 2013

    • xpathplugin

      Public
      C++
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Aug 17, 2012Aug 17, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.