Sciweavers

20 search results - page 2 / 4
» Psychologically Verified Player Modelling
Sort
View
CEEMAS
2007
Springer
13 years 11 months ago
Verifying Dominant Strategy Equilibria in Auctions
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...
Emmanuel M. Tadjouddine, Frank Guerin
ATAL
2010
Springer
13 years 5 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
AAAI
2007
13 years 7 months ago
Modeling Reciprocal Behavior in Human Bilateral Negotiation
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
Ya'akov Gal, Avi Pfeffer
ROBOCUP
1999
Springer
250views Robotics» more  ROBOCUP 1999»
13 years 9 months ago
Virtual RoboCup: Real-Time 3D Visualization of 2D Soccer Games
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
Bernhard Jung, Markus Oesker, Heiko Hecht
AAAI
2012
11 years 7 months ago
Identifying Bullies with a Computer Game
Current computer involvement in adolescent social networks (youth between the ages of 11 and 17) provides new opportunities to study group dynamics, interactions amongst peers, an...
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir,...