TEMPORAL KNOWLEDGE BASES AND THEIR APPLICATIONS
		 Universitat Jaume I de Castello
		 Department of Computer Science
		 Campus Penyeta Roja s/n
		 Tel. 964- 345771    Fax. 964-345848

- CONTACT PERSON  
  
  Maria Jose Aramburu Cabo
  e-mail:aramburu@inf.uji.es
   
- MEMBERS
  
  Maria Jose Aramburu Cabo 
  Rafael Berlanga Llavori
  Salvador Garcia Gil
  Francisco Toledo Lobo
  Fernando Barber Miralles (U.Valencia)
  Vicente Cavero Millan (U.Valencia)
  Pablo Barrachina (U.Valencia)

- LINKS
  This research group mantains important research links with the        
  following external institutions: 
      
       - Universidad de Valencia. 
	 LISITT laboratory.
	 (Contact Persons: Salvador Moreno and Gregorio Martin)
       
       - The University of Birmingham. 
	 Department of Computer Science. 
	 Knowledge Bases Group.
	 (Contact Persons: Jorge Bocca and Peter Hancox) 
       
- AIMS 

  The prime aim of our group concerns with the development of technology
  for including temporal aspects in advanced data and knowledge base       
  applications. Among these applications, we have especially worked on
  the following ones:

	- Document Storage and Management
	- Traffic Urban Planning and Scheduling
	- Trip Planning

  The current research we are concerned with is related to the following
  topics:

	- Conceptual Modelling of Time in Knowledge Bases
	- Temporal Calculus and Resolution Techniques
	- Temporal aspects in Object Oriented Databases
	- Granularity
	- Practical Query Languages involving time

  In the next section we present a more detailed description of the applications
  and their challenges about temporal aspects.

- WORKING GUIDE LINES
     
  Document Management:
     
  This work is about the modelling of multimedia documents, their organization,
  their conceptual relationships, and their temporal behaviour.
  Since most of work related to document modelling has been made from an object-
  oriented point of view, our approach tries to integrate into this technology the
  temporal features involved in documents, such as validity time, periodicity,
  temporal sequences, and so on. In  current database technology there
  exists few approaches to formally integrate objects and time. Moreover,
  there exist just fewer approaches to query vaste volumes of objects having 
  associated a validity time period set.
  
  
   Planning:

   The development of new planning formalisms and algorithms is the other 
   relevant guide line of our group. This work concerns with non-classical 
   planning, i.e. multiagent and dynamical planning. 
   
   The main motivation behind it, is the few practical frameworks for 
   concurrent planning that can be found in the literature. Several of 
   the applications we dealt with, often require the generation of parallel 
   plans in order to achieve complex goals. Urban Traffic and trip planning 
   are some examples.
   
   The approach we are studying is based upon new domain decomposition 
   strategies which will be helpful in discerning activity regions and
   therefore, in determining agent interferences.
   
 
-RESEARCH PROJECTS
     
 (1) CHIC (Constraint Handling in Industry and Commerce)
     European Project ESPRIT II, EP-5291     
     Activity Period: 1991-94
     Contens: Applicability of Constraint Logic Languages to Industrial
     and Commercial problems such as planning problems, scheduling, etc. 


 (2) EQUATOR
     European Project ESPRIT II, P-2409 
     Activity Period: 1989-93
     Contens: Development of a general tool for Temporal and Qualitative
     Reasoning in physical systems (GRF).
     
 (3) Programacion basada en restricciones y bases de datos deductivas
     Convenio UJI-Fundacion Bancaixa
     Activity Period: 1993-94
     Contens: Analysis and discussion on the development of Intelligent
     Databases, specially Spatial and Temporal Knowledge Bases.

 (4) Desarrollo de una base de periodicos para la elaboracion de
     series temporales y consultas historicas
     CICYT-97, TEL 97-1119
     Activity Period: 1/8/1997 - 31/7/2000
 
 (5) Desarrollo de nuevas tecnicas de indexacion, acceso y consulta
     para una base de almacenamiento masivo de publicaciones
     periodicas 
     Convenio UJI-Fundacio Bancaixa
     Activity Period: 1/8/1997-1999

PUBLICATIONS
 
