Domain Reasoning in TopKAT.
Cheng ZhangArthur Azevedo de AmorimMarco GaboardiPublished in: ICALP (2024)
Keyphrases
- domain specific
- reasoning systems
- qualitative reasoning
- domain independent
- taxonomic reasoning
- diagnostic problem solving
- general knowledge
- knowledge representation
- transfer learning
- meta level
- knowledge base
- knowledge acquisition
- domain experts
- case based reasoning
- case study
- knowledge representation and reasoning
- case adaptation
- deductive reasoning
- artificial intelligence
- database