A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
Avraham ShinnarJérôme SiméonMartin HirzelPublished in: ECOOP (2015)
Keyphrases
- expressive power
- relational calculus
- pattern languages
- computational properties
- database query languages
- first order logic
- language independent
- pattern matching
- databases
- multi lingual
- machine intelligence
- association rules
- cross lingual
- knowledge representation
- formal language
- type checking
- pattern discovery
- target language
- rule learning
- query language
- knowledge compilation
- language identification
- decision trees
- pattern detection
- neural network
- database
- interchange format