Deriving Proof Rules from Continuation Semantics.
Philippe AudebaudElena ZuccaPublished in: Formal Aspects Comput. (1999)
Keyphrases
- logical rules
- transformation rules
- proof theoretic
- deduction rules
- complete axiomatization
- active rules
- higher order logic
- proof theory
- default rules
- formal semantics
- derivation rules
- highly expressive
- rule language
- classification rules
- production rules
- association rules
- linear logic
- rule sets
- logic programming
- integrity constraints
- first order logic
- association rule mining
- expert systems
- default reasoning
- relational databases
- fixpoint semantics
- cut elimination
- rule engine
- background knowledge
- normal logic programs
- theorem prover
- theorem proving
- owl ontologies
- active databases