dlvhex : A Tool for Semantic-Web Reasoning under the Answer-Set Semantics !

@inproceedings{Eiter2006dlvhexA,
  title={dlvhex : A Tool for Semantic-Web Reasoning under the Answer-Set Semantics !},
  author={Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits},
  year={2006}
}
We briefly report about the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs featuring both higher-order atoms as well as external ones. Higher-order features are widely acknowledged as useful for various tasks and are essential in the context of meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as answer-set programming (ASP) is particularly important in view of… CONTINUE READING