A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits.

Anselm Haak Heribert Vollmer

Published in: CoRR (2016)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
operational semantics
decision procedures
default reasoning
logic programs
probabilistic reasoning
fixpoint
theorem proving
knowledge base
integrity constraints
modal logic
proof theory