Going Polymorphic - TH1 Reasoning for Leo-III.
Alexander SteenMax WisniewskiChristoph BenzmüllerPublished in: IWIL@LPAR (2017)
Keyphrases
- knowledge base
- knowledge representation
- automated reasoning
- meta level
- social networks
- reasoning systems
- uncertain information
- evolutionary algorithm
- spatial reasoning
- case study
- reasoning tasks
- logical framework
- decision trees
- artificial intelligence
- knowledge representation and reasoning
- reasoning mechanism
- reasoning mechanisms
- logical reasoning