Sciweavers

1953 search results - page 26 / 391

» Embedded Probabilistic Programming

22

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 1 months ago

Probabilistic Description Logic Programs

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

23

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

14 years 20 days ago

Probabilistic Semantics and Program Analysis

Download www.sti.uniurb.it

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

claim paper

Read More »

23

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

14 years 1 days ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

20

CPAIOR
2006
Springer

101views Operations Research» more CPAIOR 2006»

Event-Driven Probabilistic Constraint Programming

13 years 11 months ago

Event-Driven Probabilistic Constraint Programming

Download 4c.ucc.ie

Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...

Armagan Tarim, Brahim Hnich, Steven David Prestwic...

claim paper

Read More »

28

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

13 years 9 months ago

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »

« Prev « First page 26 / 391 Last » Next »