Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.
Augusto ParmaRoberto SegalaPublished in: QEST (2004)
Keyphrases
- formal semantics
- stochastic processes
- complete axiomatization
- information systems
- stochastic nature
- process model
- dynamic aspects
- learning automata
- argumentation semantics
- query language
- semantic information
- monte carlo
- situation calculus
- finite state
- stochastic optimization
- stochastic model
- databases
- multi agent
- decision making
- neural network