4370 search results - page 92 / 874 » Algebra of Logic Programming |
ELP
1989
14 years 1 months ago
1989
CORR
2002
Springer
13 years 10 months ago
2002
Springer
PODC
2003
ACM
14 years 3 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
AIPS
2008
14 years 13 days ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
IFIP
2009
Springer
13 years 7 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...