833 search results - page 59 / 167 » mc 2007 |
DGO
2004
13 years 9 months ago
2004
APAL
2005
13 years 7 months ago
2005
We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski (...
AIL
1998
13 years 7 months ago
1998
There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred...
AIL
2002
13 years 7 months ago
2002
This article is an exercise in computational jurisprudence. It seems clear that the field of AI and Law should draw upon the insights of legal philosophers, whenever possible. But...
BCSHCI
2007
13 years 9 months ago
2007
Mobile technologies have the potential to enhance the lives of ageing users, especially those who experience a decline in cognitive abilities. However, diminutive devices often pe...