Time-Bounded Reasoning in First Order Knowledge Base Systems.
Yihua ShiSetsuo ArikawaPublished in: LP (1989)
Keyphrases
- knowledge base
- reasoning systems
- knowledge based systems
- expert systems
- knowledge representation
- knowledge acquisition
- description logics
- higher order
- distributed systems
- machine learning
- complex systems
- learning systems
- automated reasoning
- reasoning process
- knowledge engineers
- query language
- knowledge representation systems