Algebraic Reasoning for Probabilistic Concurrent Systems.
Alessandro GiacaloneChi-Chang JouScott A. SmolkaPublished in: Programming Concepts and Methods (1990)
Keyphrases
- concurrent systems
- temporal logic
- probabilistic logic
- distributed systems
- probabilistic reasoning
- process algebra
- model checking
- petri net
- bayesian networks
- probabilistic knowledge
- transition systems
- knowledge representation
- probabilistic model
- logical inference
- knowledge base
- reasoning systems
- reasoning process
- formal specification
- generative model
- qualitative spatial
- causal networks
- inference process
- model based diagnosis
- legal reasoning
- spatial reasoning
- artificial intelligence
- belief networks
- business processes
- description logics
- expert systems
- information systems