Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth.
Arnaud DurandAnselm HaakHeribert VollmerPublished in: LICS (2018)
Keyphrases
- model theoretic
- deductive databases
- proof theoretic
- description logics
- operational semantics
- logic programs
- default reasoning
- probabilistic reasoning
- decision procedures
- machine learning
- relational databases
- heuristic search
- fixpoint
- boolean functions
- database
- data integration
- hidden markov models
- search algorithm
- databases