Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic.
Christoph WernhardPublished in: CoRR (2017)
Keyphrases
- computational logic
- quantifier elimination
- logic programming
- constraint propagation
- first order logic
- inductive logic programming
- presburger arithmetic
- functional programming
- constraint databases
- multi agent systems
- cardinality constraints
- early days
- logic programs
- management science
- machine learning
- deductive databases
- database
- databases
- computer science
- researchers and practitioners
- artificial intelligence
- future directions
- information systems
- knowledge base
- background knowledge
- data integration
- high level
- object oriented