Download Grupo de Tecnología Informática Departamento de - GTI-IA
Document related concepts
Transcript
Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Page 1/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Presentación The application of new Computing Engineering technologies requires continuous improvement in industry. Current industrial environment demands for: (i) important expenses in technological innovation in these areas, (ii) a potential of improvement of industrial competitiveness due to the development of these technologies, (iii) great capabilities of collaboration among research centres and companies and (iv) the consideration as a priority technological area in the majority of developed countries. The main goal of this co-operation must be to obtain the highest efficiency in the transference of results to industrial tissue. There are external determining factors which favours R&D activity in this area in the institutional and managerial context. The Computing Technology Research Group of Computing Systems and Computation Dept. of Univ. Politécnica de Valencia (Spain) is a multi-disciplinar group. It is composed of 15 teachers organised into two specialised groups: Artificial Intelligence and Real-Time systems. We have experience in the transference of results to local, national and international industry. The earliest research works of the group date from the begining of 1985, in the Industrial Computer Science Group. In 1986 this group was changed into an inter-departamental group. This group was called Computing Technology-Artificial Intelligence Research Group (GTI-IA) in the Computing Systems and Computation Dept. The GTI-IA research group contributes with: * Scientific production. * Interaction with local, national and international industry. * Continuous participation in competitive research projects. * Continuous participation in european consortiums (companies and research centres). * Important formative labour, with a significative research staff and grants. * International presence through international organisms and program committees in journals and conferences. * Capability to organise national and international events. * Consolidated collaboration with several national and foreign universities. * Participation in thematic european networks. Page 2/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Areas de Investigación Our group is working now on the following main areas: 1) Multi-agent systems Multi-agent systems paradigm is a growing interest area in AI. It is due to its application to complex problem resolution, where classical techniques falls in the obtention of a satisfactory solution. Multi-agent systems (MAS) face up to the necessity of communication and collaboration among autonomous agents (entities which behaviour is guided by themselves). Applications: * Control processes * Management of complex industrial environments * Mobile robotics * Information search and retrieval * E-commerce Within the MAS research line, the GTI-IA is working in the following areas: 1.1) MAS architectures: It specifies how the MAS can be decomponed into a set of independent modules (agents) and how these agents can interact. The total set of agents and interactions must provide a reponse to the problem of determining actions and future internal states from the current world situation and the internal state of each agent. 1.2) Methodology and Software Engineering for MAS Principles and basic lessons from Software Engineering and Knowledge Engineering must be applied to development and implementation of MAS. Currently, almost all agent-based software is developed by following non-rigurous, design methodologies and using limited specifications dependieng on the design requirements. Some considered topics in this area are: * Analysis and design techniques for MAS * Specific ontologies for different requirements and models of agents * Tools supporting the development process of MAS 1.3) Communitacion, coordination and negotiation among agents Modular and open design of intelligent distributed systems make the resulting system to be composed of multiples autonomous intelligent agents. Each agent has different capabilities. Efficient use of such agents in distrubuted problem-solving requires mechanisms for controlling and coordinating the behaviour of individual agents. The final goal is the fullfilment of the whole system goal. The interest is focused on the social behaviour of intelligent entities. It deals with the investigation of behaviour models, co-operation strategies, negotiation models, etc. Page 3/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia 1.4) Holonic systems: Holonic systems are intelligent production systems, formed by autonomous and auto-configurable units, called holons, which collaborate to reach the global goal of the production system. The main purpose of holonic systems is to obtain stability in the presence of disturbs, adaptability and flexibility before changes and efficient use of available resources. 2) Real-Time Artificial Intelligence Real-Time Artificial Intelligence is a discipline that incorporates problem-solving techniques used in AI environments with real-time constraints. These environments need a valid response in bounded time intervals for guaranteing the correct working of the system. Clasical AI techniques must be adapted to be applied in such environments. Applications: * Industrial processes control * Aeronautic systems control * Monitoring and responsiveness in health-care systems * Real-time traffic control * Resource management for telecommunications * Distributed sensor control * Mobile robotics 3) Autonomous Vehicles: Autonomous systems in robotics are designed to realise tasks without the supervision of human controllers. There are several advantages: to minimise the controller fatigue, to minimise the dangerous woks risks, to minimise the operational costs and to improve the products and operations quality control. Applications: * Industry * Agriculture * Medicine * Underwater works * Space exploration 4) Real-Time Systems: A Real-Time system is a computing system in which the accuracy of the response depends on not only the logical accuracy, but also the time instant in which it is obtained. Applications: * Industrial processes control. * Signal treatment. * Robotics Page 4/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia * Multimedia applications Page 5/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Proyectos de Investigación Desarrollo de organizaciones basadas en agentes para la gestión inteligente de actividades de ocio Fecha Inicio: 2006-01-01 Fecha Fin: 2007-12-31 Importe: 9235 Entidad Financiadora: Generalitat Valenciana Una plataforma de sistemas multiagente integrada en Linux Fecha Inicio: 2005-12-01 Fecha Fin: 2008-12-31 Importe: 176120 Entidad Financiadora: Ministerio de Educación y Ciencia Gestión integral e inteligente de centros de explotación de servicios tecnológicos de atención a usuarios Fecha Inicio: 2004-12-01 Fecha Fin: 2005-12-01 Importe: 144842 Entidad Financiadora: Ministerio de Industria Comercio y Turismo Implementación y Aplicación de Sistemas Multiagente en Entornos Industriales con Restricciones Temporales Fecha Inicio: 2004-11-29 Fecha Fin: 2006-11-29 Importe: 8000 Entidad Financiadora: Universidad Politécnica de Valencia ESPLAS: Estandares para la Planificacion en Sistemas de Tiempo Real: Extensiones a los servicios POSIX y al lenguaje ADA Fecha Inicio: 2004-01-01 Fecha Fin: 2006-01-01 Importe: 19700 Entidad Financiadora: Consellería de Empresa, Universitat i Ciència Análisis automático de sistemas de tiempo real estándar Fecha Inicio: 2004-01-01 Fecha Fin: 2006-01-01 Importe: 13560 Entidad Financiadora: Conselleria de Empresa, Universitat i Ciència MANTRA: Desarrollo de Sistemas Multiagente de Tiempo Real Fecha Inicio: 2003-12-01 Fecha Fin: 2006-11-30 Importe: 11 Entidad Financiadora: Ministerio de Ciencia y Tecnología Sistemas de tiempo real empotrados, fiables y distribuidos basados en componentes Page 6/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Fecha Inicio: 2002-12-01 Fecha Fin: 2005-12-01 Importe: 264210 Entidad Financiadora: MINISTERIO DE CIENCIA Y TECNOLOGIA. D.G. DE INVESTIGACION Entorno de desarrollo de Sistemas de Tiempo Real critico. Aplicacion al control y monitorizacion de un reactor quimico Fecha Inicio: 2002-11-01 Fecha Fin: 2004-01-01 Importe: 26617 Entidad Financiadora: OFICINA DE CIENCIA Y TECNOLOGIA Arquitectura de sistemas multiagente basada en ARTIS Fecha Inicio: 2002-01-01 Fecha Fin: 2005-12-01 Importe: 87500 Entidad Financiadora: MINISTERIO DE CIENCIA Y TECNOLOGIA. D.G. DE INVESTIGACION SIMBA: Arquitectura de Sistema Multiagente basada en ARTIS Fecha Inicio: 2002-01-01 Fecha Fin: 2004-12-31 Importe: 87500 Entidad Financiadora: Ministerio de Ciencia y Tecnología DROMAIN Fecha Inicio: 2001-09-27 Fecha Fin: 2003-09-27 Importe: 18030 Entidad Financiadora: UPV. Vicerrectorado de Investigación, desarrollo e innovación Ayuda Grupo de Tecnologia Informatica Fecha Inicio: 2001-01-01 Fecha Fin: 2002-01-01 Importe: 3306 Entidad Financiadora: Oficina de Ciencia y Tecnología COMBICAT-DSIC Fecha Inicio: 2000-01-25 Fecha Fin: 2002-01-25 Importe: 102142 Entidad Financiadora: Instituto de Tecnología Química Catalyst design and optimisation by fast combinatorial analysis Fecha Inicio: 2000-01-01 Fecha Fin: 2002-12-30 Importe: 43759219 Entidad Financiadora: Proyecto ESPRIT-III Soporte de ejecucion de sistemas empotrados distribuidos Page 7/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Fecha Inicio: 1999-12-31 Fecha Fin: 2002-12-31 Importe: 87844 Entidad Financiadora: MEC. DIRECCIÓN GENERAL DE ENSEÑANZA SUPERIOR E INVESTIGACIÓN CIENTÍFICA Sistemas de tiempo real empotrados, fiables y distribuidos basados en componentes Fecha Inicio: 1999-01-01 Fecha Fin: 2001-01-01 Importe: 9045 Entidad Financiadora: CONSELLERIA DE CULTURA, EDUCACIÓN Y CIENCIA. D.G. DE ENSEÑANZAS UNIVERSITARIAS E INVESTIGACIÓN ARTIS: Herramienta para el desarrollo de sistemas inteligentes en tiempo real estricto Fecha Inicio: 1998-10-01 Fecha Fin: 2001-09-15 Importe: 72626 Entidad Financiadora: MEC. DIRECCIÓN GENERAL DE ENSEÑANZA SUPERIOR E INVESTIGACIÓN CIENTÍFICA RMEI-II: Herramientas de Desarrollo de Subsistemas de Fabricación Avanzados de Robótica Móvil en Entornos de Trabajo Industriales Fecha Inicio: 1998-10-01 Fecha Fin: 2001-10-30 Importe: 39684000 Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología RMEI: Técnicas de Desarrollo de Subsistemas de Fabricación Avanzados de Robótica Móvil en Entornos de Trabajo Industriales Fecha Inicio: 1997-10-01 Fecha Fin: 1998-10-31 Importe: 5140000 Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología ARTIS: SIST. INTELIGENTES TIEMPO REAL ROBOTS MOVIL Fecha Inicio: 1997-10-01 Fecha Fin: 1998-10-01 Importe: 12441 Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología Desarrollo de Tecnología Informática para la optimización de la planificación y control del proceso del proceso de corte de materia prima Fecha Inicio: 1996-10-01 Fecha Fin: 1997-10-01 Importe: 88949 Entidad Financiadora: IMPIVA Sistemas de Tiempo Real Basados en el Conocimiento para el Control de Procesos Industriales. Entornos de Desarrollo y Ejecución Fecha Inicio: 1994-04-01 Fecha Fin: 1997-04-30 Importe: 10560000 Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología Page 8/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia REAKT-II (Environment and Methodology for Real-Time Knowledge-Based Systems) Fecha Inicio: 1993-05-01 Fecha Fin: 1994-10-30 Importe: 19000000 Entidad Financiadora: ESPRIT III Sistema de Planificación Inteligente no Lineal Multiagente Fecha Inicio: 1993-01-01 Fecha Fin: 1996-12-27 Importe: 3080000 Entidad Financiadora: Generalitat Valenciana. Conselleria de Cultura, Educació i Ciéncia PROMEAT :Quality Improvement in Meet Transformation Proccess by Vision Sensors and Knowledge-Based Techniques Fecha Inicio: 1992-06-01 Fecha Fin: 1995-06-01 Importe: 20000000 Entidad Financiadora: BRITE/EURAM Métodología y Entorno para Sistemas Basados en el Conocimiento en Tiempo Real Fecha Inicio: 1992-06-01 Fecha Fin: 1992-06-30 Importe: 13273000 Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología REAKT-I (Environment and Methodology for Real-Time Knowledge-Based Systems) Fecha Inicio: 1990-10-01 Fecha Fin: 1993-04-30 Importe: 35000000 Entidad Financiadora: ESPRIT II Aide Informatisee a la Decision. (AID) Fecha Inicio: 1989-10-01 Fecha Fin: 1990-09-30 Importe: 7000000 Entidad Financiadora: COMETT Técnicas avanzadas en sistemas informáticos para el control de procesos industriales. Aplicación a un sistema experto de control de una planta de fabricación de cemento Fecha Inicio: 1986-01-01 Fecha Fin: 1989-12-31 Importe: 35600000 Entidad Financiadora: CAICYT Page 9/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Participación en Contratos de Investigación con Empresas y/o Administraciones Sistema multiagente en Empresas Pool Fecha Inicio: 2004-07-01 Fecha Fin: 2007-06-30 Importe: 119834 Entidad Financiadora: Logifruit S.L. Demostradores de monitorizacion y control inteligente en terminales de contenedores Fecha Inicio: 2001-11-01 Fecha Fin: 2003-01-01 Importe: 4508 Entidad Financiadora: UPV. Vicerrectorado de Investigación, Desarrollo e Innovación Sistemas informaticos para la planificacion integral de una terminal de contenedores Fecha Inicio: 2000-01-01 Fecha Fin: 2001-12-31 Importe: 15980000 Entidad Financiadora: CICYT-FEDER Sistema de gestion y optimizacion de stock para empresas pool Fecha Inicio: 1999-06-01 Fecha Fin: 2001-06-01 Importe: 152717 Entidad Financiadora: CICYT-FEDER Page 10/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Revistas Internacionales C. Carrascosa, J. Bajo, V. Julian, J.M. Corchado and V. Botti. Hybrid multi-agent architecture as a real-time problem-solving model. Expert Systems With Applications. Volumen 34. Numero 1. 2007 A. Giret and V. Botti. From System Requirements to Holonic Manufacturing System Analysis. International Journal of Production Research. pp. In press. 2006 L. Hernández, V. Botti and A. García-Fornes. A deliberative scheduling technique for a real-time agent architecture. Engineering Applications of Artificial Intelligence. pp. 1-10. 2006 A. Corma, J.M. Serra, P. Serna, S. Valero, E. Argente and V. Botti. Optimization of Olefin Epoxidation Catalysist applying High-Throughput and Genetic Algorithms assisted by Artificial Neural Networks (Softcomputing Techniques). Journal of Catalysis. Volumen 225. pp. 513-524. 2005 M. Moliner, J.M. Serra, A. Corma, E. Argente, S. Valero and V. Botti. Application of Artificial Neural Networks to High-Throughput Synthesis of Zeolites. Microporous and Mesoporous Materials. Zeolits, Clarys, Carbons and Related Materials. Volumen 78. pp. 73-81. 2005 A. Terrasa. Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis. Lecture Notes in Computer Science. Volumen 2968. pp. 466--485. 2004 E. Argente, A. Giret, S. Valero, V. Julian and V. Botti. Survey of MAS Methods and Platforms focusing on organizational concepts. Frontiers in Artificial Intelligence and Applications. Volumen 113. pp. 309-316. 2004 A. Giret and V. Botti. Holons and Agents. JOURNAL OF INTELLIGENT MANUFACTURING. Volumen 15. Numero 5. pp. 645-659. 2004 A. Giret and V. Botti. Towards a Recursive Agent Oriented Methodology for Large-Scale MAS. P. Giorgini, J. Müller, and J. Odell (Eds.), Agent-Oriented Software Engineering IV. Volumen LNCS 2935. pp. 25-35. 2004 A. Giret and V. Botti. Towards an Abstract Recursive Agent. INTEGRATED COMPUTER-AIDED ENGINEERING. Volumen 11. Numero 2. pp. 165-177. 2004 J. Soler, V. Julian and V. Botti. Integrating agent interactions in real-time environments. Frontiers in Artificial Intelligence and Applications. pp. 486-497. 2003 M.A. Salido and F. Barber. A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs. . Numero 29. pp. 409-422. 2002 O. Sapena and E. Onaindía. The SimPlanner. Newsletter of the European Network of Excellence in AI Planning. Volumen 5. pp. 34 - 35. 2002 L. Sebastiá, E. Onaindía and E. Marzal. STeLLa v2.0: planning with intermediate goals. Lecture Notes in Computer Science. pp. 805 - 814. 2002 V. Julian, C. Carrascosa, M. Rebollo, J. Soler and V. Botti. SIMBA: An Approach for Real-Time Multi-agent Page 11/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Systems. Lecture Notes in Computer Science. Volumen 1. Numero 2504. pp. 282 - 293. 2002 M.A. Salido, A. Giret and F. Barber. Problemas de Satisfacción de Restricciones no Binarias con Dominios Continuos. REVISTA IBEROAMERICANA DE INTELIGENCIA ARTIFICIAL. Numero 15. pp. 60 - 70. 2002 R. Mollá and R. Vivó. Parallel Fixed-point Digital Differential Analyser with Antialising. Parallel and Distributed Computer Practices. Volumen 3. Numero 3. pp. 35 - 45. 2002 A. Terrasa, A. García-Fornes and V. Botti. Flexible real-time Linux. A flexible hard real-time environment. REAL-TIME SYSTEMS. Volumen 2. Numero 1. pp. 149 - 170. 2002 R. Mollá and R. Vivó. Fixed-point digital differential analyser with antialiasing. COMPUTERS & GRAPHICS. Volumen 26. Numero 2. pp. 329 - 339. 2002 O. Sapena and E. Onaindía. Domain-independent on-line planning for STRIPS Domains. Lecture Notes in Computer Science. Volumen 2527. pp. 825 - 834. 2002 M.A. Salido and F. Barber. Disjunctive and Continuous Constraint Satisfaction Problems. Lecture Notes in Computer Science. Volumen 2470. pp. 768 - 768. 2002 M.A. Salido and F. Barber. Disjunction of Non-binary and Numeric Constraint Satisfaction Problems. Lecture Notes in Computer Science. Volumen 2504. pp. 159 - 172. 2002 I. García and R. Mollá. Discrete events simulation as a computer game kernel. SIACG 2002. pp. 13 - 16. 2002 A. Corma, J.M. Serra, E. Argente, V. Botti and S. Valero. Application of artificial neural networks to combinatorial catalysis: Modeling and Predicting ODHE Catalysts. ChemPhysChem, a European Journal of Chemical Physics and Physical Chemistry. Volumen 3. Numero 11. pp. 939 - 945. 2002 A. Espinosa, A. García-Fornes and A. Crespo. An Ada Binding to the IEEE 10031q (POSIX Tracing) Standard. Lecture Notes in Computer Science. Volumen 2361. pp. 321 - 333. 2002 F. Barber, V. Botti and J. Koehler. AI: Past, Present and Future. UPGRADE. Volumen III. Numero 5. pp. 2 5. 2002 O. Sapena and E. Onaindía. A Planning and Monitoring System for Dynamic Environments. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. Volumen 12. Numero 3. pp. 151 - 161. 2002 E. Vivancos, C. Healy, F. Muller and D. Whalley. Parametric Timing Analysis. ACM SIGPLAN Notices. Volumen 36(8). pp. 88-93. 2001 A. Garrido and F. Barber. Integrating Planning and Scheduling. Applied Artificial Intelligence, An International Journal. Volumen 15(5). pp. 471-491. 2001 A. Terrasa, A. García-Fornes and V. Botti. Flexible Real-Time Linux. Real-Time Systems Journal. 2001 R. Mollá and R. Vivó. The stair algorithm. Journal of graphics tools. Volumen 6. Numero 2. pp. 17 - 25. 2001 Page 12/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia V. Grau, M. Alcañiz, M.C. Juan, C. Monserrat and C. Knoll. Automatic Localization of Cephalometric Landmarks. Journal of Biomedical Informatics. Volumen 34. pp. 146 - 156. 2001 A. Garrido, E. Onaindía and F. Barber. A Temporal Planning System for Time-Optimal Planning. Lecture Notes in Computer Science. Volumen 2258. pp. 379 - 392. 2001 C. Monserrat, M. Alcañiz and M.C. Juan. A new approach for the real-time simulation of tissue deformations in surgery simulation. COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE. Volumen 64. Numero 2. pp. 77 - 85. 2001 F. Barber. Reasoning on intervals and point-based disjunctive metric constraints in temporal contexts. Journal of Artificial Intelligence Research. Volumen 12. pp. 35-86. 2000 A. Terrasa, A. García-Fornes and V. Botti. Flexible Real-Time Linux: A new environment for Flexible Real-Time Systems. Real-Time Systems. 2000 V. Julian, C. Carrascosa and J. Soler. A Multiagent System Architecture for Retrieving and Showing Information. Knowledge Organization. International Journal for Concept Theory, Classification, Indexing and Knowledge Representation. Volumen 27. pp. 1-11. 2000 V. Botti, F. Barber and A. Crespo. Towards a Temporal Coherence Management in Real-Time Knowledge-Based Systems. Data and Knowledge Engineering. Volumen 25. pp. 247-266. 1998 V. Botti, F. Barber, E. Onaindía, A. Crespo, A. García-Fornes, I. Ripoll, D. Gallardo and L. Hernández. A Temporal Blackboard for a Multi-Agent Environment. Engineering Applications of Artificial Intelligence. Volumen 10. Numero 4. pp. 369-377. 1997 F. Barber, V. Botti, E. Onaindía and A. Crespo. Temporal Reasoning in REAKT: An Environment for Real-Time Knowledge-Based Systems. AICOM. Volumen 7. Numero 3. pp. 175-202. 1994 A. Crespo, V. Botti, F. Barber, D. Gallardo and E. Onaindía. A Temporal Blackboard for Real-Time Process Control. Engineering Applications of Artificial Intelligence. Volumen 7. Numero 3. pp. 225-266. 1994 Page 13/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Revistas Nacionales B. Nácher, S. Alemany, J. García-Hernández, S. Heras and A. Juan. Desarrollo de un sistema para la predicción del ajuste del calzado basado en técnicas avanzadas de análisis de formas. Revista de bioMecánica. Numero 43. pp. 17-21. 2005 C. Carrascosa, A. Terrasa, J. Fabregat and V. Botti. Gestión de Comportamientos en Agentes de Tiempo Real. Inteligencia Artificial. Volumen 9. Numero 25. pp. 39-48. 2005 O. Sapena, V. Botti and E. Argente. Application of Neural Networks to Stock Prediction in "Pool" Companies. Applied Artificial Intelligence. Volumen 17. Numero 7. pp. 661-673. 2003 V. Julian and V. Botti. Estudio de métodos de desarrollo de sistemas multiagente. Revista Iberoamericana de Inteligencia Artificial. Numero 18. pp. 81-96. 2003 V. Julian, C. Carrascosa, M. Rebollo, J. Soler and V. Botti. SIMBA: an Approach for Real-Time Multi-Agent Systems. Associació Catalana d' Intel.ligència Artificial (ACIA). Volumen 1. Numero 28. pp. 297 - 304. 2002 F. Barber and V. Botti. Inteligencia Artificial: presente, pasado y futuro. Novática - Revista de la Asociación de Técnicos de Informática. Volumen 159. Numero 159. pp. 4 - 7. 2002 C. Carrascosa, M. Rebollo, V. Julian, M.A. de la Fuente and V. Botti. Automatización de operaciones en terminales mediante sistemas multiagente. Logística Profesional. Volumen 6. Numero 68. pp. 78 - 82. 2002 V. Julian, M. Rebollo and C. Carrascosa. Agentes de Información. Base. Numero 37. pp. 56-62. 2001 M.I. Alfonso and F. Barber. SPLIN : Combinación de Procesos de Clausura y CSP para la Resolución de Problemas de Scheduling. Revista Iberoamericana de Inteligencia Artificial. Volumen 97. pp. 20-26. 2000 V. Julian and V. Botti. Agentes Inteligentes: El siguiente paso en la Inteligencia Artificial.. Novática. Volumen I. Numero 145. 2000 L. Sebastiá and E. Marzal. SPLIN : Una herramienta para el diseño, ejecución y evaluación de problemas de planificación. Revista Iberoamericana de Inteligencia Artificial. Volumen 7. pp. 54-64. 1999 E. Vivancos, L. Hernández and V. Botti. Técnicas y Arquitecturas de Inteligencia Artificial en Tiempo Real. Informática y Automática. Volumen 30. pp. 24-35. 1998 L. Hernández, E. Vivancos and V. Botti. Una Aproximación a la Inteligencia Artificial Distribuida. NOVATICA. Volumen Mayo/Junio. pp. 53-65. 1997 A. García-Fornes, A. Terrasa and V. Botti. Planificación de Tareas Aperiódicas en Sistemas de Tiempo Real Estricto. NOVATICA. Volumen Septiembre. pp. 22-30. 1997 V. Botti and F. Barber. La Enseñanaza Universitaria en Inteligencia Artificial. Boletín de la Asociación Española para la Inteligencia Artificial. Volumen Nº 3 ,Ver. pp. 19-24. 1995 Page 14/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia V. Botti and E. Onaindía. CLIPS: Una Herramienta de Desarrollo de Sistemas Expertos. Boletín de la Asociación Española para la Inteligencia Artificial. Volumen Nº 3 ,Ver. pp. 04-11. 1995 E. Onaindía, F. Barber and V. Botti. Un Sistema de Planificación Temporal. NOVATICA. Numero 108. pp. 31-36. 1994 F. Barber and V. Botti. Sistemas Expertos de Tiempo Real. NOVATICA. Numero 108. pp. 17-22. 1994 V. Botti. Sistemas de Mantenimiento de la Razón (SMR). NOVATICA. Volumen XVI. Numero 85. pp. 61-74. 1990 M. Alpuente, V. Botti, I. Galiano, E. Sanchis, F. Vila and I. Ramos. Entorno de Programación LALI implementado en Prolog. AEIA. Volumen XX, nº 4,O. pp. 9-14. 1987 Page 15/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Capítulos de libro V. Julian, A. Giret and V. Botti. Aplicaciones en Recuperación de la Información. Agentes Software y Sistemas Multi-Agente. Conceptos, Arquitecturas y Aplicaciones. pp. 221-231. 2005 A. Giret, V. Julian and V. Botti. Aplicaciones Industriales de los Sistemas Multiagente. Agentes Software y Sistemas Multi-Agente. Conceptos, Arquitecturas y Aplicaciones. pp. 186-203. 2005 A. Giret and V. Botti. Holons and Agents. Do they Differ?. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XIX. No. 22. pp. 309-322. 2002 M.A. Salido, A. Giret and F. Barber. Constraints Satisfaction by means of Dynamic Polyhedra. Operations Research Proceedings 2001. No. 13. pp. 405-412. 2002 V. Botti and A. Giret. Aplicaciones de los Sistemas Multiagente (SMA) en Industria. Agentes Inteligentes: Sistemas Multiagentes y Aplicaciones. No. 3. pp. 19-82. 2002 M.A. Salido, A. Giret and F. Barber. Preprocessing Algorithm for Non-binary Disjunctive Constraints Satisfaction. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII. pp. 123-133. 2001 M.A. Salido, A. Giret and F. Barber. A Non-binary Constraint Satisfaction Solver: The One-face Hyperpolyhedron Heuristic. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII. pp. 313-324. 2001 Torrente, Fco., E. Vivancos and V. Botti. MultiClips: Incorporating Clips-Based Agents into a Real-Time Architecture. Expert Systems: Principles and Programming. 3rd Edition. pp. 4. 1998 Page 16/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Actas de Congresos Internacionales J. Palanca, G. Aranda, C. Carrascosa and L. Hernández. Hybrid MAS to solve problems with different temporal constraints New Trends in Real-Time Artificial Intelligence (NTeRTAIn 2006 / ECAI 2006). 2006 M. Navarro, V. Julian and J. Soler. Towards a Middleware for Real-Time Multi-Agent System Development New Trends in Real-Time Artificial Intelligence, Workshop on ECAI'06. 2006 M. Navarro, V. Julian, S. Heras, J. Soler and V. Botti. Multi-Agent Systems Over RT-Java for a Mobile Robot Control Proceedings of the Intelligent Data Engineering and Automated Learning, IDEAL 2006. 2006 S. Heras, J. A. García-Pardo, R. Ramos-Garijo, A. Palomares, V. Julian, M. Rebollo and V. Botti. CBR Model for the Intelligent Management of Customer Support Centers Proceedings of the Intelligent Data Engineering and Automated Learning, IDEAL 2006. 2006 J. Palanca, M. Escriva, G. Aranda, A. García-Fornes, V. Julian and V. Botti. Adding New Communication Services to the FIPA Message Transport System Proceedings of the 4th German Conference on Multiagent System Technologies (MATES06). 2006 J. A. García-Pardo, S. Heras, R. Ramos-Garijo, A. Palomares, V. Julian, M. Rebollo and V. Botti. CBR-TM: A New Case-Based Reasoning System for Help-Desk Environments Proceedings of the 17th European Conference on Artificial Intelligence, ECAI 2006. 2006 A Barella, C. Carrascosa and V. Botti. JGOMAS: Game-Oriented Multi-Agent System based on Jade ACM Sigchi International Conference on Advances in Computer Entertainment Technology. 2006 L.A. Búrdalo, A. Espinosa, A. García-Fornes and A. Terrasa. Framework for the Development and Evaluation of New Scheduling Policies in RT-Linux Proceedings OSPERT 2006. 2006 N. Ruiz, A. Giret and V. Botti. Towards an Agent-based Simulation Tool for Manufacturing Systems 11th IEEE International Conference on Emerging Technologies and Factory Automation. 2006 G. Aranda, J. Palanca, A. Espinosa, A. Terrasa and A. García-Fornes. Towards Developing Multi-agent Systems in Ada Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies. 2006 L. Mulet, J. M. Alberola, J. M. Such, V. Botti, A. Espinosa, A. García-Fornes and A. Terrasa. Performance evaluation of open-source multiagent platforms Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-06). 2006 M. Escriva, J. Palanca, G. Aranda, A. García-Fornes, V. Julian and V. Botti. A Jabber-based Multi-Agent System Platform Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS06). 2006 N. Ruiz, A. Giret and V. Botti. Early Requirement Guidelines for Multiagent System Modeling IEEE 2006 Workshop on Distributed Intelligent Systems. 2006 Page 17/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia E. Argente, V. Julian and V. Botti. Multi-Agent System Development based on Organizations Electronic Notes in Theoretical Computer Science. 2006 J. A. Gordillo, A. Giret and V. Botti. Distribución de órdenes de trabajo mediante algoritmos de asignación de recursos utilizando Sistemas Multiagentes DECIMOSEXTA REUNIÓN DE OTOÑO DE COMUNICACIONES, COMPUTACIÓN, ELECTRÓNICA Y EXPOSICIÓN INDUSTRIAL, ROC&C’2005-IEEE. 2005 J. A. Gordillo, A. Giret and V. Botti. Aplicación de algoritmos de Sistemas Multiagentes en el entorno Industrial IV Congreso Internacional de Informática y Computación de la ANIEI. 2005 J. A. Gordillo, A. Giret and V. Botti. Sistemas Multiagentes para Programación en Entornos de Fabricación I Congreso Internacional de Computación Costarricense. 2005 P. Maldonado, C. Carrascosa and V. Botti. Auctions for Real-Time Agent Scheduling IJCAI-05 Workshop on Agents in Real-Time and Dynamic Environments - Working Notes. 2005 E. Argente, V. Julian, S. Valero and V. Botti. Towards an Organizational MAS Methodology Recent Advances in Artificial Intelligence Research and Development. Frontiers in Artificial Intelligence and Applications. 2005 E. Argente, A. Giret, S. Valero, P. Gómez and V. Julian. Solving Ceramic Tile Factory Production Progamming by MAS Recent Advances in Artificial Intelligence Research and Development. Frontiers in Artificial Intelligence and Applications. 2005 S. Valero, E. Argente, A. Giret, V. Julian and V. Botti. Goodness and Lacks of MAS Methodologies for Manufacturing Domains LNAI 3690. CEEMAS'05. 2005 A. Giret, E. Argente, S. Valero, P. Gómez and V. Julian. Applying Multi Agent System Modelling to the Scheduling Problem in a Ceramic Tile Factory Mass Customization Concepts-Tools-Realization, IMCM’05. 2005 P. Maldonado, C. Carrascosa and V. Botti. Using Negotiation Techniques as Time-Resticted Scheduling Policies on Intelligent Agents 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'05). 2005 E. Argente, V. Julian and V. Botti. From Human to Agent Organizations First International Workshop on Coordination and Organization (CoOrg'05). 2005 E. Argente. A Proposal for an Organizational-Oriented MAS Methodology Proceedings of AAMAS 2005. 2005 A. Giret and V. Botti. Metodología Multi Agente para Procesos Industriales Actas del CAIP 2005: 7º Congreso Interamericano de Computación Aplicada a la Industria de Procesos. 2005 A. Giret. A Multi Agent Methodology for Holonic Manufacturing Systems Proceedings of AAMAS 2005. Doctoral Mentoring Program. 2005 A. Giret, V. Botti and S. Valero. MAS Methodology for HMS Proceedings of the Second International Conference on Applications of Holonic and Multi-Agent Systems, HoloMAS 2005. 2005 A. Giret and V. Botti. Analysis and Design of Holonic Manufacturing Systems The Networked Enterprise: a Page 18/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia challenge for sustainable development. Proceedings of the 18th International Conference on Production Research. 2005 P. Maldonado, C. Carrascosa and V. Botti. Negotiation in Real-Time Multi-Agent Systems IADIS International Conference Applied Computing. 2005 J.M. Serra, A. Corma, S. Valero, E. Argente and V. Botti. Soft Computing Techniques Applied to Combinatorial Catalysis: A New Approach for the Discovery and Optimization of Catalytic Materials QSAR. 2005 C. Carrascosa, A. Terrasa, J. Fabregat and V. Botti. Behaviour Management in Real-Time Agents 5th Iberoamerican Workshop on Multi-Agent Systems. 2004 A. Espinosa, A. García-Fornes, V. Lorente and A. Terrasa. Mixing Scheduling Policies in Ada Lecture Notes in Computer Sciencie. 2004 J. Soler, V. Julian, A. García-Fornes and V. Botti. Real-time extensions in Multi-agent communication Lecture Notes in Artificial Intelligence. 2004 V. Botti. Multi-Agent System Technology in a Port Container Terminal Automation European Research Consortium for Informatics and Mathematics News. 2004 V. Julian, J. Soler, M.C. Moncho and V. Botti. Real-Time Multi-Agent System Development and Implementation Frontiers in Artificial Intelligence and Applications. 2004 S. Valero, E. Argente, J.M. Serra, P. Serna, V. Botti and A. Corma. A Soft Computing Technique applied to Industrial Catalysis Proceedings ECAI-PAIS 2004. 2004 S. Valero, E. Argente, V. Botti, J.M. Serra and A. Corma. SoftComputing Techniques Applied to Catalytic Reactions Lecture Notes in Artificial Intelligence. 2004 M.A. Salido, A. Giret and F. Barber. Distributing constraints by sampling in non-binary CSPs Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems. Frontiers of Artificial Intelligent and Applications.. 2004 A. Giret and V. Botti. On the definition of meta-models for analysis of large-scale MAS Multiagent System Technologies. Proceedings of MATES 2004. 2004 A. Giret and V. Botti. MAS Beliefs IADIS International Conference Applied Computing 2004. 2004 A. Giret and V. Botti. Multi Agent System Goals IADIS International Conference Applied Computing 2004. 2004 V. Julian and V. Botti. Developing real-time multi-agent systems INTEGRATED COMPUTER-AIDED ENGINEERING. 2004 V. Lorente, A. Espinosa, A. Terrasa, A. García-Fornes and A. Crespo. Evaluating Reasons for unexpected results when measuring execution time of code 3rd Intl Workshop on Worst-Case Execution Time (WCET) Analysis. 2003 Page 19/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia V. Lorente, A. Espinosa, A. García-Fornes and A. Crespo. Measuring Execution Time of Code by Means of POSIX Tracing 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming WRTP'03. 2003 A. Espinosa, V. Lorente, A. García-Fornes and A. Crespo. Getting System Metrics Using POSIX Tracing Services 8th International Conference on Reliable Software Technologies. 2003 M. Rebollo, C. Carrascosa, V. Julian and V. Botti. Formal Modelling of Dynamic Environments for Real-Time Agents Proc. of 3rd Conference Eastern Europe Multiagent Systems (CEEMAS 03). 2003 C. Carrascosa, M. Rebollo, J. Soler, V. Julian and V. Botti. SIMBA Architecture for Social Real-Time Domains EUMAS 2003: The First European Workshop on Multi-Agent Systems. 2003 C. Carrascosa, M. Rebollo, V. Julian and V. Botti. Deliberative server for real-time agents 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003). 2003 L. Hernández, V. Botti, A. García-Fornes and M. González. A Quality-Based Heuristic for Real-Time Scheduling Artificial Intelligence Research and Development. Frontiers in Artificial Intelligence Research and Development. 2003 A. Giret and V. Botti. Towards a Recursive Agent Model for an Agent-Oriented Methodology Fourth Internetional Workshop on Agent-Oriented Software Engineering. 2003 J.M. Serra, A. Corma, A. Chica, E. Argente and V. Botti. Can Artificial Neural Networks Help the Experimentation in Catalysis? Catalysis Today. 2003 A. Corma, J.M. Serra, E. Argente, S. Valero and V. Botti. Neural networks for modelling of kinetic reaction data applicable to catalyst scale up and process control and optimisation in the frame of combinatorial catalysis Applied Catalysis A: General. 2003 J.M. Serra, A. Corma, E. Argente, S. Valero and V. Botti. Development of New Materials by Combinatorial Techniques ICEE 2003. 2003 M.A. Salido, A. Giret and F. Barber. Distributing Constraints by Sampling in Non-Binary CSPs IJCAI International Workshop on Distributed Constraint Reasoning. 2003 A. Giret and V. Botti. Multi Agent Systems of Multi Agent Systems 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2003 A. Garrido and E. Onaindía. Least Commitment Temporal Planning Workshop on Planning, Scheduling and Temporal Reasoning. 2002 O. Sapena and E. Onaindía. Execution, monitoring and Replanning in Dynamic Environments Workshop on On-line Planning and Scheduling (AIPS). 2002 E. Marzal, E. Onaindía and L. Sebastiá. An Incremental Temporal Partial-Order Planner Workshop on On-line Planning and Scheduling (AIPS). 2002 A. Garrido. A Temporal Planning System for Level 3 Durative Actions of PDDL2.1 Workshop on On-line Planning and Scheduling (AIPS). 2002 Page 20/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia M.A. Salido, A. Giret and F. Barber. Integration of Discrete and Non-Binary CSPs with Linear Programming Techniques Workshop on Cooperative Solvers in Constraint Programming (COSOLV). 2002 A. Garrido and E. Onaindía. Applying least-commitment heuristic search in temporal planning Workshop of the UK planning and Scheduling special interest group (PLANSIG). 2002 J. Soler, V. Julian, M. Rebollo, C. Carrascosa and V. Botti. Towards a Real-Time Multi-Agent System Architecture Workshop: Challenges in Open Agent Systems. 2002 I. Blanquer, V. Hernández, J.D. Segrelles and C. Monserrat. A Virtual Cholecystectomy: Virtual Reality Surgery Virtual Reality International Conference (VRIC). 2002 I. Blanquer, V. Hernández, J.D. Segrelles and C. Monserrat. High Performance Minimally Invasive Surgery Simulation with Real Data Virtual Reality International Conference (VRIC). 2002 R. Vivó, R. Mollá, P. Sanchez and E. Gonzalez. Nuevas tecnologias aplicadas a la restauración de la escultura policroma. Restauranción virtual Semiario Internacional Forum UNESCO. 2002 A. Giret and V. Botti. Recursive Agent Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems. 2002 C. Campos, E. Camahort, R. Quiros, J. Huerta and I. Remolar. Acceleration Techniques for Non-Photorealistic Rendering of Trees Ibero-American Symposium in Computer Graphics (SIACG). 2002 R. Mullor and R. Vivó. Stereoscopic views of 2D fractal sets Ibero-American Symposium in Computer Graphics (SIACG). 2002 J.J. Linares, J. Santoja and M. Chover. Internet Integration of an Image Mapping System Ibero-American Symposium in Computer Graphics (SIACG). 2002 E. Camahort and F. Abad. Uniformity and View Independence in 4D Light-Field Models Ibero-American Symposium in Computer Graphics (SIACG). 2002 F. Abad, E. Camahort and R. Vivó. Integrating Synthetic Objects into Real Scenes Ibero-American Symposium in Computer Graphics (SIACG). 2002 J.M. Serra, A. Corma, A. Chica, E. Argente and V. Botti. Can Artificial Neural Networks Help the Experimentation in Catalysis? European Workshop on Combinatorial Catalysis (EuroCombicat). 2002 A. Garrido. A Temporal Planning System for Durative Actions of PDDL2.1 European Conference on Artificial Intelligence (ECAI). 2002 F. Abad, E. Camahort and R. Vivó. On the Integration of Synthetic Objects with Real-World Scenes Eurographics. 2002 J.A. Lozano, M. Alcañiz, J.A. Gil, C. Monserrat, M.C. Juan, V. Grau and H. Varvaro. Virtual Food in Virtual Environments for the Treatment of Eating Disorders Medicine Meets Virtual Reality 02/10 (2002). 2002 P. Tormos, F. Barber and A. Lova. An Integration Model for Planning and Scheduling Problems with Page 21/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Constrained Resources 8th International Workshop on Project Management and Scheduling. 2002 M.I. Alfonso and F. Barber. Representation and Reasoning with Disjunctive Temporal Intervals Ninth International Symposium on Temporal Representation and Reasoning (TIME' 02). 2002 J.L. Poza, R. Simarro, M.A. de la Fuente, J.E. Simo and A. Crespo. Real-time and control monitoring in a container terminal 15th IFAC World Congress. 2002 M. Alcañiz, I. Blanquer, J. García, V. Hernández and U. Meier. Minimally Invasive Surgery Training by Realistic Virtual Techniques Computer Assisted Radiology and Surgery (CARS). 2002 L. Sebastiá, E. Onaindía and E. Marzal. SteLLa: an optimal sequential and parallel planner Proceedings of the 10th Portuguese Conference on Artificial Intelligence (EPIA-01). 2001 E. Onaindía, O. Sapena, L. Sebastiá and E. Marzal. SimPlanner: an execution-monitoring system for replanning in dynamic worlds ECAI-2000. Workshop on Local Search for Planning & Scheduling.. 2001 M.A. Salido and F. Barber. Preprocessing Algorithms for non-binary Disjunctive Constraints in Scheduling Problems Application to non-linear Constraints. Proceedings of MAPSP’01 workshop: Fifth Workshop on Models and Algorithms for Planning and Scheduling Problem. 2001 V. Julian, M. Rebollo, C. Carrascosa and V. Botti. Personal Assistants for Internet Information Management Actas de SCI'01. 2001 M.A. Salido, A. Giret and O. Sapena. Non-binary Temporal CSPs Management with Polyhedra in Artificial Intelligence Problems SCI2001/ISAS2001: The 5th World Multi-Conference onSystemics, Cybernetics and Informatics. 2001 M.A. Salido, A. Giret and O. Sapena. Consistency and Reduction Algorithms with Agents for non-binary Disjunctive Temporal Constraints SCI2001/ISAS2001: The 5th World Multi-Conference onSystemics, Cybernetics and Informatics. 2001 M. Rebollo, C. Carrascosa, V. Julian and V. Botti. CALIOPE: An Agent-Based Personal Assistant for Learners and Teachers Workshop AIL 2001 en Agents 2001. 2001 R. Mollá and R. Vivó. Fixed-point ellipse drawing algorithm WSCG. 2001 M.A. Salido, A. Giret and O. Sapena. Non-Binary Temporal CSPs Management with Polyhedra. A Single Constraint Algorithm World Multi-Conference on Systemics, Cybernetics and Informatics. 2001 C. Carrascosa, M. Rebollo, V. Julian and V. Botti. A MAS Approach for Port Container Terminal Management: The Transtainer Agent World Multi-Conference on Systemics, Cybernetics and Informatics. 2001 V. Julian, M. Rebollo, C. Carrascosa and V. Botti. Personal Assistants for Internet Information Management World Multi-Conference on Systemics, Cybernetics and Informatics. 2001 M.A. Salido, A. Giret and O. Sapena. Consistency and Reduction Algorithms with Agents for non-binary Disjunctive Temporal Constraints World Multi-Conference on Systemics, Cybernetics and Informatics. 2001 Page 22/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia M.A. Salido and F. Barber. Preprocessing algorithm for non-binary disjunctive constraints in scheduling problems: Aplication to non-linear constraints Workshop on Models and Algorithms for Planning and Scheduling Problems.MAPSP. 2001 A. Garrido. A Temporal Planning System to Manage Level 3 Durative Actions of PDDL2.1 Workshop of the UK planning and Scheduling special interest group (PLANSIG). 2001 M. Henao, J. Soler and V. Botti. La integración de sistemas basados en el conocimiento y sistemas de tiempo real por medio de un robot móvil Workshop Hispano-luso en agentes físicos. 2001 A. Terrasa, I. Pachés and A. García-Fornes. The internal design of the Flexible Real-Time Linux kernel Real-Time Linux Workshop. 2001 M.A. Salido and F. Barber. Non-binary Constraint Satisfaction Problems Principles and Practice of Constraint Programming. 2001 M.A. Salido and F. Barber. An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm Principles and Practice of Constraint Programming. 2001 A. Garrido, E. Onaindía and F. Barber. A Temporal Planning System for Time-Optimal Planning Portuguese Conference on Artificial Intelligence. 2001 M.A. Salido and F. Barber. POLYSA : Apolynomial Algorithm for Non-binary Constraint Satisfaction Problems with <= and != Portuguese Conference on Artificial Intelligence. 2001 M.A. Salido, A. Giret and F. Barber. MAS: An On-line Non-binary CSP solver On-Line combinatorial problem solving and constraint programing. OLCP. 2001 R. Vivó, M.J. Vicent, L. Hernández, R. Mollá and P. Jorquera. Study of the form factor calculation by single polar plane IASTED- INTERNATIONAL CONFERENCE ON VISUALIZATION IMAGING AND IMAGE PROCESSING (VIIP). 2001 L. Hernández, M.J. Vicent, S. Fernandez, C. Monserrat and R. Vivó. The modeling of branched structures using a single polygonal mesh IASTED- INTERNATIONAL CONFERENCE ON VISUALIZATION IMAGING AND IMAGE PROCESSING (VIIP). 2001 A. Garrido, E. Onaindía and F. Barber. Time-Optimal Planning in Temporal Problems European Conference on Planning. 2001 L. Sebastiá. On the extraction, ordering and usage of landmarks in planning European Conference on Planning. 2001 E. Vivancos, C. Healy, F. Muller and D. Whalley. Parametric Timing analysis: Using a formula to represent the WCET Euromicro Workshop on WCET Analysis. 2001 A. Giret and I. Ramos. Full Software Agents as OASIS 3.0 objects (Constraint) Logic Programming and Software Engineering. CLPSE. 2001 J.A. Lozano, J.A. Gil, M. Alcañiz, C. Monserrat, M.C. Juan and V. Grau. Alimentos virtuales en entornos de Page 23/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia realidad virtual orientados al tratamiento de trastornos alimentarios CONGRESO INTERNACIONAL DE INGENIERÍA GRÁFICA. 2001 J.A. Gil, J.A. Lozano, M. Alcañiz, C. Monserrat, V. Grau and M.C. Juan. Desarrollo de entornos de realidad virtual a medida a través de internet: aplicación en las industrias cerámica y del mueble CONGRESO INTERNACIONAL DE INGENIERÍA GRÁFICA. 2001 V. Julian, C. Carrascosa and M. Rebollo. Desarrollo de asistentes personales para la gestión de información en Internet CONGRESO DEL CAPÍTULO ESPAÑOL DE LA SOCIEDAD INTERNACIONAL PARA LA ORGANIZACIÓN DEL CONOCIMIENTO (ISKO). 2001 F. Barber. A Mixed Closure-CSP Method to Solve Scheduling Problems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001. 2001 M. Henao, J. Soler and V. Botti. Developing a Mobile Robot Control Application with CommondKADS-RT 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001. 2001 L. Hernández, M.J. Vicent, S. Fernandez and C. Monserrat. A Single Polygonal Mesh Representing a Botanical Tree Surface International conference on augmented, virtual enviroments and three-dimensional imaging (EUROIMAGE ICAV3D 2001). 2001 R. Vivó, M.J. Vicent, L. Hernández and R. Mollá. Improvement of form factor accuracy using a polar decomposition of the plane International conference on augmented, virtual enviroments and three-dimensional imaging (EUROIMAGE ICAV3D 2001). 2001 C. Campos, R. Quiros, J. Huerta, M. Chover, L. Hernández and R. Vivó. Non-Photorealistic rendering of plants and trees International conference on augmented, virtual enviroments and three-dimensional imaging (EUROIMAGE ICAV3D 2001). 2001 L. Sebastiá. Extracting and ordering landmarks for planning International Conference on Artificial Intelligence, 2001. 2001 J.M. Antelm, R. Mollá, R. Vivó, V. Vidal, A. Robles and L.Gil. Sistema multimedia de evaluación y aprendizaje interactivo en entornos de red 2001 INTERMEDIA. International Workshop on Multimedia Applications. 2001 A. Terrasa, I. Pachés and A. García-Fornes. An evaluation of POSIX Trace Standard implemented in RT-Linux 2001 IEEE International Symposium on Performance Analysis of Systems and Software. 2001 M.A. Salido and F. Barber. Consistency Study by Means of Polyhedra in Scheduling Problems Conference of the European Chapter on Combinatorial Optimization. 2001 C. Monserrat, J.A. Gil, M.C. Juan and M. Alcañiz. 3rd Surgery Trainer with Force Feedback in Minimally Invasive Surgery Computer Assisted Radiology and Surgery (CARS). 2001 M.C. Juan, M. Alcañiz, C. Monserrat and J.A. Gil. Digital Microscope with Augmented Reality for Neurosurgery Computer Assisted Radiology and Surgery (CARS). 2001 M.C. Juan. Augmented reality, a new approach to shape based registration for Computer Assisted Surgery Page 24/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Annual North American Program on Computer Assisted Orthopaedic Surgery (CAOS). 2001 V. Grau, M. Alcañiz, C. Monserrat, M.C. Juan and J.A. Gil. Medical image segmentation using a tree model Annual International Conference of the IEEE Engineering in Medicine and Biology Society. 2001 M.A. Salido, A. Giret and F. Barber. Constraint Satisfaction by Means of Dynamic Polyhedra Annual Conference of the GOR. 2001 M.A. Salido, A. Giret and F. Barber. Realizing a Global Hyperpolyhedron via LP Techniques "AI in Planning, Scheduling, Configuration and Design" PUK. 2001 L. Cernuzzi and A. Giret. Methodological Aspects in the Design of a Multi-Agent System AOIS@AAAI2000 Agent Oriented Information Systems. 2000 A. Garrido, M.A. Salido and F. Barber. Scheduling in a Planning Environment Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design. 2000 E. Onaindía, L. Sebastiá and E. Marzal. Incremental local search for planning problems ECAI-2000. Workshop on Local Search for Planning & Scheduling. 2000 A. Terrasa, A. García-Fornes and V. Botti. Including User-Defined Timing Exception Support in FRTL 7th RTCSA’00. 2000 A. Garrido, M.A. Salido, F. Barber and M.A. López. Heuristic Methods for Solving Job-Shop Scheduling Problems Proceedings of ECAI-2000 Workshop on New Results in Planning, Scheduling and Design. 2000 J. Porteous and L. Sebastiá. Extracting and Ordering Landmarks for Planning Proceedings of the 19th Workshop of the UK Planning and Scheduling Special Interest Group. 2000 M.A. Salido, A. Garrido and F. Barber. Evaluation of Algorithms to Satisfy Disjuntive Temporal Constraint in Planning and Scheduling Problems Proceedings of the AISB-00 Symposium on AI Planning and Inteligent Agents. 2000 A. Garrido, M.A. Salido and F. Barber. Dynamic Scheduling in planning and scheduling processes European Workshop on 'Dynamic Scheduling'. 2000 J. Soler, V. Julian, C. Carrascosa and V. Botti. Applying the ARTIS Agent Architecture to Mobile Robot Control IBERAMIA’2000. 2000 D. Long, M. Fox, L. Sebastiá and A. Coddington. An examination of resources in Planning Proceedings of the 19th Workshop of the UK Planning and Scheduling Special Interest Group. 2000 M. Rebollo, V. Julian, C. Carrascosa and V. Botti. A Multi-Agent System for the Automation of a Port Container Terminal Workshop in Agents in Industry. 2000 J. Soler, M. Henao and V. Botti. A Mobile Robot Application with an Analysis Method based on CommonKADS IASTED International Conference, Intelligent Systems and Control (ISC 2000). 2000 M. Rebollo, V. Julian, C. Carrascosa and V. Botti. A MAS Approach for Port Container Terminal Management Page 25/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Proceedings of the 3rd IBEROAMERICAN WORKSHOP ON DAI - MAS. 2000 L. Sebastiá, E. Onaindía and E. Marzal. A graph-based approach for POCL planning Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000). 2000 E. Onaindía, L. Sebastiá and E. Marzal. 4SP: A four-stage incremental planning approach Proceedings of the ECAI-2000 Workshop on New Results in Planning, Scheduling and Design (PuK2000). 2000 A. Terrasa and A. García-Fornes. Real-Time Synchronization between Hard and Soft Tasks in RT-Linux 6th RTCSA’99. 1999 V. Botti, C. Carrascosa, V. Julian and J. Soler. Modelling Agents in Hard Real-Time Multi-Agent System Engineering. MAAMAW’99. 1999 L. Sebastiá, E. Onaindía and E. Marzal. Improving expressivity and efficiency in Partial-Order Causal Link planners Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group. 1999 C. Carrascosa, V. Julian and J. Soler. Developing a multi-agent system for the World Wide Web Proceedings Volume 3 Virtual Engineering and Emergent Computer. 1999 F. Barber, E. Onaindía, A. Garrido and L. Sebastiá. An Integrated Architecture for Intelligent Planning and Scheduling Processes European Workshop on 'Intelligent Manufacturing Systems'. 1999 V. Botti and L. Hernández. Control in Real-Time Multiagent Systems Proceedings of the II Iberoamerican workshop on DAI and MAS. 1998 E. Onaindía and M. Rebollo. Temporal Representation and Reasoning for Dynamic Environments Lectures Notes in Artificial Intelligence. 1998 A. Espinosa, V. Julian, C. Carrascosa, A. Terrasa and A. García-Fornes. Programming Hard Real-Time Systems with Optional Components in Ada Proceedings of the Ada-Europe'98 Conference. 1998 L. Hernández, E. Vivancos and V. Botti. Intelligent Scheduling of Production Systems in a Real-Time Architecture Progreso em Inteligencia Artificial. Iberamia 98. Actas del 6º Congreso Iberamericano de Inteligencia Artificial. 1998 A. Terrasa, A. Espinosa and A. García-Fornes. Extending RT-Linux to Support Flexible Hard Real-Time Systems with Optional Components Languages Compilers and Tools for Embeded Systems. 1998 E. Onaindía, F. Barber, V. Botti, C. Carrascosa, M.A.Hernández and M. Rebollo. A Progressive Heuristic Search Algorithm for the Cutting Stock Problem Tasks and Methods in Applied Artificial Intelligence. 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems. 1998 S. Duarte, A. Giret, J. Lévera and R. Le Vraux. Tareas en casa Taller Internacional de Software Educativo, TISE97. 1997 E. Belenguer, C. Alvarez, V. Botti, J. Soler and J.L. Valero. Integrated Distribution Management Systems: Application to Fault Management Proc. High Technology in The Power Industry. 1997 Page 26/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia A. García-Fornes, A. Terrasa and V. Botti. Engineering a Tool for Building Hard Predictable Real-Time Artificial Intelligence Systems International Workshop on Real-Time Programming. 1997 E. Belenguer, C. Alvarez, J. Soler and V. Botti. A Multi-Agent Architecture for Distribution Management PSAC’97 10th Interational Conference on Power System Automation and Control. 1997 F. Barber, V. Botti and E. Onaindía. Temporal Data Representation and Reasoning in REAKT International Symposium on Artificial Intelligence in Real-Time Control. 1995 A. García-Fornes, A. Crespo and V. Botti. Adding Hard Real-Time Tasks to Artificial Intelligence Environments A Postprint Volumen from the 20th International Whorkshop on Real-Time Programming. 1995 L. Hernández and V. Botti. Sistema de Mantenimiento de la Razón para un Modelo de Blackboard Temporal IBERAMIA'94: IV Congreso Iberoamericano de Inteligencia Artificial. 1994 V. Botti, A. Crespo, F. Barber and I. Ripoll. Multiple Access and Coherence Management in a Real-Time Temporal Blackboard ECAI'94 11th European Conference on Artificial Intelligence. 1994 V. Botti, F. Barber and A. Crespo. Temporal Reasoning and Coherence Management in REAKT IRTICS'93: Workshop on Integration in Real-Time Intelligent Control Systems. 1993 E. Onaindía, F. Barber and V. Botti. Temporal Distributed Planing in a Dynamic World : IJCAI-93 Workshop on Knowledge-based Production Planning, Scheduling and Control. 1993 V. Botti, F. Barber, A. Crespo, D. Gallardo, I. Ripoll, E. Onaindía and L. Hernández. Sharing Temporal Knowledge by Multiple Agents Database and Expert Systems Applications. Lecture Notes in Computer Science. 1993 P. Albertos, A. Crespo, V. Botti and F. Barber. Knowledge based model for Fault Diagnosis Tempus Impact Workshop on Model-Based Fault Diagnosis. 1992 A. Crespo, J.L. Navarro, R. Vivó, A. Espinosa and A. García-Fornes. RIGAS: an expert server task in real time environments 4th IFAC Symposium on Artificial Intelligence in Real Time Control. 1991 F. Barber, V. Botti, P. Albertos and A. Crespo. Development Tool for Electric Network FAult Diagnosis Expert Systems High Thechnology in the Power Industry. 1991 A. Crespo, J.L. Navarro, R. Vivó, A. García-Fornes and A. Espinosa. A Real Time Expert System Environment for Process Control 3rd IFAC International Workshop on Artificial Intelligence in Real Time Control, AIRTC-91. 1991 A. Espinosa, A. García-Fornes, A. Crespo and . QUISAP: an Environment of Rapid Prototyping of Real-Time systems CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems. 1990 F. Barber, V. Botti and A. Crespo. Temporal Expert System : Application to a Planning Environment Expert System Theory and Applications. 1990 V. Botti and A. Crespo. Sistema Lógico de Relación No-monotónico (SLRN) IBERAMIA´90. 1990 Page 27/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia V. Botti, F. Barber and A. Crespo. Reason Maintenance in Real-Time Expert System Expert System Theory and Applications. 1990 V. Botti and A. Crespo. Modelo de Sistema de Mantenimiento de la Razón IBERAMIA´90. 1990 Page 28/36 Basado en Suposiciones Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Actas de Congresos Nacionales A Barella, S. Valero and C. Carrascosa. JGOMAS: Una alternativa a las prácticas de Sistemas Inteligentes. Jenui'06 XII Jornadas de Enseñanza Universitaria de la Informática. 2006 A. García-Fornes, A. Espinosa and S. Valero. VFMS: herramienta visual para la enseñanza del funcionamiento de un sistma de ficheros. Jenui'06 XII Jornadas de la Enseñanza Universitaria de la Informática. 2006 M. Navarro, V. Julian, J. Soler and V. Botti. Sistemas multiagente de tiempo real empleando RT-Java. VII Workshop on Phisical Agents. 2006 L.A. Búrdalo, A. Espinosa, A. García-Fornes and A. Terrasa. Infraestructura en RT-Linux para la evaluación de políticas de planificación de tareas aperiódicas. IX Jornadas de Tiempo Real. 2006 J. García-Hernández, S. Heras, A. Juan, R. Paredes, B. Nácher, S. Alemany, E. Alcántara and J.C. González. The MORFO3D Foot Database. Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2005. 2005 J. Palanca and A. García-Fornes. Uso de Técnicas Híbridas en el Cálculo del WCET. VIII Jornadas de Tiempo Real. 2005 A. Espinosa, A. García-Fornes and A. Terrasa. Integrating Slack Scheduling into Standard Embedded Systems. I Congreso Español de Informática (CEDI). I Simposio de Tiempo Real.. 2005 G. Aranda and J. Soler. Integration of FIPA-SL in the Real-Time Multiagent platform SIMBA. VI Workshop de Agentes Físicos (WAF 2005). 2005 G. Aranda and J. Soler. Integration of FIPA-SL in the Real-Time Multiagent platform SIMBA. I Congreso Español de Informática (CEDI 2005). 2005 Fabian Andres Bustos, Juan Sebastian Lopez and V. Julian. Empleo de tecnologías de agentes para la gestión de tutorías en un campus universitario. DESMA 2005. 2005 P. Serna, J.M. Serra, M. Moliner, A. Corma, S. Valero, E. Argente and V. Botti. Titano-Silicatos Mesoporosos como Catalizadores de Epoxidación: Optimización y Estudio de la Relación Síntesis-Caracterización-Reactividad Mediante Técnicas Combinatorias. SECAT’05 – Catálisis y Materiales Mesoestructurados. Reunión de la Sociedad Española de Catálisis. 2005 C. Carrascosa, A. Terrasa, A. García-Fornes, A. Espinosa and V. Botti. Un Modelo de Meta-Razonamiento para Agentes de Tiempo Real Estricto. CAEPIA 2005. 2005 E. Argente, V. Julian, S. Valero and V. Botti. Aplicación de la Teoría de Organizaciones al desarrollo de Sistemas Multiagente. XI Conferencia de la Asociación Española para la Inteligencia Artificial. 2005 C. García Montoro, E. Vivancos, M. González and V. Botti. Comparación del tiempo de ejecución de los algoritmos de pattern matching Rete y Arlips.. XI Conferencia de la Asociación Española para la Inteligencia Page 29/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Artificial (Caepia 05). 2005 C. García Montoro and V. Julian. La representación de la información en el fútbol robótico. I Congreso español de Informática. (CEDI 2005). 2005 M. Navarro, V. Julian, J. Soler and V. Botti. RT-Java para el desarrollo de sistemas multi-agente de tiempo real. International Workshop on Applications of Agents and Multiagents Systems. 2005 V. Julian, A. Giret, E. Argente and S. Valero. A MAS Approach to the Production Programming Problem. II Taller en Desarrollo de Sistemas Multiagente, DESMA-2005, I Congreso Español de Informática (CEDI). 2005 C. Carrascosa, L. Hernández, A. García-Fornes, J. Palanca and V. Botti. Desarrollo de un SMA de Tiempo Real para la gestión automatizada del correo interno de un edificio de oficinas. VI Jornadas de Transferencia Tecnológica de Inteligencia Artificial, TTIA'2005 (AEPIA)/I Congreso Espanyol de Informàtica CEDI’2005. 2005 C. Carrascosa, V. Julian, L. Hernández, A. García-Fornes, G. Aranda, L.A. Búrdalo and M.C. Moncho. Modelado de un SMA de Tiempo Real empleando la metodología RT-MESSAGE. II Taller en Desarrollo de Sistemas Multiagente, (DESMA-2005)/I Congreso español de Informática. (CEDI 2005). 2005 E. Argente. Utilización de técnicas de trabajo en grupo en la asignatura de Sistemas Operativos. Actas jornadas JENUI. 2005 C. Carrascosa, J. Fabregat, A. Terrasa and V. Botti. Real-Time Agents: Reaction vs. Deliberation. Agents in dynamic and real-time environments Workshop. 2004 M. Navarro, V. Julian, J. Soler and V. Botti. jART: A Real-Time Multi-Agent Platform with RT-Java. IWPAAMS'2004. 2004 S. Valero, E. Argente and E. Onaindía. Proceso de Paralelización y Optimización de Planes Secuenciales, Paralelos y Temporales. Technical Report. 2004 J. Soler, V. Julian, A. García-Fornes and V. Botti. Extensiones de tiempo real a la comunicación en sistemas multiagente. Conferencia de la Asociación Española para la Inteligencia Artifcial, CAEPIA 2003. 2003 L.A. Búrdalo, A. Terrasa and V. Lorente. libTRAIN: A Library to Control a Train Scale Model in RT-Linux. Fifth Real-Time Linux Workshop. 2003 E. Argente, S. Valero and E. Onaindía. Plan Optimization Process. CAEPIA-TTIA'2003. 2003 S. Valero, E. Argente, V. Botti, J.M. Serra and A. Corma. Softcomputing Techniques Applied to Catalytic Reactions. CAEPIA-TTIA'2003. 2003 A. Giret and V. Botti. Towards a Recursive Agent Oriented Methodology. Workshop Agentes Inteligentes en el Tercer Milenio. 2003 M.C. Juan, M. Alcañiz and C. Monserrat. Desarrollo de un nuevo microscopio digital. Congreso Nacional de Informática médica (INFORMED). 2002 Page 30/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia C. Monserrat, M.C. Juan, V. Grau, J.A. Gil, J.A. Lozano and M. Alcañiz. GeRTiSS: Simulador Quirúrgico Virtual para el Entrenamiento en Cirujias Minimamente Invasivas. Congreso Nacional de Informática médica (INFORMED). 2002 V. Julian. CitEc, un agente para asistir en la recuperación de información basada en citas. I Jornadas de Tratamiento y Recuperación de Información ( JOTRI 2002). 2002 V. Lorente, A. García-Fornes and A. Crespo. Combinar análisis estático y medidas para calcular el WCET. V Jornadas de Tiempo Real. 2002 A. Terrasa, A. Espinosa and A. García-Fornes. The POSIX Tracing Standard in Real-Time Environments. V Jornadas de Tiempo Real. 2002 R. Simarro, P. Jorquera, J.L. Poza, C. Ricolfe and J.E. Simo. Comunicación basada en XML utilizada en la automatización de un sistema industrial distribuido. XXIII JORNADAS DE AUTOMÁTICA. 2002 D. Llobregat, P. Jorquera, J.L. Poza, R. Simarro and J.E. Simo. Arquitectura del sistema de monitorización de la ubicación en una terminal marítima de contenedores. XXIII JORNADAS DE AUTOMÁTICA. 2002 V. Julian and V. Botti. Developing Real-Time Multi-agent Systems. 4th Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems. 2002 M.A. Salido and F. Barber. Disjunctionof Non-Binary and Numeric CSPs. Conferència Catalana d'Intel.ligencia Artificial (CCIA). 2002 O. Sapena, E. Onaindía, E. Argente and S. Valero. SimPlanner: una herramienta para monitorización de planes y replanificación. IX Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA-TTIA'01. 2001 L. Cernuzzi and A. Giret. Análisis de una Metodología Orientada a Objetos para la Construcción de Agentes y una Propuesta de Extensión. XXVII Latin-American Conference on Informatics - CLEI´2001. 2001 O. Sapena, V. Botti and E. Argente. Aplicación de las redes neuronales a la previsión del stock en empresas Pool. CAEPIA-TTIA'01. 2001 E. Argente, O. Sapena, V. Botti, J.M. Serra, A. Chica and A. Corma. Aplicación de una red neuronal para la predicción de la reacción catalítica. CAEPIA-TTIA'01. 2001 M.A. Salido, A. Giret and F. Barber. Problemas de Satisfacción de Restricciones Temporales no Binarias Mediante Poliedros Dinámicos. Taller de razonamiento temporal. 2001 A. Garrido, E. Marzal and E. Onaindía. Dos Aproximaciones de Planificación Temporal en Lenguaje PDDL2.1. Taller de razonamiento temporal. 2001 C. Monserrat and M.C. Juan. Problemática de la reconstrucción de superficies a partir de contornos: propuesta de un método eficiente. CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG). 2001 M.C. Juan, M. Alcañiz, C. Monserrat, V. Grau and H. Varvaro. Desarrollo de un sistema de realidad aumentada. CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG). 2001 Page 31/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia L. Hernández, M.J. Vicent, S. Fernandez and C. Monserrat. Modelado de estructuras ramificadas mediante malla poligonal única. CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG). 2001 P. Jorquera and R. Vivó. Sistema de visualización 2D/3D en tiempo real del estado de una terminal de contenedores. CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG). 2001 C. Campos, R. Quiros, J. Huerta, M. Chover, L. Hernández and R. Vivó. Visualización artística de árboles y plantas. CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG). 2001 I. Ramos and A. Giret. Full Software Agents as OASIS 3.0 objects. I Jornadas de Trabajo DOLMEN. 2001 and I. García. Paralelización con PVM del programa CASDI. XII Jornadas de Paralelismo. 2001 and I. García. Metodología de programación de algoritmos paralelos en química cuántica. XII Jornadas de Paralelismo. 2001 R. Simarro, P. Jorquera, J.L. Poza and J.E. Simo. Uso del XML con bases de datos para la simulación de entornos industriales. VI Jornadas de Ingeniería del Software y Bases de Datos JISBD' 2001). 2001 I. Pachés, M. González, A. Terrasa, A. García-Fornes and V. Botti. Construcción de sistemas de tiempo real inteligentes sobre RT-Linux. IX Jornadas de Concurrencia. 2001 M. González, I. Pachés, V. Botti, A. García-Fornes and A. Terrasa. Desarrollo de Sistemas Inteligentes en Tiempo Real. IX Jornadas de Concurrencia. 2001 R. Simarro, M.A. de la Fuente and J.M. Figueroa. Desarrollo y validación de herramientas para la gestión de la operativa terrestre en una terminal marítima de contenedores. XXII JORNADAS DE AUTOMATICA. 2001 V. Lorente, S.M. Terrasa and A. Crespo. Trabajos Basados en Microcontroladores PIC para la Impartición de Laboratorio de Informática Industrial. XXII JORNADAS DE AUTOMATICA. 2001 M.A. de la Fuente, J.M. Figueroa, V. Botti and C. Ricolfe. Arquitectura Multi-agente para la Gestion de Operaciones Terrestres en una Terminal Marítima de Contenedores. XXII JORNADAS DE AUTOMATICA. 2001 P. Jorquera and R. Vivó. Monitorización de una terminal marítima de contenedores mediante simulación gráfica. XXII JORNADAS DE AUTOMATICA. 2001 A. Espinosa, A. García-Fornes and A. Crespo. Especificación Ada para los servicios de trazas POSIX e implementación en MaRTE OS. X Jornada Técnica de ADA-SPAIN. 2001 M. Rebollo, C. Carrascosa and V. Julian. Un protocolo para co-edición argumentativa entre agentes. Congreso del Capítulo Español de la Sociedad Internacional para la Organización del Conocimiento (ISKO). 2001 C. Carrascosa, V. Julian and M. Rebollo. Una taxonomía para los Agentes de Información. Congreso del Capítulo Español de la Sociedad Internacional para la Organización del Conocimiento (ISKO). 2001 E. Marzal, E. Onaindía, L. Sebastiá and O. Sapena. Busqueda heurística para dominios de planificación Page 32/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia temporal. Conferencia de la Asociación española para la Inteligencia Artificial. 2001 F. Barber. Nuevas heurísticas y medidas de textura para resolver problemas de scheduling mediante clausura y CSP. Conferencia de la Asociación española para la Inteligencia Artificial. 2001 P. Maldonado and V. Botti. Negociación en el control de sistemas Inteligentes de Tiempo Real. Conferencia de la Asociación española para la Inteligencia Artificial. 2001 L. Sebastiá, E. Onaindía, E. Marzal and O. Sapena. Planificación de mínimo coste con paralelismo. Conferencia de la Asociación española para la Inteligencia Artificial. 2001 A. Garrido, E. Onaindía and F. Barber. Integración de Planificación temporal y Abstracción de Recursos. Conferencia de la Asociación española para la Inteligencia Artificial. 2001 M.C. Juan. Sistema de realidad Aumentada para Neurocirugía. CAOS/ESPAÑA - Computer Assisted Orthopaedic Surgery. 2001 A. Giret, L. Cernuzzi, O. Pastor and E. Insfrán. Orientación a Objetos y Orientación a Agentes: Una propuesta de unificación. CLEI2000. 2000 A. Giret, E. Insfrán, O. Pastor and L. Cernuzzi. OO-METHOD para el desarrollo de Sistemas de Agentes. Reporte Técnico. 2000 C. Carrascosa, M. Rebollo, V. Julian, M.A. de la Fuente and V. Botti. Una aproximación distribuida a la ubicación automática de contenedores. Actas de SEID’2000. 2000 J. Soler, V. Julian and V. Botti. Un Agente basado en la Arquitectura ARTIS para el control de un robot móvil. Actas del Workshop Hispano-Luso de Agentes Físicos. 2000 V. Julian, M. González, M. Rebollo, C. Carrascosa and V. Botti. InSiDE: una herramienta para el desarrollo de Agentes ARTIS. Actas de SEID’2000. 2000 V. Julian, C. Carrascosa and J. Soler. Una arquitectura de sistema multi-agente para la recuperación y presentación de información. Proceedings of the EOCONSID'99. 1999 V. Julian, C. Carrascosa and J. Soler. Una aproximación a la recuperación de información mediante una arquitectura de sistema multi-agente. Proceedings of the SEID'99 Conference. 1999 M. Rebollo, C. Carrascosa, V. Julian and V. Botti. Un sistema multi-agente para la automatización de terminales de contenedores. Actas de CAEPIA-TTIA'99. 1999 A. Garrido, E. Marzal, L. Sebastiá and F. Barber. Un Modelo de Integración de Planificación y Scheduling. VIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'99). 1999 A. Garrido and E. Onaindía. Un Algoritmo para la Optimización de Rutas de Transporte. Libro de actas de la ‘VIII Conferencia de la Asociación Española para la Inteligencia Artificial y III Jornadas de Transferencia Tecnológica de Inteligencia Artificial’. 1999 F. Barber, M.A. de la Fuente, A. Garrido, E. Marzal, E. Onaindía, M. Rebollo, M.A. Salido and L. Sebastiá. Page 33/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Planificación y Scheduling. Actas del ‘IV Taller de Razonamiento Temporal (TARRAT’99)’. 1999 V. Botti, M. Henao and J. Soler. Método de Análisis para Modelar Sistemas Basados en el Conocimiento en Tiempo Real. Actas de la VIII Conferencia de la AEPIA. 1999 V. Julian, C. Carrascosa and V. Botti. Formalización y traducción a un modelo ejecutable de las entidades de un agente ARTIS. Actas de CAEPIA-TTIA'99. 1999 M.I. Alfonso and F. Barber. Combinación de Procesos de Clausura y CSP Para la Resolución de Problemas de Scheduling. VIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'99). 1999 M. Rebollo and E. Onaindía. Búsqueda ilimitada en el tiempo para razonamiento temporal. Actas de la VIII Conferencia de la AEPIA. 1999 L. Sebastiá, E. Onaindía and E. Marzal. Beneficios de una gestión eficiente de variables en planificación. Actas de la VIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'99). 1999 E. Vivancos, L. Hernández and V. Botti. Inteligencia artificial distribuida en entornos de tiempo real. Inteligencia Artificial. 1998 E. Vivancos and V. Botti. Compiling Rule-Based Programs for Real-Time Environments. 3rd ACM SIGPLAN’97 Languages, Compilers, and Tools for Real-Time Systems. 1997 L. Hernández and E. Vivancos. Aplicación de técnicas de planificación de agentes guiadas por la utilidad en entornos multiagente de tiempo real. Actas del VII Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA'97. 1997 C. Carrascosa, V. Julian, A. García-Fornes and A. Espinosa. Un lenguaje para el desarrollo y prototipado rápido de sistemas de tiempo real inteligentes. CAEPIA'97. 1997 J. Soler, V. Botti, C. Alvarez and E. Belenguer. Sistema Inteligente de Gestión de la Distribución Eléctrica. Actas de las Segundas Jornadas de Transferencia Tecnológica de Inteligencia Artificial TTIA’97. 1997 C. Carrascosa, M.A.Hernández, M. Rebollo, F. Barber, V. Botti and E. Onaindía. Implementación de un Sistema de Optimización para el Corte de Materia Prima Mediante un Algoritmo Anytime. Actas de las Segundas Jornadas de Transferencia Tecnológica de Inteligencia Artificial TTIA’97. 1997 E. Vivancos, L. Hernández and V. Botti. Construcción y Análisis Temporal de Sistemas Basados en Reglas para Entornos de Tiempo Real. Actas de la VII Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA’97. 1997 C. Carrascosa, V. Julian, A. Terrasa, A. García-Fornes, V. Tomás and V. Botti. OLA: Una Herramienta para Análisis Off-line en Sistemas de Tiempo-Real Inteligentes. Transferencia Tecnológica de Inteligencia Artificial. 1995 A. García-Fornes and V. Botti. ARTIS: Una Arquitectura para Sistemas Inteligentes de Tiempo Real. Actas de la VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA’95. 1995 Page 34/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Tesis Doctorales Aplicación de Técnicas de Negociación en la Arquitectura ARTIS P. Maldonado Dirección: V. Botti. 2005 ANEMONA: Una Metodología Multiagente para Sistemas Holónicos de Fabricación A. Giret Dirección: V. Botti. 2005 Heurísticas para el control deliberativo en una arquitectura de agentes inteligentes de tiempo real L. Hernández Dirección: V. Botti y A. García-Fornes. 2004 Incorporación de un sistema basado en reglas en un entorno de tiempo real E. Vivancos Dirección: V. Botti y A. García-Fornes. 2004 Imaginación en Tiempo Real. Representación y Gestión de Creencias Temporales para Agentes en Entornos Dinámicos M. Rebollo Dirección: E. Onaindía y V. Botti. 2004 Meta-razonamiento en Agentes con Restricciones Temporales Críticas C. Carrascosa Dirección: V. Botti y A. Terrasa. 2004 Extensiones al lenguaje Ada y a los servicios POSIX para planificación en sistemas de tiempo real estricto A. Espinosa Dirección: A. García-Fornes y A. Crespo. 2003 SIMBA: una plataforma para el desarrollo de sistemas multiagente en entornos de tiempo real J. Soler Dirección: V. Botti. 2003 RT_MESSAGE: Desarrollo de sistemas multiagente de tiempo real V. Julian Dirección: V. Botti. 2002 Flexible Real-Time Linux: A new Environment for Flexible Hard Real-Time A. Terrasa Dirección: V. Botti y A. García-Fornes. 2001 CommonKADS-RT: Una metodología para el desarrollo de sistemas basado en el Conocimiento de Tiempo Real M. Henao Dirección: V. Botti. 2001 Page 35/36 Grupo de Tecnología Informática Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Modelo de Representación y Razonamiento Temporal para Sistemas Basados en el Conocimiento de Tiempo Real E. Onaindía Dirección: F. Barber y V. Botti. 1997 ARTIS: Un modelo y una arquitectura para sistemas de tiempo real inteligentes A. García-Fornes Dirección: V. Botti y A. Crespo. 1996 Page 36/36