571 search results - page 6 / 115 » Context Proceduralization in Decision Making |
AAAI
1998
14 years 11 months ago
1998
This paper describes HERMES,a system that enhances group decision making by providing an argumentation frameworkto the agents involved. Thesystem organizes the existing knowledgei...
82
Voted
FROCOS
2009
Springer
15 years 1 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
71
Voted
CADE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
73
Voted
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
The paper discusses the role of context in a collaborative design process, with a web-based environment for distributed architecture - engineering - construction teamwork. During ...