Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.
Roderic A. GirleMichael A. McRobbiePublished in: Australian Joint Conference on Artificial Intelligence (1988)
Keyphrases
- formal theory
- knowledge representation
- commonsense reasoning
- belief update
- knowledge acquisition
- knowledge base
- expert systems
- semantic web
- spatial reasoning
- knowledge engineering
- artificial intelligence
- automated reasoning
- knowledge structures
- knowledge based systems
- logic programming
- representing knowledge
- natural language
- natural language understanding
- mathematical models
- natural language processing
- probabilistic reasoning
- machine learning
- formal representation
- qualitative spatial reasoning
- answer set programming
- first order logic
- action recognition
- text classification
- cooperative