Login / Signup
An Order-Sorted Logic for Knowledge Representation Systems.
Christoph Beierle
Ulrich Hedtstück
Udo Pletat
Peter H. Schmitt
Jörg H. Siekmann
Published in:
Artif. Intell. (1992)
Keyphrases
</>
knowledge representation systems
order sorted logic
description logics
knowledge base
knowledge representation
conceptual structures
artificial intelligence
data structure
expert systems