BibSonomy publications for /author/Hustadt http://www.bibsonomy.org/author/Hustadt BibSonomy RSS Feed for /author/Hustadt Deciding expressive description logics in the framework of resolution. dblp http://www.bibsonomy.org/bibtex/2fcf01e3ca82b4993bb790eb099926d7f/dblp dblp 2008-06-12T00:00:00+02:00 dblp
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
]]> Description Logics and Disjunctive Datalog The Story so Far DBLP Record 'conf/dlog/HustadtM05' http://www.bibsonomy.org/bibtex/2bb22e87d85d22d67d35519fd41ae4bbc/thau thau 2008-03-10T17:04:07+01:00 4dave
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
]]> Description Logics and Disjunctive Datalog The Story so Far DBLP Record 'conf/dlog/HustadtM05' http://www.bibsonomy.org/bibtex/2bb22e87d85d22d67d35519fd41ae4bbc/ludaesch ludaesch 2007-11-15T20:06:25+01:00 4dave DL disjunction
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
]]> The axiomatic translation principle for modal logic. dblp http://www.bibsonomy.org/bibtex/25d0e063cfd4b73591fa27f6c841a322d/dblp dblp 2007-10-23T00:00:00+02:00 dblp
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
]]> Reasoning in Description Logics by a Reduction to Disjunctive Datalog. dblp http://www.bibsonomy.org/bibtex/279bdaf777ad3320f18289df171389e65/dblp dblp 2007-09-18T00:00:00+02:00 dblp
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
]]> Reducing SHIQ Description Logic to Disjunctive Datalog Programs My bibtex file http://www.bibsonomy.org/bibtex/247dc8591957dc5ec35c555de452951e4/moustaki moustaki 2007-03-28T16:44:39+02:00 imported
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
]]> First-Order Temporal Verification in Practice. dblp http://www.bibsonomy.org/bibtex/20cec819bca5261c3f08c130c88839dfb/dblp dblp 2007-02-09T00:00:00+01:00 dblp
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
]]> Data Complexity of Reasoning in Very Expressive Description Logics This the basis of the HORN-SHIQ tractable fragment in the OWL1.1 submission http://www.bibsonomy.org/bibtex/220b8a19d9036ef70e3dee51cb3eaa95e/ivan_herman ivan_herman 2007-01-12T11:31:30+01:00 descriptionlogic owl owl1.1 semanticweb
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
]]> Automated Reasoning About Metric and Topology. dblp http://www.bibsonomy.org/bibtex/256e2de40e3db554250943e85420dab52/dblp dblp 2006-10-30T00:00:00+01:00 dblp
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
]]> A Survey of Decidable First-Order Fragments and Description Logics http://www.bibsonomy.org/bibtex/29c9bf331ae9510512a45612694c3440e/hotho hotho 2006-03-14T16:03:43+01:00 description first fragments logic order survey
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
]]>