Regular Cost Functions, Part I: Logic and Algebra over Words
Thomas ColcombetPublished in: Log. Methods Comput. Sci. (2013)
Keyphrases
- cost function
- boolean algebra
- set theory
- relation algebra
- search space reduction
- data model
- algebraic structure
- query language
- modal logic
- table of contents
- n gram
- word sense disambiguation
- classical logic
- predicate logic
- related words
- multi valued
- logic programming
- databases
- english words
- automated reasoning
- logical framework
- inference rules
- relational algebra
- lecture notes
- computer science
- keywords