A Generalization of the Folding Rule for the Clark-Kunen Semantics.
Javier ÁlvezPaqui LucioPublished in: FLOPS (2008)
Keyphrases
- deduction rules
- formal semantics
- rule engine
- logic programming
- active rules
- production rules
- event condition action
- semantic information
- learning algorithm
- active databases
- association rules
- rule learning
- operational semantics
- machine learning
- logic programs
- genetic algorithm
- update semantics
- rule language
- protein folding
- knowledge base
- rule induction
- database
- rule base
- rule sets
- classification rules