3573 search results - page 399 / 715 » Reasoning about Codata |
153
click to vote
TARK
2007
Springer
16 years 22 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...
184
click to vote
UM
2007
Springer
16 years 22 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...
167
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
186
click to vote
SP
2006
IEEE
16 years 19 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...
147
click to vote
ACMICEC
2006
ACM
16 years 18 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...