Representing a robotic domain using temporal description logics. Artale, A. and Franconi, E. AI EDAM, 13(2):105--117, 1999.
Paper bibtex @article{DBLP:journals/aiedam/ArtaleF99,
author = {Alessandro Artale and
Enrico Franconi},
title = {Representing a robotic domain using temporal description logics},
journal = {{AI} {EDAM}},
volume = {13},
number = {2},
pages = {105--117},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=38691},
timestamp = {Thu, 09 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/aiedam/ArtaleF99},
bibsource = {dblp computer science bibliography, https://dblp.org}
}