573 search results - page 12 / 115 » Planning as Satisfiability with Preferences |
IBPRIA
2009
Springer
14 years 7 days ago
2009
Springer
In this paper we argue that maximum expected utility is a suitable framework for modeling a broad range of decision problems arising in pattern recognition and related fields. Exa...
INFFUS
2006
13 years 7 months ago
2006
The bipolar view in preference modeling distinguishes between negative and positive preferences. Negative preferences correspond to what is rejected, considered unacceptable, whil...
WINE
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we characterize strategy-proof voting rules when the set of alternatives has a multi-issue structure, and the voters' preferences are represented by acyclic CP-...
INTERACT
1997
13 years 9 months ago
1997
In order for global software to be marketed successfully, the design of interfaces should accommodate users’ cultural differences. This study examines users’ culturally specifi...
C3S2E
2010
ACM
13 years 8 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...