A Tableau Algorithm for Reasoning about Concepts and Similarity

From Tetherless World Wiki

Jump to: navigation, search
 A Tableau Algorithm for Reasoning about Concepts and Similarity
Has publishing details  pp. 134-149, 2003
Has title  A Tableau Algorithm for Reasoning about Concepts and Similarity
Has where published  TABLEAUX
Has year  2003
Has author  Carsten Lutz +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:conf/tableaux/LutzWZ03 +
Categories  Proceeding Paper +

 

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