@inproceedings{DBLP:conf/ictai/LamineK00,
author = {Khaled Ben Lamine and
Froduald Kabanza},
title = {History checking of temporal fuzzy logic formulas for monitoring
behavior-based mobile robots},
booktitle = {ICTAI},
year = {2000},
pages = {312-319},
ee = {http://doi.ieeecomputersociety.org/10.1109/TAI.2000.889888},
crossref = {DBLP:conf/ictai/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ictai/2000,
title = {12th IEEE International Conference on Tools with Artificial
Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver,
BC, Canada},
booktitle = {ICTAI},
publisher = {IEEE Computer Society},
year = {2000},
isbn = {0-7695-0909-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2011-04-03 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
