Sciweavers

1953 search results - page 26 / 391

» Embedded Probabilistic Programming

120

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 10 months ago

Probabilistic Description Logic Programs

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

124

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 9 months ago

Probabilistic Semantics and Program Analysis

Download www.sti.uniurb.it

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

claim paper

Read More »

123

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 8 months ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

114

CPAIOR
2006
Springer

101views Operations Research» more CPAIOR 2006»

Event-Driven Probabilistic Constraint Programming

15 years 8 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 »

146

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

15 years 6 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 »