Search Sciweavers | Sciweavers

321 search results - page 3 / 65

» Logic and Choice

click to vote

LPNMR
1999
Springer

94views Automated Reasoning» more LPNMR 1999»

On the Role of Negation in Choice Logic Programs

13 years 11 months ago

Download tinf2.vub.ac.be

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

claim paper

Read More »

click to vote

SYNTHESE
2008

177views more SYNTHESE 2008»

On the role of language in social choice theory

13 years 7 months ago

Download www.springerlink.com

Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...

Marc Pauly

claim paper

Read More »

click to vote

CACM
2007

88views more CACM 2007»

The choice uncertainty principle

13 years 7 months ago

Download cs.gmu.edu

: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...

Peter J. Denning

claim paper

Read More »

click to vote

ECSQARU
2007
Springer

110views Automated Reasoning» more ECSQARU 2007»

A Revised Qualitative Choice Logic for Handling Prioritized Preferences

14 years 1 months ago

Download placid.insa-rouen.fr

Salem Benferhat, Karima Sedki

claim paper

Read More »