A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
Abstract
We introduce HEX programs, which are nonmono-tonic logic programs admitting higher-order atoms as well as external atoms, and we extend the well-known answer-set semantics to this class of pro-grams. Higher-order features are widely acknowl-edged as useful for performing meta-reasoning, among other tasks. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as Answer-Set Programming (ASP) is nowadays important, in par-ticular in view of applications in the Semantic Web area. Through external atoms, HEX programs can model some important extensions to ASP, and are a useful KR tool for expressing various applications. Finally, complexity and implementation issues for a preliminary prototype are discussed. 1
Cite
Text
Eiter et al. "A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Eiter et al. "A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/eiter2005ijcai-uniform/)BibTeX
@inproceedings{eiter2005ijcai-uniform,
title = {{A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming}},
author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {90-96},
url = {https://mlanthology.org/ijcai/2005/eiter2005ijcai-uniform/}
}