Theoretical Computer Science
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Deciding provability of linear logic formulas
Proceedings of the workshop on Advances in linear logic
Agent negotiation as proof search in linear logic
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Decidability of Linear Affine Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Resource allocation with answer-set programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Negotiating socially optimal allocations of resources
Journal of Artificial Intelligence Research
Simple negotiation schemes for agents with simple preferences: sufficiency, necessity and maximality
Autonomous Agents and Multi-Agent Systems
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Modal logics of negotiation and preference
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Agent deliberation via forward and backward chaining in linear logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
| Hi-index | 0.00 |
We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation.