Locus Solum: From the rules of logic to the logic of rules.
Jean-Yves GirardPublished in: Math. Struct. Comput. Sci. (2001)
Keyphrases
- logical rules
- linear temporal logic
- rule sets
- proof theoretic
- cut elimination
- association rules
- rule engine
- classification rules
- horn clauses
- rule extraction
- predicate logic
- computational properties
- data sets
- automated reasoning
- decision rules
- logic programming
- rule learning
- logical framework
- classical logic
- human experts
- attribute values
- fuzzy sets
- learning algorithm
- data mining