Echenim, Mnacho

3 publications

IJCAI 2018 Prime Implicate Generation in Equational Logic (extended Abstract) Mnacho Echenim, Nicolas Peltier, Sophie Tourret

JAIR 2017 Prime Implicate Generation in Equational Logic Mnacho Echenim, Nicolas Peltier, Sophie Tourret

IJCAI 2013 An Approach to Abductive Reasoning in Equational Logic Mnacho Echenim, Nicolas Peltier, Sophie Tourret