Sciweavers

1204 search results - page 33 / 241

» Hybrid Probabilistic Programs

140

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 2 days ago

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

133

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 11 months ago

Probabilistic Description Logic Programs

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

149

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 11 months ago

Probabilistic Semantics and Program Analysis

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

138

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 10 months ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

123

B
1998
Springer

101views Software Engineering» more B 1998»

The Generalised Substitution Language Extended to Probabilistic Programs

15 years 10 months ago

The Generalised Substitution Language Extended to Probabilistic Programs

Download www.cse.unsw.edu.au

Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...

Carroll Morgan

claim paper

Read More »

« Prev « First page 33 / 241 Last » Next »