Sciweavers

591 search results - page 16 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
104
Voted
ACTA
2008
90views more  ACTA 2008»
15 years 6 months ago
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke, Ian J. Hayes