Login / Signup
Decomposition horizons: from graph sparsity to model-theoretic dividing lines.
Samuel Braunfeld
Jaroslav Nesetril
Patrice Ossona de Mendez
Sebastian Siebertz
Published in:
CoRR (2022)
Keyphrases
</>
model theoretic
deductive databases
description logics
proof theoretic
probabilistic reasoning
tree decomposition
fixpoint
logic programs
decision procedures
default reasoning
operational semantics
probabilistic logic
email
constraint satisfaction
modal logic
presburger arithmetic