A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).
Avraham ShinnarJérôme SiméonMartin HirzelPublished in: Dagstuhl Artifacts Ser. (2015)
Keyphrases
- expressive power
- relational calculus
- computational properties
- database query languages
- association rules
- data complexity
- machine intelligence
- rule discovery
- pattern languages
- databases
- pattern detection
- classification rules
- cross lingual
- language independent
- first order logic
- pattern matching
- language identification
- type checking
- relational algebra
- neural network
- highly expressive
- sequent calculus
- computer algebra
- interchange format
- multi lingual
- rule learning
- active databases
- query language
- information retrieval