Login / Signup
Decidable Gödel Description Logics without the Finitely-Valued Model Property.
Stefan Borgwardt
Felix Distel
Rafael Peñaloza
Published in:
KR (2014)
Keyphrases
</>
description logics
machine learning
reasoning mechanism
knowledge base
knowledge representation
conceptual model
exptime complete