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

From Tetherless World Wiki

Jump to: navigation, search
 A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
Has publishing details  12(5):809-838, 2002
Has title  A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
Has where published  J. Log. Comput.
Has year  2002
Has author  Holger Sturm +, Frank Wolter +
Has identifier  DBLP:journals/logcom/SturmW02 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools