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 International Joint Conference on Artificial Intelligence