4224 search results - page 538 / 845 » Reasoning about Choice |
157
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
189
click to vote
UM
2007
Springer
16 years 26 days ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
189
click to vote
SP
2006
IEEE
16 years 22 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
149
click to vote
ACMICEC
2006
ACM
16 years 22 days ago
2006
ACM
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...
145
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...