Existential Definability of Unary Predicates in Büchi Arithmetic.
Mikhail R. StarchakPublished in: CiE (2024)
Keyphrases
- quantifier free
- first order logic
- propositional logic
- pairwise
- fixed point
- query answering
- user defined
- floating point
- information gain
- horn clauses
- rewrite systems
- similarity measure
- datalog programs
- quantifier elimination
- co occurrence
- text categorization
- case study
- database
- constraint programming
- databases
- data sets