Schindlauer, Roman

1 publications

IJCAI 2005 A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits