|
Inteligencia Artificial - Sistemas de Optimización Planificación, Scheduling, Satisfacción de Restricciones |
|
| Home | Presentación | Miembros | Proyectos | Transferencia | Software | Localización | Reconocimientos |
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).
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
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
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.
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.
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).
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.
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.
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.
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.
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.
|
|