DLVHEX solver for HEX-programs

  •        0

dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.

http://www.kr.tuwien.ac.at/research/systems/dlvhex/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

dlvhex-semweb


Semantic Web related plugins for the DLVHEX system.