519 search results - page 3 / 104 » Qualitative choice logic |
CADE
2003
Springer
14 years 6 months ago
2003
Springer
CHI
2008
ACM
14 years 6 months ago
2008
ACM
We present a qualitative study of 35 United States households whose occupants have made significant accommodations to their homes and behaviors in order to be more environmentally...
TARK
2009
Springer
14 years 17 days ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
JSYML
2000
13 years 5 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
AI
2004
Springer
13 years 6 months ago
2004
Springer
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...