"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
Hao RenRatnesh KumarMatthew A. ClarkPublished in: ICINCO (1) (2019)
Keyphrases
- quantifier elimination
- deductive reasoning
- logical inference
- quantifier free
- first order logic
- probabilistic reasoning
- constraint propagation
- automated reasoning
- presburger arithmetic
- theorem proving
- knowledge representation
- functional programming
- cardinality constraints
- constraint databases
- knowledge base
- expressive power
- bayesian networks
- artificial intelligence
- decision procedures
- set theory
- modal logic
- constraint satisfaction
- constraint satisfaction problems
- boolean algebra
- linear programming