A Tableau Decision Algorithm for Modalized ALC with Constant Domains

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/sLogica/LutzSWZ02, 

 author    = {Carsten Lutz and
              Holger Sturm and
              Frank Wolter and
              Michael Zakharyaschev},
 title     = {A Tableau Decision Algorithm for Modalized ALC with Constant
              Domains},
 journal   = {Studia Logica},
 volume    = {72},
 number    = {2},
 year      = {2002},
 pages     = {199-232},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

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