Giovambattista Ianni

Institut für Informationssysteme , Technische Universität Wien , Favoritenstraße 9-11 , A-1040 Vienna , Austria

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