RACER System Description
Top Cited Papers
- 8 June 2001
- book chapter
- Published by Springer Nature
- p. 701-705
- https://doi.org/10.1007/3-540-45744-5_59
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Consistency Testing: The RACE ExperiencePublished by Springer Nature ,2000
- Optimizing description logic subsumptionJournal of Logic and Computation, 1999
- Practical Reasoning for Expressive Description LogicsPublished by Springer Nature ,1999
- 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