BibSonomy :: author  ::

bookmarks

publications

(451)

• Unification theory.
  Franz Baader and Jörg H. Siekmann Handbook of Logic in Artificial Intelligence and Logic Programming (2) 41-126 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI Vienna, Austria, September 19--21, 2001, Proceedings
  Franz Baader and Gerhard Brewka and Thomas Eiter (eds.). (2001)
  to ai book conference springer v0804 by flint63 and 1 other person on 2008-05-03 17:09:17
  | URL | BibTeX  
• Term Rewriting and All That
  Franz Baader and Tobias Nipkow (1998)
  to imported by mh on 2008-04-23 16:38:41
  | BibTeX  
• The description logic handbook: theory, implementation, and applications
  Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider (eds.). (2003)
  to imported by vrandezo and 10 other people on 2008-04-02 15:35:07
  | BibTeX  
• Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis.
  G. Stumme and R. Taouil and Y. Bastide and N. Pasquier and L. Lakhal KI 2001: Advances in Artificial Intelligence 335--350 (2001)
  to 2001 FCA OntologyHandbook myown by stumme and 2 other people on 2008-03-28 12:11:30
  | BibTeX  
• Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
  Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler IJCAI 230-235 (2007)
  to FCA OntologyHandbook analysis concept description dl fca formal logics by stumme and 3 other people on 2008-03-28 12:11:30
  | URL | BibTeX  
• The Description Logic Handbook: Theory, Implementation and Applications
  Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider (eds.). (2003)
  to DL by sb3000 and 10 other people on 2008-03-10 11:27:09
  | BibTeX  
• The Description Logic Handbook: Theory, Implementation and Applications
  F. Baader and D. McGuinness and D. Nardi and P.F. Patel-Schneider (2003)
  to description logic by aljsanchez and 3 other people on 2008-03-07 05:57:59
  | BibTeX  
• The Description Logic Handbook
  Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider (eds.). (2003)
  to description logic owl by gromgull and 2 other people on 2008-03-06 16:46:44
  | BibTeX  
• A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
  Franz Baader and Felix Distel ICFCA 46-61 (2008)
  to dblp by dblp on 2008-02-28 00:00:00
  | URL | BibTeX