Login / Signup

First-Order Interpretations of Bounded Expansion Classes.

Jakub GajarskýStephan KreutzerJaroslav NesetrilPatrice Ossona de MendezMichal PilipczukSebastian SiebertzSzymon Torunczyk
Published in: ACM Trans. Comput. Log. (2020)
Keyphrases
  • data sets
  • higher order
  • finite model theory
  • real world
  • artificial intelligence
  • search algorithm
  • first order logic