Coming to terms with quantified reasoning.

Laura Kovács Simon Robillard Andrei Voronkov

Published in: POPL (2017)

Keyphrases

knowledge base
real time
databases
decision making
website
co occurrence
metadata
clustering algorithm
knowledge representation
fuzzy logic
reasoning process
model based reasoning