"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
Hao RenRatnesh KumarMatthew ClarkPublished in: CoRR (2021)
Keyphrases
- quantifier elimination
- deductive reasoning
- logical inference
- quantifier free
- first order logic
- automated reasoning
- probabilistic reasoning
- presburger arithmetic
- theorem proving
- functional programming
- knowledge representation
- constraint propagation
- constraint databases
- cardinality constraints
- knowledge base
- logic programming
- modal logic
- model checking
- algebraic structure
- expressive power
- boolean algebra
- graphical models
- bayesian networks
- databases