A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases.
Suryanarayana M. SripadaPublished in: IJCAI (1993)
Keyphrases
- knowledge base
- programming language
- description logics
- spatial reasoning
- knowledge based systems
- formal theory
- qualitative reasoning
- expert systems
- knowledge representation
- subject matter experts
- computer programs
- object oriented programming
- programming environment
- introductory programming
- programming environments
- meta knowledge
- formal representation
- computer programming
- development environment
- semantic network
- knowledge acquisition
- co occurrence