Qi, Guilin, University of Karlsruhe, Germany
-
Twenty-First International Joint Conference on Artificial Intelligence - Knowledge Representation, Reasoning, and Logic
Model-based Revision Operators for Terminologies in Description Logics
Abstract PDF