An Automated Model of Government Formation.
The Political Economy of Democracy. :279-303.
An Evaporation Mechanism for Dynamic and Noisy Multimodal Optimization.
Proceedings of the 10th Genetic and Evolutionary Computation Conference (GECCO). :17-24.
An Infection-Based Mechanism in Large Convention Spaces.
Eighth Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems COIN’09. :83-97.
An Organisational Adaptation Simulator for P2P networks.
Engineering Societies in the Agents World X. 5881:16-19.
Assistance Layer in a P2P scenario.
Engineering Societies in the Agents World X. 5881:229-232.
Classification of Schistosomiasis Prevalence Using Fuzzy Case-Based Reasoning.
Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 (Salamanca, Spain), Proceedings, Part I. 5517:1053-1060.
Collaborative Assistent to Handle MathML Expressions.
Intelligent Computer Mathematics. 5625/2009:453-459.
Empirical hardness for mixed multi-unit combinatorial auctions.
Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA’2009). :93-102.
Experimental Information and Experimental Knowledge.
7th European Conference on Computing and Philosophy, E-CAP'09. :71-72.
Handling Uncertainty in the Emergence of Social Conventions.
Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems SASO’09. :282-283.
Keeping Diversity when Exploring Dynamic Environments.
ACM Symposium on Applied Computing (SAC-2009). :1192-1196.
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.
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.
Sequential Encodings from Max-CSP into Partial Max-SAT.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). LNCS 5584:161-166.
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.
Taking interaction ontologically prior to meaning.
7th European Conference on Computing and Philosophy, E-CAP'09. :160-161.
Towards Industrial-Like Random SAT Instances.
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.
Using explanations for determining carcinogenecity in chemical compounds.
International Journal on Engineering Applications of Artificial Intelligence. 22:8.
Visual Registration Method for a Low Cost Robot.
7th International Conference on Computer Vision Systems. Lecture Notes in Computer Science. 5815:204-214.