62 search results - page 1 / 13 » Counts-as: Classification or Constitution |
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
DEON
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
JAPLL
2008
13 years 6 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
ISMVL
2010
IEEE
13 years 11 months ago
2010
IEEE
We study intervals I(A) of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals (accordin...
CHI
2009
ACM
14 years 7 months ago
2009
ACM
The field of HCI has played an important role in broadening the spectrum of users of computational artifacts. However, users with extreme preferences are mostly ignored by the des...