First-order definable string transformations.
Emmanuel FiliotShankara Narayanan KrishnaAshutosh TrivediPublished in: CoRR (2014)
Keyphrases
- first order logic
- higher order
- pattern matching
- data structure
- action theories
- quantifier elimination
- edit distance
- expressive power
- universally quantified
- regular expressions
- database
- transitive closure
- string matching
- horn clauses
- string edit distance
- answer sets
- stochastic dominance
- image transformations
- suffix tree
- situation calculus
- genetic algorithm
- machine learning