Sciweavers

242 search results - page 12 / 49
» Reasoning about Rationality and Beliefs
Sort
View
IGPL
2010
101views more  IGPL 2010»
13 years 6 months ago
Does collective rationality entail efficiency?
Collective rationality in its ordinary sense is rationality’s extension to groups. It does not entail efficiency by definition. Showing that it entails efficiency requires a nor...
Paul Weirich
TARK
2005
Springer
14 years 1 months ago
Understanding human strategies for change: an empirical study
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
Alankar Karol, Mary-Anne Williams
AAAI
2006
13 years 9 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir
AAMAS
2011
Springer
13 years 3 months ago
Reasoning about agent deliberation
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
ACSC
2006
IEEE
13 years 11 months ago
Logic and refinement for charts
We introduce a logic for reasoning about and constructing refinements for
Greg Reeve, Steve Reeves