Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.
Philippe BalbianiJan M. BroersenJulien BrunelPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- deontic logic
- decision procedures
- modal logic
- nonmonotonic logics
- legal reasoning
- automated reasoning
- theorem proving
- update semantics
- inference rules
- temporal information
- object oriented
- machine learning
- satisfiability problem
- conjunctive queries
- temporal constraints
- formal semantics
- temporal reasoning
- knowledge representation
- fixed point
- databases