Login / Signup
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Franz Baader
Oliver Fernandez Gil
Maximilian Pensel
Published in:
Description Logics (2018)
Keyphrases
</>
description logics
knowledge base
artificial intelligence
tree automata
knowledge representation
knowledge based systems