Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.
Maximiliano CristiáGianfranco RossiPublished in: J. Autom. Reason. (2020)
Keyphrases
- quantifier free
- first order logic
- quantifier elimination
- binary relations
- finite sets
- rewrite systems
- inference rules
- transitive closure
- cardinality constraints
- real numbers
- constraint propagation
- expressive power
- term rewriting
- boolean formula
- horn clauses
- knowledge representation
- relational algebra
- constraint satisfaction
- formal concept analysis
- machine learning
- concept lattice