Towards a conditional logic of actions and causation.
Laura GiordanoCamilla SchwindPublished in: NMR (2002)
Keyphrases
- conditional logic
- default reasoning
- belief revision
- nonmonotonic reasoning
- modal logic
- higher order logic
- defeasible reasoning
- nonmonotonic inference
- indirect effects
- situation calculus
- sound and complete axiomatization
- knowledge representation and reasoning
- sequent calculi
- probabilistic model
- machine learning
- human behavior
- artificial intelligence