A Coherence Based Framework for Institutional Agents.
Proceedings of the Fifth European Workshop on Multi-Agent Systems (EUMAS'07), Hammamet, Tunisia, December 13-14, 2007.
A Complete Resolution Calculus for Signed Max-SAT.
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07. :22.
A formal foundation for ontology-alignment interaction models.
International Journal on Semantic Web and Information Systems. 3:50-68.
A formal model for Situated Semantic Alignment.
6th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS'07. :1270-1277.
A Language for the Execution of Graded BDI Agents.
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS) at the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Durham, UK, 6 and 7 September 2007. :65–82.
A Methodology for 3D Electronic Institutions.
The Sixth International Joint Conference in Autonomous Agents and Multi-Agent Systems (AAMAS 07). :346-348.
Acquiring a Robust Case Base for the Robot Soccer Domain.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). :1029-1034.