منابع مشابه
On Negotiation as Concurrency Primitive
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an equivalent one-step negotiation. We provide a complete set of reduction rules for sound, acyclic, weakly deterministic negotiations and show that, fo...
متن کاملOn Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive. In a previous paper [7] we have provided a correct and complete set of reduction rules for sound, acyclic, and (weakly) deterministic negotiations. In this paper we extend this result to all deterministic negotiations, including cyclic ones. We also show that this set of rules allows one to decid...
متن کاملA Primitive Study of Logrolling in e-Negotiation
e-Negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. This paper only focuses on integrative negotiations. For example, one party reaches its goals and the other party also gains benefits. One of the strategies for achieving integrative solutions is called logrolling. Logrolling in ...
متن کاملTowards Planning as Concurrency
We present a purely logical framework to planning where we bring the sequential and parallel composition in the plans to the same level, as in process algebras. The problem of expressing causality, which is very challenging for common logics and traditional deductive systems, is solved by resorting to a recently developed extension of multiplicative exponential linear logic with a self-dual, no...
متن کاملNegotiation as Social Interaction
Why negotiators fail to find and implement mutually beneficial solutions is a central question in negotiation research. In answering this question, researchers have often focused on how situational and cognitive factors shape negotiators’ outcomes. The relationship between negotiators’ strategies and their subsequent outcomes is relatively less well investigated, although no less informative. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2018
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-018-0318-9