Derek H. Sleeman

Available identifiers

zbMath Open sleeman.derek-hMaRDI QIDQ1392256

List of research outcomes

Publication	Date of Publication	Type
A System to Detect Inconsistencies between a Domain Expert’s Different Perspectives on (Classification) Tasks	2010-03-23	Paper
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies	2008-03-06	Paper
Effective and efficient knowledge base refinement	2000-02-23	Paper
ReTAX: a step in the automation of taxonomic revision	1998-07-23	Paper
Automatic Program Improvement: Variable Usage Transformations	1983-01-01	Paper
A problem-solving monitor for a deductive reasoning task	1975-01-01	Paper

Research outcomes over time

This page was built for person: Derek H. Sleeman