The following pages link to Derek H. Sleeman (Q1392256):
Displaying 7 items.
- ReTAX: a step in the automation of taxonomic revision (Q1392257) (← links)
- (Q1964682) (redirect page) (← links)
- Effective and efficient knowledge base refinement (Q1964683) (← links)
- Automatic Program Improvement: Variable Usage Transformations (Q3664410) (← links)
- A problem-solving monitor for a deductive reasoning task (Q4055227) (← links)
- A System to Detect Inconsistencies between a Domain Expert’s Different Perspectives on (Classification) Tasks (Q5305732) (← links)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719) (← links)
