Publikation - Einzelansicht

@inproceedings {AbeckerSchmid96,
author={Andreas Abecker and Klaus Schmid},
title={From Theory Refinement to Knowledge Base Maintenance: A Position Statement},
booktitle={Workshop on Validation, Verification and Refinement of KBS at the European Conference on Artifical Intelligence (ECAI '96)},
year={1996},
abstract={Since we consider theory refinement (TR) as a possible key concept for a methodologically clear view of knowledge-base maintenance, we try to give a structured overview about the actual state-of-the-art in TR. This overview is arranged along the description of TR as a search problem. We explain the basic approach, show the variety of existing systems and try to give some hints about the direction future research should go.}
}