Vés al contingut
Català
English
Español
Formulari de cerca
Cercar
Log-in
Quant a IIIA
Presentació
Història
Contribucions a l'inteligència artficial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicació
Treballa amb nosaltres
Departaments
Projectes
Projectes Actuals
Projectes finalitzats
Publicacions
Publications
Thesis
Persones
Pedro Meseguer
Personal actual
Personal anterior
Activitats
Seminaris
Conferències
Doctoral Consortium
Notícies
Transferència
25è aniversari
Esteu aquí
Home
>
Personal
>
Pedro Meseguer
Pedro Meseguer
Pedro Meseguer
Personal actual
Personal anterior
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.
Download PDF
2003
Javier Larrosa
,
Pedro Meseguer
;
Algoritmos para satisfacción de Restricciones
.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial;
2003.
Download PDF
Pedro Meseguer
,
Noureddine Bouhmala
,
Taoufik Bouzoubaa
,
Morten Irgens
,
Martí Sánchez
;
Current Approaches for Solving Over-Constrained Problems
.
Constrains Journal;
2003.
Download PDF
Ismel Brito
,
Pedro Meseguer
;
Distributed Forward Checking
.
Principles and Practice of Constraint Programming;
2003.
Download PDF
Javier Larrosa
,
Pedro Meseguer
;
Restricciones blandas : Modelos y Algoritmos
.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial;
2003.
Download PDF
Simon de Givry
,
Javier Larrosa
,
Pedro Meseguer
,
Thomas Schiex
;
Solving Max-SAT as Weighted CSP
.
Principles and Practice of Constraint Programming - CP 2003;
2003.
Download PDF
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.
Download PDF
Christian Bessière
,
Pedro Meseguer
,
Eugene C. Freuder
,
Javier Larrosa
;
On foward checking for non-binary constraint satisfaction
.
Artificial Intelligence;
2002.
Download PDF
Pedro Meseguer
,
Martí Sánchez
,
Gérard Verfaillie
;
Opportunistic Specialization in Russian Doll Search
.
Lecture Notes in Computer Science;
2002.
Download PDF
Javier Larrosa
,
Pedro Meseguer
;
Partition-Based Lower Bound for Max-CSP
.
Constraints Journal;
2002.
Download PDF
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.
Download PDF
2001
Christian Bessière
,
Arnold Maestre
,
Pedro Meseguer
;
Distributed Dynamic Backtracking
.
Proceedings of the IJCAI´01. Workshop on Distributed Constraint Reasoning;
2001.
Download PDF
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.
Download PDF
Pedro Meseguer
,
Carme Torras
;
Exploiting symmetries within constraint satisfaction search
.
Artificial Intelligence;
2001.
Download PDF
Martí Sánchez
,
Javier Larrosa
,
Pedro Meseguer
;
Lower bounds for non-binary constraint optimization problems
.
Lecture notes in computer science;
2001.
Download PDF
Martí Sánchez
,
Pedro Meseguer
;
Specializing Russian doll search
.
Lecture notes in computer science;
2001.
Download PDF
1996
Pedro Meseguer
,
Albert Verdaguer
;
Expert system validation through knowedge base refinement
.
International Journal of Intelligent Systems;
1996.
Download PDF
1995
Javier Larrosa
,
Pedro Meseguer
;
Optimization-based heuristics for maximal constraint satisfaction
.
Lecture notes in computer science;
1995.
Download PDF
1994
Pedro Meseguer
,
Enric Plaza
;
The VALID Project: Goals, Development, and Results
.
International Journal of Intelligent Systems;
1994.
Download PDF
1993
Thomas Hoppe
,
Pedro Meseguer
;
On the terminology of VVT: A Proposal
.
IEEE Expert;
1993.
Download PDF
1992
Pedro Meseguer
,
Enric Plaza
;
An overview on the VALID project
.
Personal Computers and Intelligent Systems;
1992.
Download PDF
Pedro Meseguer
;
Towards a conceptual framework for expert system validation
.
AI Communications;
1992.
Download PDF
Pedro Meseguer
,
Enric Plaza
;
Validation of KBS: The VALID Project
.
Enhancing the Knowledge Engineering Process;
1992.
Download PDF
1990
Pedro Meseguer
,
Enric Plaza
;
Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach
.
ESPRIT-90 Conference;
1990.
Download PDF
Beatriz López
,
Pedro Meseguer
,
Enric Plaza
;
Knowledge -Based Systems Validation: A State of the Art
.
AI Communications;
1990.
Download PDF
1989
Pedro Meseguer
;
Constraint Satisfaction problems: An Overview
.
AI Communications;
1989.
Download PDF
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.
Download PDF
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.
Download PDF
primera
anterior
1
2
3
-
01 gener 2000
-
30 juny 2002
Pedro Meseguer
ECSPLAIN
Exploiting non-standard CSP for Leveraging Application Intelligence
-
01 agost 1996
-
31 juliol 1999
Pedro Meseguer
REST
Analysis of spatial restrictions and their application to mechanical design and to the simulation of robot tasks