209 citations · 595 across the 30 of their papers we have counts for
3 papers · 1 filter
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
R. H. Bordini, A. F. Moreira, R. Vieira +1
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication…
Multi-Issue Negotiation with Deadlines
S. S. Fatima, N. R. Jennings, M. J. Wooldridge
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; t…
Reasoning about Social Choice Functions
Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture a…