A Logic for Concurrent Events and Action Failure.
David N. MorleyLiz SonenbergPublished in: PRICAI (1996)
Keyphrases
- action sequences
- reasoning about actions
- external events
- causal knowledge
- component failures
- event detection
- concurrent actions
- logic programming
- transition systems
- modal logic
- predicate logic
- human actions
- action theories
- asynchronous circuits
- mutual exclusion
- proof theory
- multi valued
- automated reasoning
- temporal information
- classical logic
- event sequences
- complex events
- action language
- temporal relations
- failure prediction
- concurrent execution