Login / Signup
Terminological Cycles and the Propositional µ-Calculus.
Klaus Schild
Published in:
KR (1994)
Keyphrases
</>
propositional calculus
knowledge base
knowledge representation
knowledge representation languages
artificial intelligence
image retrieval
multiresolution
description logics
terminological knowledge