121
click to vote
DALT
15 years 2 months ago
2008 Springer 
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
DALT
15 years 1 months ago
2008 Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
124
Voted
DALT
15 years 2 months ago
2008 Springer 
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
101
click to vote
DALT
15 years 2 months ago
2008 Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
104
click to vote
DALT
15 years 2 months ago
2008 Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
|
Intelligent Agents