4224 search results - page 91 / 845 » Reasoning about Choice |
148
click to vote
LPAR
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...
124
click to vote
SCHOLARPEDIA
2008
15 years 4 months ago
2008
A geometric approach is introduced to explain phenomena that can arise with Luce's choice axiom; e.g., differences occur when determining the likelihood of a ranking by start...
135
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
153
click to vote
FOIKS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
155
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
The aggregation of conflicting preferences is an important issue in human society and multiagent systems. Due to its universality, voting among a set of alternatives has a centra...