Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth.

Arnaud Durand Anselm Haak Heribert Vollmer

Published in: CoRR (2017)

Keyphrases

model theoretic
deductive databases
proof theoretic
description logics
operational semantics
decision procedures
logic programs
default reasoning
boolean functions
high level
relational databases
probabilistic reasoning
presburger arithmetic