Sciweavers

1993 search results - page 99 / 399
» On Action Theory Change
Sort
View
104
Voted
FOSSACS
2008
Springer
15 years 2 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
124
Voted
IJCAI
2007
15 years 2 months ago
Analogical Learning in a Turn-Based Strategy Game
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...
Thomas R. Hinrichs, Kenneth D. Forbus
98
Voted
AIL
2006
92views more  AIL 2006»
15 years 19 days ago
PARMENIDES: Facilitating Deliberation in Democracies
Governments and other groups interested in the views of citizens require the means to present justifications of proposed actions, and the means to solicit public opinion concerning...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
109
Voted
AMAI
2004
Springer
15 years 13 days 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
ICIP
1994
IEEE
16 years 2 months ago
Theory, Simulation and Compensation of Physiological Motion Artifacts in Functional MRI
Mapping the location of brain activity is a new and exciting application of magnetic resonance imaging (MRI). This application area has already seen the use of a variety of magnet...
Douglas C. Noll, Walter Schneider