Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings.
Thiago Alves RochaAna Teresa C. MartinsPublished in: BRACIS (2019)
Keyphrases
- quantifier free
- quantifier elimination
- first order logic
- rewrite systems
- real numbers
- constraint propagation
- expressive power
- functional programming
- cardinality constraints
- term rewriting
- inference rules
- relational data model
- constraint databases
- knowledge representation
- natural language
- theorem prover
- database
- theorem proving