loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)
Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications
Hong Kong, China
November 14-November 16
ISBN: 0-7695-2488-5
ASCII Text
x 
 
Maroua Bouzid, A. Ligęza, "Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications," Tools with Artificial Intelligence, IEEE International Conference on, pp. 249-253, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ICTAI.2005.30,
author = {Maroua Bouzid and A. Ligęza},
title = {Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications},
journal ={Tools with Artificial Intelligence, IEEE International Conference on},
volume = {0},
year = {2005},
issn = {1082-3409},
pages = {249-253},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2005.30},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Tools with Artificial Intelligence, IEEE International Conference on
TI - Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications
SN - 1082-3409
SP249
EP253
A1 - Maroua Bouzid,
A1 - A. Ligęza,
PY - 2005
KW - null
VL - 0
JA - Tools with Artificial Intelligence, IEEE International Conference on
ER -
 
A. Ligęza, Institute of Automatics AGH
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.
Citation:
Maroua Bouzid, A. Ligęza, "Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications," ictai, pp.249-253, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.