Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
Sven-Erik BornscheuerMichael ThielscherPublished in: J. Log. Program. (1997)
Keyphrases
- dynamic systems
- qualitative reasoning
- complex systems
- discrete event
- dynamical systems
- consistency based diagnosis
- explicit feedback
- decision making
- model based diagnosis
- state variables
- ordinary differential equations
- spatial reasoning
- state estimation
- linear time invariant
- explicit or implicit
- explicit knowledge
- formal specification
- multi agent systems
- delay insensitive
- particle filter
- continuous variables
- computer aided
- high level
- real time