13827 search results - page 390 / 2766 » The state of artificial intelligence |
160
click to vote
ICAI
2009
15 years 4 months ago
2009
- We address the issues of improving the feature generation methods for the value-function approximation and the state space approximation. We focus the improvement of feature gene...
190
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
173
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Computational models of motivation are tools that artificial agents can use to autonomously identify, prioritize, and select the goals they will pursue. Previous research has focu...
186
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
163
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
It is desirable to ensure that the thermal comfort conditions in offices are in line with the preferences of occupants. Controlling their offices correctly therefore requires the c...