A Correspondence Theory for Terminological Logics: Preliminary Report.
Klaus SchildPublished in: IJCAI (1991)
Keyphrases
- theoretical basis
- theoretical framework
- knowledge base
- expressive power
- neural network
- artificial intelligence
- proof theory
- multiscale
- knowledge representation
- propositional calculus
- real time
- nonmonotonic logics
- nonmonotonic reasoning
- inference rules
- video sequences
- image sequences
- case study
- decision making
- information systems
- data mining