ML Anthology
Authors
Search
About
Tourret, Sophie
4 publications
MLJ
2020
Logical Reduction of Metarules
Andrew Cropper
,
Sophie Tourret
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