Roman Schindlauer

1 paper in the IJCAI proceedings

IJCAI 2005

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

with Thomas Eiter, Giovambattista Ianni, Hans Tompits

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings