Ramification and causality in a modal action logic.
Laura GiordanoAlberto MartelliCamilla SchwindPublished in: J. Log. Comput. (2000)
Keyphrases
- reasoning about actions
- indirect effects
- modal logic
- situation calculus
- dynamic logic
- classical logic
- transition systems
- logic programming
- action theories
- nonmonotonic logics
- causal knowledge
- inference rules
- epistemic logic
- modal operators
- temporal logic
- event calculus
- kripke models
- propositional variables
- action sequences
- neural network
- causal reasoning
- logic programs
- computational properties
- deontic logic
- causal models
- model checking
- experimental data
- computer vision