2386 search results - page 6 / 478 » Representing and Reasoning with Preferences |
AAAI
2007
13 years 9 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
IJIS
2008
13 years 7 months ago
2008
Linear-time computational techniques have been developed for combining evidence which is available on a number of contending hypotheses. They offer a means of making the computati...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
ASP
2003
Springer
14 years 19 days ago
2003
Springer
We present CR-Prolog2, an extension of A-Prolog with cr-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, tha...
DLOG
1996
13 years 8 months ago
1996