Pedro Meseguer | Page 42 | IIIA CSIC

Departament de Raonament i Lògica

Email:

pedro@iiia.csic.es

Extension:

237

Web:

http://www.iiia.csic.es/~pedro

Position:

Scientific Staff

Publications
Projects

88 Publications

2004

Ismel Brito, Fernando Herrero, Pedro Meseguer; 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); 2004.

2003

Javier Larrosa, Pedro Meseguer; Algoritmos para satisfacción de Restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial; 2003.

Pedro Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Martí Sánchez; Current Approaches for Solving Over-Constrained Problems. Constrains Journal; 2003.

Ismel Brito, Pedro Meseguer; Distributed Forward Checking. Principles and Practice of Constraint Programming; 2003.

Javier Larrosa, Pedro Meseguer; Restricciones blandas : Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial; 2003.

Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex; Solving Max-SAT as Weighted CSP. Principles and Practice of Constraint Programming - CP 2003; 2003.

2002

Christian Bessière, Arnold Maestre, Pedro Meseguer; La famille ABT. 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC´02; 2002.

Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa; On foward checking for non-binary constraint satisfaction. Artificial Intelligence; 2002.

Pedro Meseguer, Martí Sánchez, Gérard Verfaillie; Opportunistic Specialization in Russian Doll Search. Lecture Notes in Computer Science; 2002.

Javier Larrosa, Pedro Meseguer; Partition-Based Lower Bound for Max-CSP. Constraints Journal; 2002.

Javier Larrosa, Pedro Meseguer, Martí Sánchez; Pseudo-Tree Search with Soft Constraints. Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02; 2002.

2001

Christian Bessière, Arnold Maestre, Pedro Meseguer; Distributed Dynamic Backtracking. Proceedings of the IJCAI´01. Workshop on Distributed Constraint Reasoning; 2001.

Christian Bessière, Arnold Maestre, Pedro Meseguer; Dynamic Backtracking distribué. Proceedings Journées nationales sur la résolution pratique de problèmes NP-Complets, JNPC´2001; 2001.

Pedro Meseguer, Carme Torras; Exploiting symmetries within constraint satisfaction search. Artificial Intelligence; 2001.

Martí Sánchez, Javier Larrosa, Pedro Meseguer; Lower bounds for non-binary constraint optimization problems. Lecture notes in computer science; 2001.

Martí Sánchez, Pedro Meseguer; Specializing Russian doll search. Lecture notes in computer science; 2001.

1996

Pedro Meseguer, Albert Verdaguer; Expert system validation through knowedge base refinement. International Journal of Intelligent Systems; 1996.

1995

Javier Larrosa, Pedro Meseguer; Optimization-based heuristics for maximal constraint satisfaction. Lecture notes in computer science; 1995.

1994

Pedro Meseguer, Enric Plaza; The VALID Project: Goals, Development, and Results. International Journal of Intelligent Systems; 1994.

1993

Thomas Hoppe, Pedro Meseguer; On the terminology of VVT: A Proposal. IEEE Expert; 1993.

1992

Pedro Meseguer, Enric Plaza; An overview on the VALID project. Personal Computers and Intelligent Systems; 1992.

Pedro Meseguer; Towards a conceptual framework for expert system validation. AI Communications; 1992.

Pedro Meseguer, Enric Plaza; Validation of KBS: The VALID Project. Enhancing the Knowledge Engineering Process; 1992.

1990

Pedro Meseguer, Enric Plaza; Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach. ESPRIT-90 Conference; 1990.

Beatriz López, Pedro Meseguer, Enric Plaza; Knowledge -Based Systems Validation: A State of the Art. AI Communications; 1990.

1989

Pedro Meseguer; Constraint Satisfaction problems: An Overview. AI Communications; 1989.

1988

Ramon López de Mántaras, Pedro Meseguer, Ferran Sanz, Carles Sierra, Albert Verdaguer; A Fuzzy logic aproach to the Management of Linguistically expressed uncertainty. 18th IEE International Symposium on Multiple-Valued Logic; 1988.

Ramon López de Mántaras, Pedro Meseguer, Ferran Sanz, Carles Sierra, Albert Verdaguer; MILORD a diagnosis oriented shell that manages linguistically expressed uncertainty. Symposium Series Artificial Intelligence in Medicine; 1988.

ECSPLAIN

Exploiting non-standard CSP for Leveraging Application Intelligence

REST

Analysis of spatial restrictions and their application to mechanical design and to the simulation of robot tasks