Sciweavers

4224 search results - page 87 / 845
» Reasoning about Choice
Sort
View
141
Voted
MLQ
2008
133views more  MLQ 2008»
15 years 5 months ago
Unions and the axiom of choice
We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...
KR
2004
Springer
15 years 10 months ago
How to Interweave Knowledge about Object Structure and Concepts
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
Carola Eschenbach
LPNMR
1999
Springer
15 years 9 months ago
On the Role of Negation in Choice Logic Programs
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
Marina De Vos, Dirk Vermeir
142
Voted
ICCBR
1995
Springer
15 years 9 months ago
Reasoning with Reasons in Case-Based Comparisons
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
Kevin D. Ashley, Bruce M. McLaren
TARK
2007
Springer
15 years 11 months ago
The computational complexity of choice sets
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
Felix Brandt, Felix A. Fischer, Paul Harrenstein