Keyphrases
- default rules
- deduction rules
- default logic
- transformation rules
- default theories
- argumentation semantics
- logical rules
- rule language
- formal semantics
- active rules
- logic programming
- association rules
- default reasoning
- state space
- conceptual model
- active databases
- argumentation frameworks
- owl ontologies
- operational semantics
- classification rules
- semantic information
- normal logic programs
- truth maintenance systems
- association rule mining
- knowledge representation
- rule engine
- event condition action
- neural network