PROMAS 2011

 PROMAS 2011 — Workshop programme
9th International Workshop on Programming Multi-Agent Systems
AAMAS 2011, Taipei (Taiwan) — Tuesday 3 May 2011
Source: the workshop website www.inf.ufrgs.br/promas2011/

Programme
09:00–10:30 First Session
09:00–09:30 Workshop Opening
09:30–10:30 Invited Talk
Towards a Framework for Programming Social Intelligence
Pablo Noriega -- IIIA-CSIC, Spain http://www.iiia.csic.es/~pablo/
10:30–11:00 Coffee Break
11:00–12:00 Foundations of Agent Programming Languages
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
Shakil M. Khan and Yves Lespérance
A Coupled Operational Semantics for Goals and Commitments
Pankaj R. Telang, Neil Yorke-Smith, and Munindar P. Singh
12:00–13:00 Applying (Multi-)Agent Oriented Programming
Developing a Knoweldge Management Multi-Agent System Using JaCoMo
Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti, and Maria R. Galli
Notes on Pragmatic Agent-Programming with Jason
Radek Pibil, Peter Novák, Cyril Brom, and Jakub Gemrot
13:00–14:00 Lunch
14:00–15:30 Programming Languages and Platforms
The Agent Programming Language Meta-APL
Thu Trang Doan, Natasha Alechina, and Brian Logan
BDI4JADE: a BDI Layer on Top of JADE
Ingrid Nunes, Carlos J. P. de Lucena, and Michael Luck
Integrating Expectation Handling into Jason
Surangika Ranathunga, Stephen Cranefield, and Martin Purvis
15:30–16:00 Coffee Break
16:00–17:30 Model Checking
Abstraction for Model Checking Modular Interpreted Systems over ATL
Michael Köster and Peter Lohmann
MAS: Qualitative and Quantitative Reasoning
Ammar Mohammed and Ulrich Furbach
State Space Reduction for Model Checking Agent Programs
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, and M. Birna van Riemsdijk
17:30–18:00 Final Session
17:30–17:50 Multi-Agent Programming Contest (Announcement)
Tristan Behrens, Jürgen Dix, Jomi Hübner, Michael Köster, and Federico Schlesinger
17:50–18:00 Workshop Close