Author:Oliver Kutz

Keyphrases

Classification problems, Common Logic, Description Logic, linear models, logic translation, machine learning, prototype theory, theorem proving, Threshold Operators, weighted description logic.