1167 search results - page 200 / 234 » Relational Markov Games |
STOC
2006
ACM
14 years 10 months ago
2006
ACM
The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if...
ASAP
2009
IEEE
14 years 7 months ago
2009
IEEE
—The Cell processor consists of a general-purpose core and eight cores with a complete SIMD instruction set. Although originally designed for multimedia and gaming, it is current...
ARGMAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
ROBOCUP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The RoboCup Middle-Size League robotic soccer competitions pose a real cooperation problem for teams of mobile autonomous robots. In the current state-of-practice coopera...