YEAR 1992

  (1) M.J.Aramburu and P.Hammersley
     "Etiquetado de articulos cientificos: un primer intento de construccion
      de un sistema basado en el conocimiento"
      Actas de la XVIII Conferencia Latinoamericana de Informatica, pp 79--89, 
      Las Palmas de Gran Canaria (1992)

  (2) R.Forradellas, F.Ibanez, F.Toledo, R.Berlanga, F.Barber and G.Martin
     "Aplicacion de CLP para mantener la razon en un sistema de control con
      restricciones"
      Actas de la XVIII Conferencia Latinoamericana de Informatica, pp 483--492, 
      Las Palmas de Gran Canaria (1992)

  (3) F.Ibanez, R.Forradellas, F.Toledo, R.Berlanga, F.Barber and G.Martin
      "Resolucion del problema de Scheduling mediante un sistema de 
      restricciones temporales"
      Actas de la XVIII Conferencia Latinoamericana de Informatica, pp 483--492, 
      Las Palmas de Gran Canaria (1992)
  
  (4) F.Ibanez, R.Forradellas, R.Berlanga, F.Toledo and G.Martin
      "Aplicacion de nuevas reglas de inferencia para el mantenimiento de
      de la estabilidad de un sistema de control generando soluciones mediante CLP"
      Actas de las 21 Jornadas Argentinas de Informatica, pp 7.7--7.21
      Buenos Aires, Argentina (1992)
  
   (5) R.Forradellas, F.Ibanez, F.Toledo, R.Berlanga, F.Barber and G.Martin
       " Mantenimiento de la razon en sistemas con restricciones abordados 
       con tecnicas CLP"
       Memorias del III Congreso Iberoamericano de Inteligencia Artificial, pp 457--468,
       Ed. Limusa, La Habana, Cuba (1992)
       ISBN:968-18-4178-6  

    (6) F.Ibanez, R.Forradellas, R.Berlanga, F.Barber, F.Toledo and G.Martin 
       "Integrated Environment for Handling Temporal Constraints"
	Actas del I Congreso Nacional de Programacion Declarativa, pp 316--328,
	Madrid, Spain (1992)

    (7) F.Ibanez, R.Berlanga, F.Barber, G.Martin and F.Toledo
	"An efficient method to integrate numeric and symbolical temporal Constraints"
	CHIC-Technical Report WP4/T4.1. Valencia, Spain (1992)

 YEAR 1993

    (8) R.Berlanga, F.Toledo, F.Barber, R.Forradellas, F.Ibanez and G.Martin
	"Qualitative Modelling of the Urban Traffic Behaviour Using Contstraint Logic Programming"
	Proc. 13th International Congress on Artificial Intelligence, 
	Expert Systems and Natural Language, pp 391--400,
	Ed. EC2, Avignon, France (1993)
	ISBN: 2-906899-21-X 

    (9) F.Toledo, F.Ibanez, R.Forradellas, F.Barber, R.Berlanga and G.Martin
	"A constraint based traffic-planner"
	Proc. 4th Workshop on Constraint Logic Programming, pp 36--41
	Marseille, France (1993)

   (10) G.Martin, R.Forradellas, F.Ibanez, F.Barber, R.Berlanga and F.Toledo
	"Modelizacion del problema de trafico urbano para generar soluciones
	 basadas en la programacion logica con  restricciones"
	Actas del I Simposium sobre Ingenieria de los Transportes, pp 575--582,
	Ed. Universidad de Sevilla y Fundacion el Monte, Sevilla, Spain (1993)
	ISBN: 84-87062-14-8

   (11) G.Martin, R.Forradellas, F.Ibaņez, F.Barber, R.Berlanga, F.Toledo
	"Generacion de Planes de Trafico mediante tecnicas CLP"
        Actas del I Simposium sobre Ingenieria de los Transportes, pp 593--600,
        Ed. Universidad de Sevilla y Fundacion el Monte, Sevilla, Spain (1993) 
        ISBN: 84-87062-14-8

   (12) F.Ibanez, R.Berlanga, F.Barber and G.Martin
       "An approach to Planning and Scheduling Based on The Integration
	of Metric and Symbolic Temporal Constraints in CLP"
	Programacion Declarativa, pp 217--230,
	Ed. J.Agusti y P.Garcia, Blanes, Spain (1993)
	ISBN:84-00-07383-5  


    (13) R.Berlanga, F.Barber, F.Toledo and G.Martin
	 "Calculo de sucesos abordado con el paradigma de la programacion
	 logica con restricciones"
	 Proc. V Conferencia de la Asociacion Espanola de Inteligencia Artificial, 
	 pp 347-356, Madrid, Espaņa (1993)

    (14) G.Martin, F.Toledo, F.Ibanez, R.Forradellas, R.Berlanga and F.Barber
	 "Application of the Chip Language on Urban Traffic Control"
	 CHIC-Technical Report, D3.4.2., Valencia, Spain (1993)

    (15) G.Dondossola, F.Barber, R.Berlanga, F.Toledo
	 "A constraint-based implementation of the GRF"
	 EQUATOR-Technical Report, P2409, Valencia, Spain (1993) 
    
