COR
: Constraint-based computation in Robotic and Resource allocation
A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
Funding entity:
TAP 1999-1086-C03
Funding call:
Funding call URL:
Project #:
COR
Total funding amount:
0,00€
IIIA funding amount:
Duration:
01/Jan/2000
- 31/Dec/2002
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]
