Bibsonomy :: author  ::

bookmarks

publications

(48)

• Deciding expressive description logics in the framework of resolution.
  Ullrich Hustadt and Boris Motik and Ulrike Sattler Inf. Comput. 206 579-601 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Description Logics and Disjunctive Datalog The Story so Far
  Ullrich Hustadt and Boris Motik Description Logics (2005)
  to 4dave by thau and 2 other people on 2008-03-10 17:04:07
  | BibTeX  
• Description Logics and Disjunctive Datalog The Story so Far
  Ullrich Hustadt and Boris Motik Description Logics (2005)
  to 4dave DL disjunction by ludaesch and 2 other people on 2007-11-15 20:06:25
  | BibTeX  
• The axiomatic translation principle for modal logic.
  Renate A. Schmidt and Ullrich Hustadt ACM Trans. Comput. Log. 8 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX  
• Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
  Ullrich Hustadt and Boris Motik and Ulrike Sattler J. Autom. Reasoning 39 351-384 (2007)
  to dblp by dblp on 2007-09-18 00:00:00
  | URL | BibTeX  
• Reducing SHIQ Description Logic to Disjunctive Datalog Programs
  U. Hustadt and B. Motik and U. Sattler Proc. of the 9th International Conference on Knowledge Representation and Reasoning (KR2004) 152-162 (2004)
  to imported by moustaki and 1 other person on 2007-03-28 16:44:39
  | URL | BibTeX  
• First-Order Temporal Verification in Practice.
  M. Carmen Fernández Gago and Ullrich Hustadt and Clare Dixon and Michael Fisher and Boris Konev J. Autom. Reasoning 34 295-321 (2005)
  to dblp by dblp on 2007-02-09 00:00:00
  | URL | BibTeX  
• Data Complexity of Reasoning in Very Expressive Description Logics
  Ullrich Hustadt and Boris Motik and Ulrike Sattler Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI-05) (2005)
  to descriptionlogic owl owl1.1 semanticweb by ivan_herman and 1 other person on 2007-01-12 11:31:30
  | URL | BibTeX  
• Automated Reasoning About Metric and Topology.
  Ullrich Hustadt and Dmitry Tishkovsky and Frank Wolter and Michael Zakharyaschev JELIA 490-493 (2006)
  to dblp by dblp on 2006-10-30 00:00:00
  | URL | BibTeX  
• A Survey of Decidable First-Order Fragments and Description Logics
  U. Hustadt and R. A. Schmidt and L. Georgieva (2004)
  to description first fragments logic order survey by hotho on 2006-03-14 16:03:43
  | URL | BibTeX