A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.

Jean Christophe Madre, Olivier Coudert

Browse the full IJCAI paper archive.