Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract).

Christoph Benzmüller

Published in: SBMF (2017)

Keyphrases

website
extended abstract
logical reasoning
formal semantics
database
computer vision
real time
databases
machine learning
search engine
information systems
relational databases
open source
logic programs
meta reasoning
high level abstraction