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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.