Truth and Justification in Knowledge Representation.
Andrei RodinSerge KovalyovPublished in: FCA4AI@IJCAI (2019)
Keyphrases
- knowledge representation
- knowledge acquisition
- knowledge based systems
- knowledge base
- knowledge engineering
- artificial intelligence
- logic programming
- first order logic
- machine learning
- automated reasoning
- semantic web
- expert systems
- natural language
- description logics
- knowledge structures
- natural language understanding
- representing knowledge
- legal knowledge
- natural language processing
- information technology
- probabilistic reasoning
- real world
- ontology engineering