Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.
Maciej GazdaWan J. FokkinkPublished in: Comput. J. (2013)
Keyphrases
- transformation rules
- logical rules
- deduction rules
- active rules
- epistemic logic
- rule language
- temporal logic
- default rules
- rule sets
- association rule mining
- classification rules
- semantic constraints
- semantic information
- model checking
- temporal reasoning
- association rules
- uncertain information
- active databases
- formal semantics
- proof theoretic
- default logic
- owl ontologies
- business rules
- production rules
- neural network
- decision rules
- mathematical model
- background knowledge
- logic programming
- worst case
- data mining