Domain Reasoning in TopKAT.

Cheng Zhang Arthur Azevedo de Amorim Marco Gaboardi

Published in: CoRR (2024)

Keyphrases

domain specific
domain independent
knowledge base
domain experts
reasoning tasks
taxonomic reasoning
automated reasoning
general knowledge
data sets
machine learning
decision making
knowledge representation
model based diagnosis
reasoning process