Obligation Change in Dependence Logic and Situation Calculus.
Robert DemolombeAndreas HerzigPublished in: DEON (2004)
Keyphrases
- situation calculus
- modal logic
- action theories
- reasoning about actions
- event calculus
- modal operators
- logical theories
- initial state
- agent programming
- deontic logic
- logic programming language
- reasoning tasks
- provably correct
- concurrent actions
- classical logic
- fluent calculus
- logical language
- temporal logic
- logic programming
- blocks world
- dynamic logic
- sensing actions
- indirect effects
- decision procedures
- automated reasoning
- default logic
- inference rules
- action language
- model checking
- universally quantified
- high level