Consistency Testing: The RACE Experience
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Optimizing description logic subsumptionJournal of Logic and Computation, 1999
- FaCT and DLPPublished by Springer Nature ,1998
- Am empirical analysis of optimization techniques for terminological representation systemsApplied Intelligence, 1994
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977