Sciweavers

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