Certifying Confluence Proofs via Relative Termination and Rule Labeling.
Julian NageleBertram FelgenhauerHarald ZanklPublished in: CoRR (2016)
Keyphrases
- rewrite systems
- term rewriting
- active rules
- theorem proving
- theorem prover
- active learning
- active databases
- termination analysis
- neural network
- image segmentation
- equational theories
- database
- image labeling
- rule sets
- information systems
- rule learning
- decision procedures
- natural deduction
- association rules
- bayesian networks
- update operators
- formal proofs
- data sets