Inteligencia Artificial - Sistemas de Optimización

Planificación, Scheduling, Satisfacción de Restricciones

Home

Presentación

Miembros

Publicaciones

Proyectos

Transferencia

Software

Localización

Reconocimientos

Selección Publicaciones (antes 2002)

YEAR 2001

SimPlanner: an execution-monitoring system for replanning in dynamic worlds.
E. Onaindía, O. Sapena, L. Sebastiá, E. Marzal.
EPIA-2001. Lecture Notes in Artifitial Intelligence. Ed. Springer Verlag. 2001
SteLLa: An Optimal Sequential and Parallel Planner.
L. Sebastia, E. Onaindía, E. Marzal. EPIA-2001. Lecture Notes in Artifitial Intelligence. Ed. Springer Verlag. 2001.
A Temporal Planning System for Time-Optimal Planning.
A. Garrido, E. Onaindía, F. Barber. EPIA-2001.
Lecture Notes in Artifitial Intelligence. Ed. Springer Verlag. 2001.
Time-optimal planning in temporal problems.
A. Garrido, E. Onaindía, F. Barber.
ECP-2001 (European Conference on Planning). L ecture Notes in Artifitial Intelligence. Ed. Springer Verlag. 2001.
Incremental local search for planning problems.
E. Onaindía, L. Sebastiá, E.Marzal.
Local Search for Planning & Scheduling. Lecture Notes in Artifitial Intelligence. Ed. Springer Verlag. 2001.
Búsqueda heurística para dominios de planificación temporal.
E. Marzal, E. Onaindía, L. Sebastiá, O. Sapena.
Actas de la Conferencia CAEPIA-TTIA 01. Ed. CAEPIA-TTIA 01. 2001
Planificación de mínimo coste con paralelismo.
L. Sebastiá, E. Onaindía, E. Marzal, O. Sapena.
Actas de la Conferencia CAEPIA-TTIA 01. Ed. CAEPIA-TTIA 01. 2001
SimPlanner: una herramienta para monitorización de planes y replanificación.
O. Sapena, E. Onaindía, E. Argente, S. Valero.
Actas de la Conferencia CAEPIA-TTIA 01. Ed. CAEPIA-TTIA 01. 2001.
Integración de planificación temporal y abstracción de recursos.
A. Garrido, E. Onaindía, F. Barber.
IX Conf. de la Asociación Española para la IA (CAEPIA'01).
Nuevas heurísticas y medidas de textura para resolver problemas de scheduling mediante clausura y CSP.
Mª I. Alfonso, F. Barber.
IX Conf. de la Asociación Española para la IA. Award-accesit for the Best Technical Paper. (CAEPIA'01).
Problemas de Satisfacción de Restricciones Temporales no Binarias Mediante Poliedros Dinámicos.
Miguel. A. Salido, Adriana Giret, Federico Barber.
En actas del V Taller de Razonamiento temporal, espacial y Planificación. TARRAT 01.(Gijón) 2001.
MAS: An On-line and Non-binary CSP solver.
Miguel. A. Salido, Adriana Giret, Federico Barber.
In Proceeding of CP2001 workshop on On-Line combinatorial problem solving and Constraint Programming (OLCP-01) (Chipre), 2001
POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with <= and <>.
Miguel. A. Salido, Federico Barber.
In Proceeding of EPIA workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving (CSOR-01) (Oporto), 2001
Preprocessing Algorithms for non-binary Disjunctive Constraints Satisfaction.
Miguel. A. Salido, Adriana. Giret, Federico Barber.
In Proceedings of the Twenty-First SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence. Published in book: RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII. (Ed. Springer Verlag). (Cambridge) 2001.
A Non-binary Constraint Satisfaction Solver: The One-face Hyperpolyhedron Heuristic.
Miguel. A. Salido, Adriana Giret, Federico Barber.
In Proceedings of the Twenty-First SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence. Published in book: RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII. (Ed. Springer Verlag). (Cambridge) 2001.
Non-binary Constraint Satisfaction Problems.
Miguel. A. Salido, Federico Barber.
In Seventh International Conference on Principles and Practice of Constraint Programming Poster Session (CP2001). (Chipre) 2001.
An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.
Miguel. A. Salido, Federico Barber.
In Seventh International Conference on Principles and Practice of Constraint Programming Doctoral Programme (CP2001). http://www.math.unipd.it/~frossi/doctoral.html, (Chipre) 2001.
An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm (Short Version).
Miguel. A. Salido, Federico Barber.
In Proceedings of Seventh International Conference on Principles and Practice of Constraint Programming CP 2001. (Springer Verlag, LNCS 2239) 779-780 (Chipre) 2001.
Realizing a Global Hyperpolyhedron Constraint via LP Techniques.
Miguel. A. Salido, Adriana Giret, Federico Barber.
In Proceedings of Joint German/Austrian Conference on Artificial Intelligence (KI-2001) Workshop on New Results in Planning, Scheduling and Design, 78-88, (Wien), 2001.
Constraint Satisfaction by means of Dynamic Polyhedra.
Miguel. A. Salido, Adriana Giret, Federico Barber.
In the abstract volume on OR 2001. (Duisburg). 146, 2001.
Consistency and Reduction Algorithms with Agents for non-binary Disjunctive Temporal Constraints.
Miguel. A. Salido, Adriana Giret, Oscar Sapena.
In Proceedings to SCI2001/ISAS2001: The 5th World Multi-Conference onSystemics, Cybernetics and Informatics. Ed. IIIS, ISBN 980-07-7547-1 and ISBN(CD) 980-07-7529-3, pp. 251-255 (Orlando) 2001.
Non-binary Temporal CSPs Management with Polyhedra in Artificial Intelligence Problems.
Miguel. A. Salido, Adriana Giret, Oscar Sapena.
In Proceedings to SCI2001/ISAS2001: The 5th World Multi-Conference onSystemics, Cybernetics and Informatics. Ed. IIIS, ISBN 980-07-7547-1 and ISBN(CD) 980-07-7529-3, pp. 256-259 (Orlando) 2001.
Consistency Management by means of Polyhedra in AI/OR Problems.
Miguel. A. Salido, Federico Barber.
EURO2001: The European Operational Research Conference. (Rotterdam) 2001.
Preprocessing Algorithms for non-binary Disjunctive Constraints in Scheduling Problems. Application to non-linear Constraints.
Miguel. A. Salido, Federico Barber.
In Proceedings to MAPSP’01 workshop: Fifth Workshop on Models and Algorithms for Planning and Scheduling Problems. (Aussois) 2001.
Consistency Study by Means of Polyhedra in Scheduling Problems.
Miguel. A. Salido, Federico Barber.
In Proceedings to the ECCOXIV’01.Conference of the European Chapter on Combinatorial Optimization ECCO XIV. (Bonn) (91-92) 2001.
A Mixed Closure-CSP Method to Solve Scheduling Problems.
I. Alfonso, F. Barber.
14th. Int. Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 2001), Budapest (Hungría). Award for the Best Technical Paper. Lecture Notes in Artificial Intelligence. Springer Verlag. 2001.
Integrating planning and scheduling.
Garrido, A., Barber F.
Applied Artificial Intelligence. An International Journal. (ISSN: 0883-95-14). Taylor & Francis Eds. (2001).

YEAR 2000

A Graph-based Approach for POCL Planning. L. Sebastiá, E. Onaindía, E.Marzal. Proc. of the 14th Europena Conference on Artificial Intelligence (ECAI 2000). Ed. IOS Press, Amsterdam. 2000.
4SP: A four-stage incremental planning approach. E. Onaindia, L. Sebastia, E. Marzal. Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design. 2000.
Incremental local search for planning problems. E. Onaindia, L. Sebastia, E. Marzal. Proceedings of ECAI-2000 Workshop on Local Search on Planning & Scheduling. 2000.
Scheduling in a Planning Environment. A. Garrido, M.A. Salido, F. Barber. Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design. Berlín. (ed. By Sauer, Köhler). Pp. 36-43. 2000.
Heuristic Methods for Solving Job-Shop Scheduling Problems. A. Garrido, M.A. Salido, F. Barber. Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design. Berlín. (ed. By Sauer, Köhler). Pp. 36-43. 2000.
Combinación de Procesos de Clausura y CSP para la Resolución de Problemas de Scheduling. (Premio-Accésit 'José Cuena' al mejor artículo científico en CAEPIA'99). M. Isabel Alfonso, F. Barber. Inteligencia Artificial, Rev. Iberoamericana de I.A. (ISSN: 1137-3601). No. 9, 20-26 (2000).
Evaluation of Algorithms to Satisfy Disjunctive Temporal Constraints in Planning and Scheduling Problems. M.A. Salido, A. Garrido, F. Barber. Proceedings of the AISB'00 Symposium on AI Planning and Intelligent Agents, 33-40. 2000. Available PostScript Paper
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts. F. Barber. Journal of Artificial Intelligence Research, Volume 12, pages 35-86. (ISSN 1076-9757). Ed.Morgan Kaufmann Pu. (2000).
Dynamic Scheduling in an Integrated Planning and Scheduling Environment. A. Garrido, M.A Salido, F. Barber. Contribution to the Dynamic Scheduling roadmap of PLANET Network of Excellence in AI Planning. 2000. Available PostScript Paper

YEAR 1999

Búsqueda limitada en el tiempo para razonamiento temporal. M. Rebollo, E. Onaindía. Actas de la Conferencia CAEPIA-TTIA 99. Ed. CAEPIA-TTIA. 1999.
Improving Expressivity and Efficiency in Partial-Order Causal Link Planners. L. Sebastiá, E. Onaindía, E. Marzal. Proceedings of the Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group, pg 124-136. Available PostScript Paper
Un Modelo de Integracion de Planificacion y Scheduling. A. Garrido, E. Marzal, L. Sebastia, F. Barber. Proceedings of the VIII Conferencia de la Asociación Española para la Inteligencia Artificial, 1(3), 1-9. 1999. Available PostScript Paper
Beneficios de una Gestión Eficiente de Variables en Planificación. L. Sebastiá, E. Onaindía, E. Marzal. Proceedings of the VIII Conferencia de la Asociación Española para la Inteligencia Artificial, 1(3), 107-115. 1999. Available PostScript Paper
Combinacion de Procesos de Clausura y CSP para la Resolucion de Problemas de Scheduling. M.I. Alfonso, F. Barber. Proceedings of the VIII Conferencia de la Asociación Española para la Inteligencia Artificial, 1(3), 35-42. 1999. Available PostScript Paper
Un Algoritmo para la Optimizacion de Rutas de Transporte. A. Garrido, E. Onaindia. 1999. Proceedings of the III Jornadas de Transferencia Tecnológica de Inteligencia Artificial, 2(4), 1-8. 1999. Available PostScript Paper

EAR 1998

Towards a Temporal Coherence Management in Real Time Knowledge Based Systems, V.Botti, F. Barber. A. Crespo. Ed. Elsevier Science.North-Holland, Pergamon. Data and Knowledge Engineering (ISSN 0169-023X). Vol. 25, nº 3, pp: 247-266. 1998.
A Progressive Heuristic Search Algorithm for the Cutting Stock Problem, E. Onaindía, F. Barber, V. Botti, C. Carrascosa, M.A. Hernández, M. Rebollo. Ed. Springer Verlag. Lecture Notes in Artificial Intelligence (ISBN 3-540-64574-8). Vol. 1416, pp: 25-35. 1998.
Temporal Representation and Reasoning for Dynamic Environments, E. Onaindía, M. Rebollo. Ed. Springer Verlag. Lecture Notes in Artificial Intelligence (ISBN 3-540-64992-1). Vol.1484, pp: 207-218. 1998.
SPLIN: Una herramienta para el diseño, ejecucion y evaluacion de problemas de planificacion, L. Sebastia Tarin, Eliseo J. Marzal Calatayud.

YEAR 1997

Implementación de un sistema de optimización para el corte de materia prima mediante un algoritmo 'anytime', C. Carrascosa C., M.A. Hernández., M. Rebollo., F. Barber, V. Botti, E. Onaindia. AEPIA Ed. Francisco Triguero Ruiz. Actas de las II Jornadas de Transferencia Tecnológica de Inteligencia Artificial. TTIA'97. (ISBN- 84-8498-764-7). pp: 45-52. 1997.

YEAR 1995

A Temporal Blackboard for a Multi-Agent Environment, V. Botti, F. Barber, A. Crespo, E. Onaindia, A. Garcia-Fornes, I. Ripoll, D. Gallardo, L. Hernández. Ed. North-Holland. Elsevier. Data and Knowledge Engineering (ISSN 0169-023X). Vol.15, pp: 189-211. 1995.
La Enseñanza Universitaria en Inteligencia Artificial, V. Botti, F. Barber. Ed. Asociación Española para la Inteligencia Artificial (AEPIA). Boletín de la AEPIA. Vol. 3, pp: 19-24. 1995.
CLIPS: Una Herramienta de Desarrollo de Sistemas Expertos, V. Botti, E. Onaindia. Ed. Asociación Española para la Inteligencia Artificial. Boletín de la AEPIA. Vol 3, pp: 4-11. 1995.
Temporal Data Representation and Reasoning in REAKT, F. Barber, V. Botti, E. Onaindia. Ed. A. Crespo, Pergamon. International Symposium on Artificial Intelligence in Real Time Control (ISBN 0-08-042236-5). pp: 347-352. 1995.
TCLIPS: Representación y Razonamiento Temporal en un Sistema Basado en el Conocimiento desarrollado en CLIPS, M. Sanahuja, M. Rebollo, E. Onaindía. AEPIA. Ed. Ramón Rizo Aldeguer, Juan Manuel García Chamizo. Actas de las Jornadas de Transferencia Tecnológica de Inteligencia Artificial a Industria, Medicina y Aplicaciones Sociales. (ISBN- 84-920982-1-X). pp:13-28. 1995.

YEAR 1994

A Temporal Blackboard for Real Time Process Control, A. Crespo, V. Botti, F. Barber, D. Gallardo, E. Onaindía. Ed. Pergamon Press Ltd. Engineering Applications of Artificial Intelligence (ISSN 0952-1976). Vol. 7, nº 3, pp: 255-266. 1994.
Temporal Reasoning in REAKT: An Environment for Real Time Knowledge Based Systems, F. Barber, V. Botti, E. Onaindía, A. Crespo. Ed. EECAI. AICOM (ISSN 0921-7126).Vol. 7, nº 3/4, pp: 175-202. 1994.
Un Sistema de Planificación Temporal, E. Onaindia, F. Barber, V. Botti. Ed. ATI. NOVATICA (ISSN 0211-2124; CODEN NOVAEC). Vol. 108, pp: 31-36. 1994.
Temporal Data Representation and Reasoning in REAKT, F. Barber, V. Botti, E. Onaindía. Ed. Servicio de Publicaciones U.P.V. (SPUPV94-2048). AIRTC'94. Symposium on Artificial Intelligence Real Time Control. 1994.
Multiple Access and Coherence management in a Real Time Temporal Blackboard,V. Botti, A. Crespo, F. Barber, I. Ripoll. Ed. John Wiley & Sons Ltd. ECAI'94.11th European Conference on Artificial Intelligence. 1994. AvailablePostScript Paper
A Real Time Knowledge Based System Tool, V. Botti, F. Barber, A. Crespo, A. García-Fornés. Technical Report DSIC-II/13/94. Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia (Spain).

YEAR 1993

Temporal Reasoning and Coherence Management in REAKT, F. Barber, V. Botti, A. Crespo, A. García, L. Hernández, E. Onaindía, I. Ripoll. Ed. IRTICS'93. Workshop on Integration Technology for Real Time Intelligent Control Systems. 1993.
Temporal Coherence and Multiple Access in REAKT, V. Botti, A. Crespo, F. Barber. Technical Report DSIC-II/12/93. Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia (Spain).
A Metric Time Point and Duration Based Temporal Model, F. Barber. SIGART-ACM. Vol. 4, No.3, pp: 30-49. 1993.(PostScript Paper)
Temporal Distributed Planning in a Dynamic World, E. Onaindía, F. Barber, V. Botti. IJCAI'93. Workshop on Knowledge Based Planning Scheduling and Control. pp: 272-283. 1993.
Representación y Razonamiento Temporal en Sistemas Basados en el Conocimiento, F. Barber, V. Descals. V Conferencia de la Asociación Española para la Inteligencia Artificial. Vol. 108, pp: 378-389. 1993. Available PostScript Paper
Un sistema de Planificación Temporal, E. Onaindía, F. Barber, V. Botti. V Conferencia de la Asociación Española para la Inteligencia Artificial. Vol. 108, pp: 367-377. 1993.
Sharing Temporal Knowledge by Multiple Agents, V. Botti, F. Barber, A. Crespo, D. Gallardo, I. Ripoll, E. Onaindía, L. Hernández. Ed. Springer Verlag. Database and Expert System Applications. Lecture Notes in Computer. pp: 470-474. 1993.

YEAR 1992

A Temporal Blackboard Model for Process Control, A. Crespo, F. Barber, V. Botti, D. Gallardo, E. Onaindía, A. García. Proc. 1992 IFAC/IFIP/IMACS International Symposium on Artificial Intelligence in Real Time Control. 1992.
Métodos Básicos para la Gestión de Información Temporal, M. Alonso, F. Barber, E. Onaindía. Novática vol.XVIII. Vol. 98, pp: 76-91.1992.

YEAR 1991

Development Tool for Electric Network Fault Diagnosis Expert Systems, F. Barber, V. Botti, P. Albertos, A. Crespo. Ed. Acta Press. High Technology in the Power Industry (ISBN 0-88986-168-4). pp. 161-166. 1991.
Sistemas Expertos de Tiempo Real, F. Barber, V. Botti. Novática. Vol. XVII, nº 94. pp.46-56. 1991.

YEAR 1990

Temporal Expert System: Application to a Planning Environment, F. Barber, V. Botti, A. Crespo. Ed. Acta Press. Expert System Theory and Applications (ISBN 0-88986-174-9). pp: 11-14. 1990.
Reason Maintenance in Real Time Expert Systems, V. Botti, F. Barber, A. Crespo. Ed. Acta Press. Expert System Theory and Applications (ISBN 0-88986-174-9). pp. 78-81. 1990.
On-line Scheduling and Planning of Robots and Presses, A. Crespo, F. Barber, P. Albertos. NATO Advanced Institute on Expert Systems and Robotics. Dir.: Pr. Timothy Jordanides. 1990.

YEAR 1989

Modelización de un Sistema Experto de Razonamiento Temporal, F. Barber. III Reunión Técnica de la AEPIA. 1989.
Temporal Facts Representation Model for a Temporal Reasoning System, F. Barber, A. Crespo. International Colloquium on Cognitive Science. ICCS-89. 1989.
Development Tool for Electric Network Fault Diagnosis Expert Systems,F. Barber, V. Botti, A. Crespo, P. Albertos. Ed. C. Alvarez, P. Albertos. Proc. 4th IASTED International Conference on Expert Systems Applications in the Power Industry. pp: 96-121. 1989.
Expert Systems. Concepts and Techniques, A. Crespo, P. Albertos, F. Barber, V. Botti. Ed. C. Alvarez, P. Albertos. Proc. 4th IASTED International Conference on Expert Systems Applications in the Power Industry. pp.3-17. 1989.