On the Decidability of Continuous Time Specification Formalisms.
Alexander Moshe RabinovichPublished in: J. Log. Comput. (1998)
Keyphrases
- description logics
- markov chain
- computational properties
- dynamical systems
- knowledge representation formalisms
- high level
- state space
- markov processes
- reasoning tasks
- knowledge representation
- data sets
- reactive systems
- query answering
- neural network
- database
- state transition
- nonmonotonic reasoning
- stochastic processes
- specification language
- optimal control