Sciweavers

846 search results - page 25 / 170
» Rewrite-Based Decision Procedures
Sort
View
ALDT
2009
Springer
144views Algorithms» more  ALDT 2009»
14 years 4 months ago
A Complete Conclusion-Based Procedure for Judgment Aggregation
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
Gabriella Pigozzi, Marija Slavkovik, Leendert van ...
ECAI
2000
Springer
14 years 2 months ago
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
Ari K. Jónsson, Jeremy Frank
AAAI
1996
13 years 11 months ago
On the Foundations of Qualitative Decision Theory
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
Ronen I. Brafman, Moshe Tennenholtz
MDAI
2007
Springer
14 years 4 months ago
Weighting Individual Opinions in Group Decision Making
Abstract. In this paper we introduce a multi-stage decision making procedure where decision makers sort the alternatives by means of a fixed set of linguistic categories, each one...
José Luis García-Lapresta
COR
2008
131views more  COR 2008»
13 years 9 months ago
Comparing methods for multiattribute decision making with ordinal weights
This paper is concerned with procedures for ranking discrete alternatives when their values are evaluated precisely on multiple attributes and the attribute weights are known only...
Byeong Seok Ahn, Kyung Sam Park