MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "EXPTIME tableaux for ALC." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • EXPTIME tableaux for ALC  
  • by Francesco M. Donini, Fabio Massacci — 2000 — ARTIFICIAL INTELLIGENCE
  • …Artificial Intelligence 124 (2000) 87–138 EXPTIME tableaux for ALC Francesco M. Donini a,c , Fabio…
  • Cited by 29 (3 self) – Add To MetaCart
  • EXPTIME Tableaux for ALC (Extended Abstract)  
  • by Guiseppe De Giacomo, Francesco M. Donini, Fabio Massacci
  • …EXPTIME Tableaux for ALC (Extended Abstract) Giuseppe De Giacomo 1 and Francesco M. Donini 1…
  • Add To MetaCart
  • EXPTIME Tableaux for  
  • by Exte Nd Ed, Francesco M. Donini, Fabio Massacci
  • …EXPTIME Tableaux for ALC (Extended Abstract) Giuseppe De Giacomo 1 and Francesco M. Donini 1…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB