718 search results - page 63 / 144 » On Defaults in Action Theories |
104
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
125
Voted
IJCAI
2007
15 years 2 months ago
2007
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...
99
Voted
AIL
2006
15 years 25 days ago
2006
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...
109
Voted
AMAI
2004
Springer
15 years 19 days ago
2004
Springer
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. ...
AIML
1998
15 years 2 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...