4192 search results - page 263 / 839 » Probabilistic Logic Programming |
184
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
163
click to vote
ICTAI
2008
IEEE
16 years 29 days ago
2008
IEEE
Constraint programming has been used in many applications where uncertainty arises to model safe reasoning. The goal of constraint propagation is to propagate intervals of uncerta...
150
click to vote
WSC
2004
15 years 8 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
194
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
168
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...