152
Voted
DALT
15 years 5 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...
116
Voted
DALT
15 years 4 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...
150
Voted
DALT
15 years 5 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 ...
128
Voted
DALT
15 years 5 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...
134
Voted
DALT
15 years 5 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