Algebraic Reasoning for Probabilistic Action Systems and While-Loops

Acta Informatica - Germany
doi 10.1007/s00236-008-0073-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Probabilistic Reasoning

1993English

A Knowledge Engineering Approach for Image Classification Based on Probabilistic Reasoning Systems

English

Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems

ACM SIGPLAN Notices
Computer Science
2015English

Probabilistic Reasoning in Data Analysis

Science Signaling
BiochemistryCell BiologyMolecular Biology
2011English

Expectation Invariants for Probabilistic Program Loops as Fixed Points

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Reasoning About Loops Using Vampire in KeY

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Integrating Logical Reasoning and Probabilistic Chain Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Probabilistic Reasoning and Multiple-Expert Methodology for Correlated Objective Data

Artificial Intelligence in Engineering
1998English

Significance Testing as Perverse Probabilistic Reasoning

BMC Medicine
Medicine
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy