Locality in Random SAT Instances.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017. :638–644.
A Manifesto for Conscientious Design of Hybrid Online Social Systems.
Coordination, Organizations, Institutions, and Norms in Agent Systems XII: COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers. :60–78.
A MaxSAT-Based Approach to the Team Composition Problem in a Classroom.
FIRST INTERNATIONAL WORKSHOP ON TEAMS IN MULTIAGENT SYSTEMS. :82-89.
Nominal Unification of Higher Order Expressions with Recursive Let.
Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. LNCS 10184:328-344.
The role of the archaeologist when producing a serious game.
23rd Annual Meeting of the European Association of Archaeologists.
Special issue on "Metaheuristics".
International Transactions in Operational Research. 24(3):681-682.
Synergistic Team Composition.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017). :1463-1465.
A target-oriented discussion framework to support collective decision making.
Multi-Agent Systems and Agreement Technologies. 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers. Lecture Notes in Artificial Intelligence
Term Models of Horn Clauses over Rational Pavelka Predicate Logic.
IEEE International Symposium on Multiple-Valued Logic. :112-117.
Vocabulary Alignment for Agents with Flexible Protocols.
Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
Vocabulary Alignment in Openly Specified Interactions.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. :1064–1072.
The Weighted Independent Domination Problem: ILP Model and Algorithmic Approaches.
EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization. 10197 (Lecture Notes in Computer Science):201--214.