Algebraic reasoning for probabilistic action systems and while-loops.
Larissa MeinickeIan J. HayesPublished in: Acta Informatica (2008)
Keyphrases
- reasoning systems
- reason maintenance
- probabilistic logic
- database systems
- data sets
- qualitative reasoning
- knowledge representation
- probabilistic model
- information retrieval
- database
- management system
- graphical models
- distributed systems
- computer systems
- knowledge based systems
- finite state machines
- spatial reasoning
- reasoning process
- information systems
- reasoning about actions
- reasoning processes