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

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

Browse the full IJCAI paper archive.