Nicola Fanizzi

2 papers in the IJCAI proceedings

IJCAI 2003

Spaces of Theories with Ideal Refinement Operators

with Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile

Details PDF

IJCAI 2001

OI-implication: Soundness and Refutation Completeness

with Floriana Esposito, Stefano Ferilli, Giovanni Semeraro

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings