Curry's Type-Rules are Complete with Respect to the F-Semantics too.
J. Roger HindleyPublished in: Theor. Comput. Sci. (1983)
Keyphrases
- deduction rules
- transformation rules
- logical rules
- formal semantics
- logic programming
- association rules
- rule language
- default rules
- classification rules
- owl ontologies
- rule sets
- highly expressive
- database query languages
- rule engine
- knowledge base
- active rules
- uncertain information
- knowledge sources
- semantic constraints
- belief revision