On Verifying Reactive Rules Using Rewriting Logic.
Katerina KsystraNikolaos TriantafyllouPetros S. StefaneasPublished in: RuleML (2014)
Keyphrases
- termination analysis
- rewrite rules
- active rules
- logical rules
- rewriting rules
- derivation rules
- logic programming
- classification rules
- horn clauses
- classical logic
- proof theory
- modal logic
- association rule mining
- proof theoretic
- rule engine
- model checking
- asynchronous circuits
- predicate logic
- production rules
- association rules
- query rewriting
- closed world assumptions
- intuitionistic logic
- active databases
- verification method
- logical framework
- automated reasoning