YEAR 1994

    (16) R.Berlanga, P.Barrachina, R.Forradellas y G.Martin
	 "Application of Spatio-Temporal Planning to Multi-modal Traveler Information Systems"
	 Information Systems Design and Hypermedia, pp 311--320
	 Ed. Cepad, Toulouse (1994) 
	 ISBN: 2-85428-353-8  

    (17) F.Barber, G.Dondossola, R.Berlanga, F.Toledo y G.Martin
	 "A CLP Framework for Time-Related Reasoning in Industrial Applications" 
	 Intelligent Systems Engineering, pp 183--188
	 Ed. Institution of Electrical Engineers, Great Britain (1994)
	 ISBN:0-85296-621,

    (18) F.Verdu, R.Berlanga, F.Barber, F.Ibanez and R.Forradellas 
	 "Solving Job-Shop Scheduling problems Using Constraint-Based Heuristics"
	 Proc. Forth International Workshop on Project Management and Scheduling,
	 pp 203-206, Leuven, Belgium (1994)

    (19) M.J.Aramburu
	 "Document Bases"
	 Technical Report DI 01-11/94, Department of Informatics.
	 Universitat Jaume I, Castellon (1994).

    (20) M.J.Aramburu
	 "Cooperative Documents Base"
	 Proc. First International WorkShop On Spatio-Temporal Databases,
	 pp 68-70, Benicassim, Spain (1994)

    (21) F.Barber
	 "Discrete Time with Time Granularity"
	 Proc. First International Workshop On Spatio-Temporal Databases,
	 pp 18-20, Benicassim, Spain (1994)

    (22) R.Berlanga
	 "Towards a Persistent Framework for Managing and Generating Plans"
	 Proc. First International Workshop On Spatio-Temporal Databases,
	 pp 42-44, Benicassim, Spain (1994)

    (23) G.Dondossola, F.Barber, R.Berlanga, F.Toledo and B.Rosser 
	 "CB-GRF Final Report"
	 EQUATOR-Deliverable D663-2, Milan, Italy (1994)

YEAR 1995     
    
    (24) R.Berlanga, F.Barber, F.Verdu and F.Ibanez
	 "Solving Job-Shop Scheduling Problems Using Temporal Constrain-based Heuristics"
	 Proc. VI Conferencia de la Asociacion Espanola de Inteligencia Artificial
	 Alicante, Noviembre (1995) 
	 Ed. AEPIA, pp 141--150, ISBN: 84-920982-0-1

    (25) F.Ibanez, R.Forradellas, F.Barber y R.Berlanga
	"Dos enfoques de la programacion logica con Restricciones"
	Revista de Informatica Teorica y Aplicada. Vol II, Numero 2 (1995).
	Ed. Informatica UFRGS, pp 5--36, ISSN:0103-4308

YEAR 1996

    (26) M.J.Aramburu and R.Berlanga
	"Modelling Periodicals with an Extended Object Oriented Model"
         7th International Workshop on Database and Expert Systems Applications
	 Zurich, September (1996)
	 Ed. IEEE Computer Society Press, pp 9--14, 
	 ISBN: 0-8186-7662-0 

    (27) R.Berlanga
	 "STRPLAN: Planificacion Multi-agente en dominios estructurados"
	 Ed. Servei de Publicacions de la Universitat de Valencia
	 ISBN: 84-370-2832-9

YEAR 1997

    (28) M.J.Aramburu and R.Berlanga
	 "Metadata for a Digital Library of Historical Documents"
	 8th International Conference DEXA'97
	 Toulouse, September 1997
	 Ed. Springer Verlag, LNCS 1308, pp 409--418,   
	 ISSN: 0302-9743


    (29) M.J.Aramburu and R.Berlanga
	"An Approach to a Digital Library of NewsPapers"
	Information Processing & Management, Vol 33, Numero 5, pp 645-661 
	Elsevier Science Ltd., Pergamon Press, ISSN: 0306-4573/97


    (30) I.Sanz, R.Berlanga, M.J.Aramburu and F.Toledo
	 "Automatic Acquisition of Digitized Newspapers via Internet"
	 EXPERTSYS-97, pp
	 Ed. IITT-International
	 ISBN:

    (31) F.Barber and S.Moreno
	 "Representation of Continous Change with discrete Time"
	 4th International Workshop on Temporal Representation and
	 Reasoning (TIME-97), pp 175--179
	 Ed. IEEE Computer Society Press, 
	 ISBN:0-8186-7937-9

YEAR 1998