Repositories list

• 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•14•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•24•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