A Revised Semantics for Rule Inheritance and Module Superimposition in ATL.
Dennis WagelaarPublished in: MtATL@TOOLS (2011)
Keyphrases
- alternating time temporal logic
- multiple inheritance
- deduction rules
- multi channel
- multi agent systems
- knowledge representation
- object oriented
- formal semantics
- rule engine
- object identity
- logic programming
- model checking
- rule sets
- temporal logic
- database
- association rules
- rule language
- cooperative
- rule learning
- object oriented databases
- epistemic logic
- active databases
- production rules
- update semantics
- event condition action
- semantic information
- data model