Pedro Meseguer (78 publications)
2004
"On the evaluation of DisCSP algorithms",
The Fifth International Workshop on Distributed Constraint Reasoning (DCR04) Toronto, Canada September 27, 2004 held in conjunction with Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004), no. 5, pp. 142-151, 2004.
Abstract
2003
"Algoritmos para satisfacción de Restricciones",
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. Otoño 2003, no. 20, pp. 31-42, 2003.
Abstract
"Current Approaches for Solving Over-Constrained Problems",
Constrains Journal, vol. 8, pp. 9-39, 2003.
Abstract
"Distributed Forward Checking",
Principles and Practice of Constraint Programming, vol. LNCS 2833, pp. 801-806, 2003.
Abstract
"Restricciones blandas : Modelos y Algoritmos",
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. Otoño/2003, no. 20, pp. 69-81, 2003.
Abstract
"Solving Max-SAT as Weighted CSP",
Principles and Practice of Constraint Programming - CP 2003, vol. LNCS 2833, pp. 363-376, 2003.
Abstract
2002
"La famille ABT",
8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC´02: Institut National de Recherche en Informatique et en Automatique, pp. 57-67, 2002.
Abstract
"On foward checking for non-binary constraint satisfaction",
Artificial Intelligence, vol. 141, pp. 205-224, 2002.
Abstract
"Opportunistic Specialization in Russian Doll Search",
Lecture Notes in Computer Science, vol. 2470: Springer-Verlag, pp. 264-279, 2002.
Abstract
"Partition-Based Lower Bound for Max-CSP",
Constraints Journal, vol. 7, pp. 407-419, 2002.
Abstract
"Pseudo-Tree Search with Soft Constraints",
Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02: IOS Press, pp. 131-135, 2002.
Abstract
2001
"Distributed Dynamic Backtracking",
Proceedings of the IJCAI´01. Workshop on Distributed Constraint Reasoning, pp. 9-16, 2001.
Abstract
"Dynamic Backtracking distribué",
Proceedings Journées nationales sur la résolution pratique de problèmes NP-Complets, JNPC´2001, pp. 61-72, 2001.
Abstract
"Exploiting symmetries within constraint satisfaction search",
Artificial Intelligence, vol. 129, no. 1-2, pp. 133-163, 2001.
Abstract
"Lower bounds for non-binary constraint optimization problems",
Lecture notes in computer science, vol. 2239: Springer, pp. 317-331, 2001.
Abstract
"Specializing Russian doll search",
Lecture notes in computer science, vol. 2239: Springer, pp. 464-478, 2001.
Abstract
1996
"Expert system validation through knowedge base refinement",
International Journal of Intelligent Systems, vol. 11, no. 7, pp. 429-462, 1996.
Abstract
1995
"Optimization-based heuristics for maximal constraint satisfaction",
Lecture notes in computer science, vol. 976: Springer, pp. 103-120, 1995.
Abstract
1994
"The VALID Project: Goals, Development, and Results",
International Journal of Intelligent Systems, vol. 9, no. 9, pp. 867-892, 1994.
1993
"On the terminology of VVT: A Proposal",
IEEE Expert, no. June 93, pp. 48-55, 1993.
1992
"An overview on the VALID project",
Personal Computers and Intelligent Systems, vol. III, pp. 238-244, 1992.
"Towards a conceptual framework for expert system validation",
AI Communications, vol. 5, no. 3, pp. 119-135, 1992.
Abstract
"Validation of KBS: The VALID Project",
Enhancing the Knowledge Engineering Process, pp. 55-78, 1992.
1990
"Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach",
ESPRIT-90 Conference, pp. 80-89, 1990.
"Knowledge -Based Systems Validation: A State of the Art",
AI Communications, vol. 3, no. 2, pp. 58-72, 1990.