Ianni, Giovambattista

2 publications

AAAI 2010 Enhancing ASP by Functions: Decidable Classes and Implementation Techniques Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

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