Sciweavers

4224 search results - page 4 / 845
» Reasoning about Choice
Sort
View
TARK
2009
Springer
14 years 4 months ago
A logic of propositional control for truthful implementations
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
AIPS
2009
13 years 11 months ago
Flexible Execution of Plans with Choice
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
Patrick R. Conrad, Julie A. Shah, Brian C. William...
KR
2010
Springer
14 years 2 months ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern
ATAL
2005
Springer
14 years 3 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
IHI
2010
127views Healthcare» more  IHI 2010»
13 years 4 months ago
Using clinical preferences in argumentation about evidence from clinical trials
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
Anthony Hunter, Matthew Williams