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

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/EiterIST05, title={A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming}, pages={90-96}, year={2005}, crossref={DBLP:conf/ijcai/2005}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers/1353.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#EiterIST05}, author={Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Uniform_Integration_of_Higher-Order_Reasoning_and_External_Evaluations_in_Answer-Set_Programming"
Personal tools