57 search results - page 7 / 12 » Luce's choice axiom |
MSCS
2006
13 years 7 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
IUI
1993
ACM
13 years 11 months ago
1993
ACM
The goal of this paper is to model an agent who dislikes large choice sets because of the “cost of thinking” involved in choosing from them. We take as a primitive a preferenc...
AAAI
1996
13 years 8 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...