Constraint-based computation in Robotic and Resource allocationConstraint-based computation in Robotic and Resource allocation

A Project coordinated by IIIA.

Principal investigator:

Pedro MeseguerPedro Meseguer

Team members:

      Collaborating organisations:

      Funding entity:

      TAP 1999-1086-C03TAP 1999-1086-C03

      Funding call:

      Project #:


      Funding amount:





      multiagent systens, norm synthesis, normative systems, Norms (2015). Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous Agents and Adaptive Systems. [BibTeX]  [PDF]
      Javier Morales,  Iosu Mendizabal Borda,  David Sanchez-Pinsach,  Maite López-Sánchez,  Juan A. Rodríguez-Aguilar,  Michael Wooldridge,  & Wamberto W. Vasconcelos (2015). Extending NormLab to Spur Research on Norm Synthesis . [BibTeX]  [PDF]
      Christian Bessière,  Pedro Meseguer,  Eugene C. Freuder,  & Javier Larrosa (2002). On foward checking for non-binary constraint satisfaction. Artificial Intelligence. [BibTeX]
      Pedro Meseguer,  Martí Sánchez,  & Gérard Verfaillie (2002). Opportunistic Specialization in Russian Doll Search. Lecture Notes in Computer Science . [BibTeX]
      Javier Larrosa,  & Pedro Meseguer (2002). Partition-Based Lower Bound for Max-CSP. Constraints Journal. [BibTeX]
      Javier Larrosa,  Pedro Meseguer,  & Martí Sánchez (2002). Pseudo-Tree Search with Soft Constraints. Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02 . [BibTeX]
      Christian Bessière,  Arnold Maestre,  & Pedro Meseguer (2001). Distributed Dynamic Backtracking. Proceedings of the IJCAI'01. Workshop on Distributed Constraint Reasoning . [BibTeX]
      Christian Bessière,  Arnold Maestre,  & Pedro Meseguer (2001). Dynamic Backtracking distribué. Proceedings Journées nationales sur la résolution pratique de problèmes NP-Complets, JNPC'2001 . [BibTeX]
      Pedro Meseguer,  & Carme Torras (2001). Exploiting symmetries within constraint satisfaction search. Artificial Intelligence. [BibTeX]