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

by T Eiter, G Ianni, R Schindlauer, H Tompits
Venue:In 19th International Joint Conference on Artificial Intelligence (IJCAI’05), 90–96. Professional Book