A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

Eiter, Thomas; Ianni, Giovambattista; Schindlauer, Roman; Tompits, Hans

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 90-95.

Abstract

We introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and we extend the wellknown answer-set semantics to this class of programs. Higher-order features are widely acknowledged 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 particular 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.

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. 2005. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 90–95. https://ijcai.org/proceedings/2005/169

@inproceedings{ijcai2005p169,
  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 = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {90--95},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/169},
}

TY  - CPAPER
TI  - A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
AU  - Eiter, Thomas
AU  - Ianni, Giovambattista
AU  - Schindlauer, Roman
AU  - Tompits, Hans
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 90
EP  - 95
UR  - https://ijcai.org/proceedings/2005/169
ER  -