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.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

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

Funding call:

Funding call URL:

Project #:

COR
COR

Funding amount:

0,00€
0,00€

Duration:

2000-01-01
2000-01-01
2002-12-31
2002-12-31

Extension date:

2015
Javier Morales,  Maite López-Sánchez,  Juan A. Rodríguez-Aguilar,  Wamberto W. Vasconcelos,  & Michael Wooldridge (2015). Automated Synthesis of Compact Normative Systems. ACM Transactions on Autonomous Agents and Adaptive Systems, 10. [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 (pp. 1931-1932). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/http://dl.acm.org/citation.cfm?id=2772879.2773510. [BibTeX]  [PDF]
2002
Christian Bessière,  Pedro Meseguer,  Eugene C. Freuder,  & Javier Larrosa (2002). On foward checking for non-binary constraint satisfaction. Artificial Intelligence, 141, 205-224. [BibTeX]
Pedro Meseguer,  Martí Sánchez,  & Gérard Verfaillie (2002). Opportunistic Specialization in Russian Doll Search. Pascal Van Hentenryck (Eds.), Lecture Notes in Computer Science (pp. 264-279). Springer-Verlag. [BibTeX]
Javier Larrosa,  & Pedro Meseguer (2002). Partition-Based Lower Bound for Max-CSP. Constraints Journal, 7, 407-419. [BibTeX]
Javier Larrosa,  Pedro Meseguer,  & Martí Sánchez (2002). Pseudo-Tree Search with Soft Constraints. F. Harmelen (Eds.), Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02 (pp. 131-135). IOS Press. [BibTeX]
2001
Christian Bessière,  Arnold Maestre,  & Pedro Meseguer (2001). Distributed Dynamic Backtracking. Marius-Calin Silaghi (Eds.), Proceedings of the IJCAI'01. Workshop on Distributed Constraint Reasoning (pp. 9-16). [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 (pp. 61-72). [BibTeX]
Pedro Meseguer,  & Carme Torras (2001). Exploiting symmetries within constraint satisfaction search. Artificial Intelligence, 129, 133-163. [BibTeX]
Pedro Meseguer
Scientific Researcher
Phone Ext. 237