Olivier Coudert

Bull Corporate Research Center Rue Jean J aures 78340 Les Clayes-sous-bois FRANCE

1 paper in the IJCAI proceedings

IJCAI 1991

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

with Jean Christophe Madre

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings