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.

Abstract

Abstract is missing.