Sciweavers

447 search results - page 18 / 90
» A Probabilistic Calculus of Actions
Sort
View
NLPRS
2001
Springer
13 years 12 months ago
GLR Parser with Conditional Action Model(CAM)
There are two different approaches in the LR parsing. The first one is the deterministic approach that performs the only one action using the control rules learned without any LR ...
Yong-Jae Kwak, Young-Sook Hwang, Hoo-Jung Chung, S...
POPL
2002
ACM
14 years 7 months ago
Stochastic lambda calculus and monads of probability distributions
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
Norman Ramsey, Avi Pfeffer
CORR
2002
Springer
112views Education» more  CORR 2002»
13 years 7 months ago
A Calculus for End-to-end Statistical Service Guarantees
The deterministic network calculus offers an elegant framework for determining delays and backlog in a network with deterministic service guarantees to individual traffic flows. T...
Almut Burchard, Jörg Liebeherr, Stephen D. Pa...
ATAL
2007
Springer
14 years 1 months ago
Knowledge and observations in the situation calculus
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
Ryan F. Kelly, Adrian R. Pearce
AMAI
2004
Springer
13 years 7 months ago
Representing von Neumann-Morgenstern Games in the Situation Calculus
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
Oliver Schulte, James P. Delgrande