Download Grupo de Tecnología Informática Departamento de - GTI-IA

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