HIHEREI: Human Interaction within Hybrid Environments.
The Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). :1417–1418.
Improving Reinforcement Learning by using Case-Based Heuristics.
ICCBR'09: 8th International Conference on Case-Based Reasoning. 5650:75-89.
Logics preserving degrees of truth from varieties of residuated lattices.
Journal of Logic and Computation (doi:10.1093/logcom/exp030). 19:1031-1069.
Managing Water Demand as a Regulated Open MAS.
MALLOW Workshop on Coordination, Organization, Institutions and Norms in Agent Systems in On-Line Communities (COIN@MALLOW’09). 494:108-109.
MaxSAT, Hard and Soft Constraints.
Handbook of Satisfiability. 185:613-631.
Mediation = Information revelation + Analogical reasoning.
Knowledge Representation for Agents and Multi-Agent Systems. 5605:145-160.
On the Structure of Industrial SAT Instances.
Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.
Principle and Praxis in the Experience Web: A Case Study in Social Music.
ICCBR'09 Workshop on Reasoning from Experiences on the Web (WebCBR-09).
Reaching semantic agreements through interaction.
4th AIS SigPrag Int. Pragmatic Web Conference Track, ICPW'09, at the 5th Int. Conference on Semantic Systems, i-Semantics'09. :726-737.
Solving (Weighted) Partial MaxSAT Through Satisfiability Testing.
Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. 5584:427-440.
On Solving MaxSAT Through SAT.
Proc. of the 12th Int. Conf. of the ACIA, CCIA'09.
Towards Industrial-Like Random SAT Instances.
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.
Virtual agents and ·3D virtual worlds for preserving and simulating cultures.
IVA '09: 9th International Conference on Intelligent Virtual Agents. 5773:257-271.