| |
Research
Topics
-
Constraint Satisfaction and Optimization.
-
Validation of KBS.
Teaching
Graduate Courses
Raonament Automatic (Introduction,
Search,Complete
Inference, Incomplete Inference,
Hybrid
Search,
Constraint
Programming)
Cerca Heurística (introducción,
búsqueda
ciega,
A*,A*
con memoria acotada,
búsqueda
con discrepancias, búsqueda en
juegos, búsqueda
en tiempo real)
Tutorials and Invited Talks:
CAEPIA-03 tutorial: Razonamiento con Restricciones (parte1,
parte
2)
IBERAMIA-02 Invited Talk: Constraint
Satisfaction and Constraint Programming
IBERAMIA-02 tutorial: Razonamiento con Restricciones (parte1,
parte
2)
CP-01 tutorial. Soft Constraints: Models,
Algorithms,
Applications
Organization
On-going activities:
-
Programme committee member of CP
2004, the International Conference on Principles and Practice of Constraint
Programming, Toronto, Canada, September 2004.
-
Programme committee member of AAMAS
2004, the International Conference on Autonomous Agents and Multiagents
Systems, New York, USA, July 2004.
Some past activities:
-
Programme committee member of CP
2003, the International Conference on Principles and Practice of Constraint
Programming, Kinsale, Ireland, September 2003.
-
Programme committee member of AAMAS
2003, the International Conference on Autonomous Agents and Multiagents
Systems, Melbourne, Australia, July 2003.
-
Programme committee member of CP
2002, the International Conference on Principles and Practice of Constraint
Programming, Cornell University USA, September 2002.
-
Programme committee member of CP
2001, the International Conference on Principles and Practice of Constraint
Programming, Cyprus, November 2001.
-
Coorganizer (with Christian Bessiere) of the Modellinga
nd Solving Problems with Constraints Workshop, at ECAI-00.
Projects
Current Projects:
REPLI: Constraint-based reasoning and combinatorial optimization: Applications
to planning and uncertainty management.
Some past projects:
ECSPLAIN: Exploiting
Non-Standard CSP for Leveraging Application Intelligence.
COR: Constraint-based
Computation in Robotics and Resource Allocation.
REST: Analysis of Spatial Restrictions and Their Application to Mechanical
Design and to the Simulation of Robot Tasks.
SUBSIM: Subsymbolic Techmiques for Constraint Satisfaction, Vision and
Robotics.
VALID:
Validation Methods and Tools for Knowledge Based Systems
|
|
