Towards a Conditional Logic of Actions and Causation.
Laura GiordanoCamilla SchwindPublished in: JELIA (2002)
Keyphrases
- conditional logic
- default reasoning
- nonmonotonic reasoning
- belief revision
- modal logic
- defeasible reasoning
- higher order logic
- knowledge representation and reasoning
- decision theoretic
- logic programming
- situation calculus
- nonmonotonic inference
- sequent calculi
- reasoning about actions
- sound and complete axiomatization
- artificial intelligence
- causal reasoning
- theorem proving
- expert systems