Login / Signup

An Order-Sorted Logic for Knowledge Representation Systems.

Christoph BeierleUlrich HedtstückUdo PletatPeter H. SchmittJö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