4224 search results - page 89 / 845 » Reasoning about Choice |
145
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
142
click to vote
JURIX
2008
15 years 6 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
149
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
142
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
148
click to vote
IEEESCC
2009
IEEE
16 years 1 days ago
2009
IEEE
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...