4737 search results - page 87 / 948 » The LOGIC negotiation model |
DAGSTUHL
2006
13 years 10 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
GIL
2004
13 years 10 months ago
2004
: This article presents an integrated ecologic and economic model to study landscape and land use change, using the Spatial Analysis Modelling Tool (SAMT). The study involves integ...
PODS
1990
ACM
14 years 1 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
SPLC
2007
13 years 10 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...