Coming to Terms with Quantified Reasoning.

Laura Kovács Simon Robillard Andrei Voronkov

Published in: CoRR (2016)

Keyphrases

qualitative reasoning
reasoning tasks
reasoning systems
database
information retrieval
genetic algorithm
knowledge base
description logics
automated reasoning
neural network
computer vision
case study
database systems
knowledge representation
co occurrence