Title :
Algebraic temporal specifications with extended TUS. Hierarchical granular terms and their applications
Author :
Bouzid, Merouane
Author_Institution :
GREYC, Caen
Abstract :
Specification and efficient handling of temporal knowledge is an important issue in design and implementation of contemporary information systems, such as databases, knowledge-based systems or decision support systems. This paper re-explores TUS, the time unit system being an algebraic tool for constructing simple yet powerful temporal specifications. In particular, an extended version of TUS, to be called XTUS is introduced and its basic operations and properties are shown
Keywords :
algebraic specification; knowledge representation; XTUS; algebraic temporal knowledge specifications; decision support systems; extended time unit system; information systems; knowledge-based systems; temporal knowledge handling; Artificial intelligence; Data analysis; Data warehouses; Database systems; Decision support systems; Information systems; Knowledge based systems; Knowledge representation; Real time systems; Relational databases;
Conference_Titel :
Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2488-5
DOI :
10.1109/ICTAI.2005.30
