2649 search results - page 34 / 530 » Argumentation for Decision Support |
112
click to vote
STOC
1992
ACM
15 years 6 months ago
1992
ACM
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
120
Voted
ARGMAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
102
click to vote
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
123
click to vote
DSS
2007
15 years 1 months ago
2007
Internationalization creates a need to know how managers in different parts of the world make decisions, and how computerbased information systems (IS) can support decision making...
159
click to vote
EASSS
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...