A Non-monotone Logic for Reasoning about Action.
Marek A. BednarczykPublished in: Intelligent Information Systems (2002)
Keyphrases
- formal theory
- practical reasoning
- transition systems
- reasoning about actions
- concurrent actions
- modal operators
- spatial reasoning
- logic programming
- action selection
- automated reasoning
- multi valued
- classical logic
- logical framework
- proof theory
- action theories
- qualitative reasoning
- uniform distribution
- human actions
- modal logic
- causal reasoning
- action sequences
- neural network
- initial state
- asynchronous circuits
- upper bound