A logic-based algorithmic meta-theorem for mim-width.

Benjamin Bergougnoux Jan Dreier Lars Jaffke

Published in: CoRR (2022)

Keyphrases

knowledge representation
case study
von neumann
multiresolution
neural network
artificial intelligence
meta reasoning
digital topology
meta level
graph transformation
data sets
relational databases
data streams
cooperative
objective function
information systems
social networks