Camillo Fiorentini

Department of Computer Science , University of Milan , Italy

1 paper in the IJCAI proceedings

IJCAI 2019

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic

doi:10.24963/ijcai.2019/232

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings