Classification Transfer for Qualitative Reasoning Problems.

Manuel Bodirsky Peter Jonsson Barnaby Martin Antoine Mottet

Published in: IJCAI (2018)

Keyphrases

reasoning problems
classification accuracy
text classification
machine learning
reasoning tasks
decision procedures
artificial intelligence
search algorithm
description logics
logic programs
computational properties
tree decomposition