5198 search results - page 758 / 1040 » A Logic of Agent Programs |
218
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
168
Voted
SGAI
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
175
click to vote
APLAS
2006
ACM
16 years 21 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
156
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
235
click to vote
IDA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...