DALT 2008: Estoril, Portugal

Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397 Springer 2009, ISBN 978-3-540-93919-1 BibTeX

Invited Papers

Nicoletta Fornara, Marco Colombetti:
Specifying and Enforcing Norms in Artificial Institutions. 1-17
Electronic Edition (link) BibTeX
Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin K. Purvis, Stephen Cranefield:
Social Norm Emergence in Virtual Agent Societies. 18-28
Electronic Edition (link) BibTeX
Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
A Distributed Normative Infrastructure for Situated Multi-agent Organisations. 29-46
Electronic Edition (link) BibTeX

Contributed Papers

Jan Broersen:
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. 47-59
Electronic Edition (link) BibTeX
Mehdi Dastani, Koen V. Hindriks, Peter Novák, Nick A. M. Tinnemeier:
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. 60-74
Electronic Edition (link) BibTeX
Dimitar P. Guelev, Catalin Dima:
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. 75-90
Electronic Edition (link) BibTeX
Thomas Klapiscak, Rafael H. Bordini:
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. 91-110
Electronic Edition (link) BibTeX
Felipe Rech Meneguzzi, Michael Luck:
Leveraging New Plans in AgentSpeak(PL). 111-127
Electronic Edition (link) BibTeX
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. 128-142
Electronic Edition (link) BibTeX
Chiaki Sakama:
Inductive Negotiation in Answer Set Programming. 143-160
Electronic Edition (link) BibTeX
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents. 161-178
Electronic Edition (link) BibTeX
Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger:
Iterated Belief Revision in the Face of Uncertain Communication. 179-196
Electronic Edition (link) BibTeX
Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos:
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. 197-214
Electronic Edition (link) BibTeX
Koen V. Hindriks, M. Birna van Riemsdijk:
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. 215-232
Electronic Edition (link) BibTeX
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach. 233-250
Electronic Edition (link) BibTeX