Authors Search About

Madre, Jean Christophe

1 publications

IJCAI 1991 A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver Jean Christophe Madre, Olivier Coudert

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