A Correspondence between Temporal Description Logics

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/jancl/ArtaleL04, 

 author    = {Alessandro Artale and
              Carsten Lutz},
 title     = {A Correspondence between Temporal Description Logics},
 journal   = {Journal of Applied Non-Classical Logics},
 volume    = {14},
 number    = {1-2},
 year      = {2004},
 pages     = {209-233},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Correspondence_between_Temporal_Description_Logics"
Personal tools