Propositional-logic approach to one-shot multi issue bilateral negotiation

Semantic-based e-marketplaces have emerged in recent years, to ease the initial phase of transaction in e-marketplaces, where demand/supply descriptions can be complex and expressive.With the - long term - aim of building an e-marketplace fully exploiting rich semantic descriptions in all stages of a transaction, in this paper we propose a semantic-oriented approach to multi issue bilateral negotiation, which exploits a simple propositional logic. We present the theoretical setting, the negotiation protocol, whose outcome is Pareto-efficient, and illustrate the behavior with a simple example.