ML Anthology

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

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
IJCAI 2005 pp. 90-96
/ijcai/2005/eiter2005ijcai-uniform/
PDF IJCAI Semantic Scholar

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/}
}