Peltier, Nicolas

6 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

JAIR 2011 Decidability and Undecidability Results for Propositional Schemata Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

IJCAI 1997 Analogy and Abduction in Automated Deduction Gilles Défourneaux, Nicolas Peltier

IJCAI 1995 Extending Semantic Resolution via Automated Model Building: Applications Ricardo Caferra, Nicolas Peltier