COR COR

COR COR

 : 

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

A Project coordinated by IIIA.

Principal investigator:

Pedro Meseguer Pedro Meseguer

Team members:

      Collaborating organisations:

      Funding entity:

      TAP 1999-1086-C03 TAP 1999-1086-C03

      Funding call:

      Project #:

      COR COR

      Funding amount:

      0,00€ 0,00€

      Duration:

      2000-01-01 2000-01-01

       -

      2002-12-31 2002-12-31
      2015
      multiagent systens, norm synthesis, normative systems, Norms; Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous Agents and Adaptive Systems; 2015.  [PDF]  [BibTeX]
      Javier MoralesIosu Mendizabal BordaDavid Sanchez-PinsachMaite López-SánchezJuan A. Rodríguez-AguilarMichael WooldridgeWamberto W. Vasconcelos; Extending NormLab to Spur Research on Norm Synthesis. 2015.  [PDF]  [BibTeX]
      2002
      Christian BessièrePedro MeseguerEugene C. FreuderJavier Larrosa; On foward checking for non-binary constraint satisfaction. Artificial Intelligence; 2002.  [BibTeX]
      Pedro MeseguerMartí SánchezGérard Verfaillie; Opportunistic Specialization in Russian Doll Search. 2002.  [BibTeX]
      Javier LarrosaPedro Meseguer; Partition-Based Lower Bound for Max-CSP. Constraints Journal; 2002.  [BibTeX]
      Javier LarrosaPedro MeseguerMartí Sánchez; Pseudo-Tree Search with Soft Constraints. 2002.  [BibTeX]
      2001
      Christian BessièreArnold MaestrePedro Meseguer; Distributed Dynamic Backtracking. 2001.  [BibTeX]
      Christian BessièreArnold MaestrePedro Meseguer; Dynamic Backtracking distribué. 2001.  [BibTeX]
      Pedro MeseguerCarme Torras; Exploiting symmetries within constraint satisfaction search. Artificial Intelligence; 2001.  [BibTeX]