ML Anthology
Authors
Search
About
Coudert, Olivier
1 publications
IJCAI
1991
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver
Jean Christophe Madre
,
Olivier Coudert