Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
Towards Efficient Evaluation of HEX Programs.

In: Proceedings of
11th International Workshop on Non-Monotonic Reasoning (NMR06), Lake District, UK (30th May - 1st June 2006), Organization: KR Inc., Technical Report IfI-06-04, 40-46, May 2006
© Institut für Informatik TU Clausthal Germany

We briefly report on the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs with higher-order atoms and external atoms. 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 applications in the Semantic-Web area. Through external atoms, HEX-programs can deal with external knowledge and reasoners of various nature, such as RDF datasets or description logics bases.



	author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits},
	title = {Towards Efficient Evaluation of HEX Programs},
	booktitle = {Proceedings of 11th International Workshop on Non-Monotonic Reasoning, Lake District, UK (30th May--1st June 2006)},
	year = {2006},
	volume = {IfI-06-04},
	organization = {KR Inc.},
	series = {Technical Report},
	pages = {40--46},
	url = {}

Imprint      Privacy Disclaimer