MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reasoning on UML Class Diagrams is EXPTIME-hard." – 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
  • Reasoning on UML Class Diagrams is EXPTIME-hard  
  • by Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo — 2003 — IN PROC. OF THE 2003 DESCRIPTION LOGIC WORKSHOP (DL 2003), 3 HTTP://WWW.DMTF.ORG/STANDARDS/CIM/ 28–37. CEUR ELECTRONIC WORKSHOP PROCEEDINGS, HTTP://CEUR-WS.ORG/ VOL-81
  • …Reasoning on UML Class Diagrams is EXPTIME-hard Daniela Berardi, Diego Calvanese, and Giuseppe De…
  • Cited by 2 (1 self) – Add To MetaCart
  • Reasoning on UML Class Diagrams  
  • by Daniela Berardi , Andrea Cali, Diego Calvanese, Giuseppe Di Giacomo — 2003 — ARTIFICIAL INTELLIGENCE
  • … reasoning procedures. Our rst contribution is to show that reasoning on UML class diagrams is EXPTIME-hard…
  • Cited by 33 (9 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB