A model-theoretic characterization of constant-depth arithmetic circuits.

Anselm Haak Heribert Vollmer

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
operational semantics
decision procedures
logic programs
default reasoning
fixpoint
probabilistic reasoning
presburger arithmetic
integrity constraints
nonmonotonic reasoning
query evaluation
knowledge base
machine learning
database