BibSonomy :: author  ::

bookmarks

publications

(307)

• KI 2005: Advances in Artificial Intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11--14, 2005, Proceedings
  Ulrich Furbach (eds.). (2005)
  to ai book conference springer v0804 by flint63 and 1 other person on 2008-05-03 17:09:17
  | URL | BibTeX  
• A File System Based on Concept Analysis.
  S�bastien Ferr� and Olivier Ridoux Computational Logic 1033-1047 (2000)
  to FCA OntologyHandbook dblp by stumme on 2008-03-28 12:11:30
  | URL | BibTeX  
• Connection Tableaux with Lazy Paramodulation.
  Andrey Paskevich IJCAR 112-124 (2006)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Hyper Tableaux with Equality.
  Peter Baumgartner and Ulrich Furbach and Björn Pelzer CADE 492-507 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Applications of Automated Reasoning.
  Ulrich Furbach and Claudia Obermaier KI 174-187 (2006)
  to dblp by dblp on 2007-08-23 00:00:00
  | URL | BibTeX  
• Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets
  Yves Bastide and Nicolas Pasquier and Rafik Taouil and Gerd Stumme and Lotfi Lakhal Computational Logic - CL 2000. Proc. CL '00 972-986 (2000)
  to imported by example and 3 other people on 2007-01-12 12:23:27
  | BibTeX  
• Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
  Ulrich Furbach and Natarajan Shankar (eds.). IJCAR (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX  
• First-Order Logic with Dependent Types.
  Florian Rabe IJCAR 377-391 (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX  
• Flyspeck I: Tame Graphs.
  Tobias Nipkow and Gertrud Bauer and Paula Schultz IJCAR 21-35 (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX  
• Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.
  Allen Van Gelder and Geoff Sutcliffe IJCAR 156-161 (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX