Login / Signup
First-order interpretations of bounded expansion classes.
Jakub Gajarský
Stephan Kreutzer
Jaroslav Nesetril
Patrice Ossona de Mendez
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
Published in:
CoRR (2018)
Keyphrases
</>
first order logic
information systems
higher order
real time
database systems
horn clauses
finite model theory
genetic algorithm
computer vision
object recognition
knowledge representation