New Techniques for Inference in Assumption-Based Truth Maintenance Systems

Claudette Cayrol, Michel Cayrol, Olivier Palmade. New Techniques for Inference in Assumption-Based Truth Maintenance Systems. In ICTAI. pages 404-407, 1993.

Authors

Claudette Cayrol

This author has not been identified. Look up 'Claudette Cayrol' in Google

Michel Cayrol

This author has not been identified. Look up 'Michel Cayrol' in Google

Olivier Palmade

This author has not been identified. Look up 'Olivier Palmade' in Google