Sciweavers

278 search results - page 16 / 56
» Reasoning About General Games Described in GDL-II
Sort
View
KR
2004
Springer
14 years 23 days ago
Qualitative Probabilistic Matching with Hierarchical Descriptions
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
Clinton Smyth, David Poole
AAAI
2012
11 years 9 months ago
Strategic Advice Provision in Repeated Human-Agent Interactions
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claud...
MM
2005
ACM
169views Multimedia» more  MM 2005»
14 years 29 days ago
An ambient intelligence platform for physical play
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
Ron Wakkary, Marek Hatala, Robb Lovell, Milena Dro...
ATAL
2010
Springer
13 years 8 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
DIGRA
2005
Springer
14 years 28 days ago
Addressing social dilemmas and fostering cooperation through computer games
The concept of social dilemmas can be used to understand social situations all around us. I am looking at identity formation to help understand why people make the decisions they ...
Mark Chen