Authors Search About

Fiorentini, Camillo

1 publications

IJCAI 2019 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic Camillo Fiorentini

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy