Giovambattista Ianni

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, Roman Schindlauer, Hans Tompits

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings