Sciweavers

53 search results - page 1 / 11
» Formal support for merging and negotiation
Sort
View
KBSE
2005
IEEE
13 years 10 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
DCW
2000
Springer
13 years 9 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller
MAGS
2008
114views more  MAGS 2008»
13 years 4 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
ATAL
2004
Springer
13 years 10 months ago
Experiments in Human Multi-Issue Negotiation: Analysis and Support
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ICLP
2009
Springer
14 years 5 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama