Software for Quantifier Elimination in Propositional Logic.
Eugene GoldbergPanagiotis ManoliosPublished in: ICMS (2014)
Keyphrases
- propositional logic
- quantifier elimination
- first order logic
- belief revision
- expressive power
- quantified boolean formulae
- constraint propagation
- theorem proving
- functional programming
- knowledge representation
- inference rules
- constraint databases
- horn logic
- belief change
- relational algebra
- search space
- database systems
- machine learning
- databases