DocumentCode
446823
Title
Algebraic temporal specifications with extended TUS. Hierarchical granular terms and their applications
Author
Bouzid, Merouane
Author_Institution
GREYC, Caen
fYear
2005
fDate
16-16 Nov. 2005
Lastpage
253
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on
Conference_Location
Hong Kong
ISSN
1082-3409
Print_ISBN
0-7695-2488-5
Type
conf
DOI
10.1109/ICTAI.2005.30
Filename
1562945
Link To Document