83 search results - page 7 / 17 » An Algebraic Prolog for Reasoning about Possible Worlds |
112
click to vote
NMR
2004
Springer
15 years 3 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
103
click to vote
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
84
Voted
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...