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

Anselm Haak Heribert Vollmer

Published in: WoLLIC (2016)

Keyphrases

model theoretic
description logics
deductive databases
operational semantics
decision procedures
logic programs
proof theoretic
fixpoint
default reasoning
probabilistic reasoning
modal logic
formal semantics
automated reasoning
high level
theorem proving
logic programming
general purpose