MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Discrete Tableau Algorithms for FSHI." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Discrete tableau algorithms for FSHI  
  • by Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang — 2006 — In Proceedings of the International Workshop on Description Logics (DL 2006), Lake District
  • …Discrete Tableau Algorithms for FSHI ∗ Yanhui Li 1 , Baowen Xu 1,2 , Jianjiang Lu 3 and Dazhou…
  • Cited by 5 (1 self) – Add To MetaCart
  • Description Logics DL’06  
  • by Bijan Parsia, Ulrike Sattler, David Toman — 2006
  • …, Carsten Lutz, Maja Miličić and Frank Wolter . . 27 Discrete Tableau Algorithms for FSHI. Yanhui Li, Baowen…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB