A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/logcom/SturmW02, 

 author    = {Holger Sturm and
              Frank Wolter},
 title     = {A Tableau Calculus for Temporal Description Logic: the Expanding
              Domain Case},
 journal   = {J. Log. Comput.},
 volume    = {12},
 number    = {5},
 year      = {2002},
 pages     = {809-838},
 ee        = {http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_05/120809.sgm.abs.html},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

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