sign in · help · news · about ·

BibSonomy :: author :: Baader ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(262)

<< < 1 | 2 | 3 > >>

Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases.
Franz Baader, Manfred A. Jeusfeld, and Werner Nutt SIGMOD Record 26(4):44-48 (1997)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Combination of Compatible Reduction Orderings that are Total on Ground Terms.
Franz Baader LICS, page 2-13. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Franz Baader, Martin Knechtel, and Rafael Peñaloza Journal of Web Semantics (2012)
to myown by mknechtel on Jan 13, 2012, 3:36 PM
URL | BibTeX
The Description Logic Handbook: Theory, Implementation, and Applications
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider Cambridge University Press, 2nd edition, (2010)
to logic by voj on Jan 9, 2012, 9:02 AM
BibTeX
Terminological Cycles in KL-ONE-based Knowledge Representation Languages.
Franz Baader AAAI, page 621-626. AAAI Press / The MIT Press, (1990)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
KRIS: Knowledge Representation and Inference System.
Franz Baader, and Bernhard Hollunder SIGART Bulletin 2(3):8-14 (1991)
to dblp by dblp on Dec 6, 2011, 12:00 AM
URL | BibTeX
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Franz Baader, and Stephan Tobies CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, and Frank Wolter CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Unification in the Description Logic EL without the Top Concept.
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska CADE, volume 6803 of Lecture Notes in Computer Science, page 70-84. Springer, (2011)
to dblp by dblp and 1 other user on Nov 21, 2011, 12:00 AM
URL | BibTeX
SI! Automata Can Show PSPACE Results for Description Logics.
Franz Baader, Jan Hladik, and Rafael Peñaloza LATA, Report 35/07, page 67-78. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Unification in modal and description logics.
Franz Baader, and Silvio Ghilardi Logic Journal of the IGPL 19(6):705-730 (2011)
to dblp by dblp on Nov 4, 2011, 12:00 AM
URL | BibTeX
What's new in Description Logics.
Franz Baader Informatik Spektrum 34(5):434-442 (2011)
to dblp by dblp and 1 other user on Oct 20, 2011, 12:00 AM
URL | BibTeX
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.
Franz Baader, and Rafael Peñaloza FroCos, volume 6989 of Lecture Notes in Computer Science, page 55-70. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
What’s new in Description Logics
Franz Baader Informatik-Spektrum 34(5):434-442 (October 2011)
to ai knowledge springer v1010 paper theory semantic processing web ontology zzz.th.c3 logic by flint63 and 1 other user on Oct 5, 2011, 4:35 PM
DOI | BibTeX
Unification in Commutative Theories.
Franz Baader J. Symb. Comput. 8(5):479-497 (1989)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.
Franz Baader, and Klaus U. Schulz J. Symb. Comput. 21(2):211-243 (1996)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Unification of Concept Terms in Description Logics.
Franz Baader, and Paliath Narendran J. Symb. Comput. 31(3):277-305 (2001)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
From Tableaux to Automata for Description Logics.
Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter Fundam. Inform. 57(2-4):247-279 (2003)
to dblp by dblp and 1 other user on Sep 12, 2011, 12:00 AM
URL | BibTeX
Unification in Commutative Idempotent Monoids.
Franz Baader, and Wolfram Büttner Theor. Comput. Sci. (1988)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Are fuzzy description logics with general concept inclusion axioms decidable?
Franz Baader, and Rafael Peñaloza FUZZ-IEEE, page 1735-1742. IEEE, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper