BibSonomy publications for /author/Furbach http://www.bibsonomy.org/author/Furbach BibSonomy RSS Feed for /author/Furbach KI 2005: Advances in Artificial Intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11--14, 2005, Proceedings http://www.bibsonomy.org/bibtex/2ba359de7cbd26d4a9104b2f8604df833/flint63 flint63 2008-07-07T13:47:29+02:00 ai book conference springer v0805
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 v0805 by flint63 and 1 other person on 2008-07-07 13:47:29
]]> Knowledge Compilation for Description Logics. dblp http://www.bibsonomy.org/bibtex/2c989f509be4495f6e11c2e0cd87e0f59/dblp dblp 2008-06-02T00:00:00+02:00 dblp
Knowledge Compilation for Description Logics.
Ulrich Furbach and Claudia Obermaier KESE (2007)
to dblp by dblp on 2008-06-02 00:00:00
]]> A File System Based on Concept Analysis. dblp http://www.bibsonomy.org/bibtex/2a0885a6ef645fd9b9002ef5fc5e6146b/stumme stumme 2008-03-28T12:11:30+01:00 FCA OntologyHandbook dblp
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
]]> Connection Tableaux with Lazy Paramodulation. dblp http://www.bibsonomy.org/bibtex/2743d16c3fe09888ff6e08259243055f9/dblp dblp 2007-09-05T00:00:00+02:00 dblp
Connection Tableaux with Lazy Paramodulation.
Andrey Paskevich IJCAR 112-124 (2006)
to dblp by dblp on 2007-09-05 00:00:00
]]> Hyper Tableaux with Equality. dblp http://www.bibsonomy.org/bibtex/2ed09cdb6f7629a1f32776b536a11cf1b/dblp dblp 2007-09-05T00:00:00+02:00 dblp
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
]]> Applications of Automated Reasoning. dblp http://www.bibsonomy.org/bibtex/2f91013ebab25ea37ce426fb243bbb8b6/dblp dblp 2007-08-23T00:00:00+02:00 dblp
Applications of Automated Reasoning.
Ulrich Furbach and Claudia Obermaier KI 174-187 (2006)
to dblp by dblp on 2007-08-23 00:00:00
]]> Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets Institut AIFB - Publikationen http://www.bibsonomy.org/bibtex/24f81c972b658bf9736523e6fb1dd809e/example example 2007-01-12T12:23:27+01:00 imported
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
]]> Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings dblp http://www.bibsonomy.org/bibtex/20469fb8dab95bd2fa6cd3f24ab27c942/dblp dblp 2006-11-22T00:00:00+01:00 dblp
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
]]> First-Order Logic with Dependent Types. dblp http://www.bibsonomy.org/bibtex/28d6b23c831c1e0e751ece84d232b45be/dblp dblp 2006-11-22T00:00:00+01:00 dblp
First-Order Logic with Dependent Types.
Florian Rabe IJCAR 377-391 (2006)
to dblp by dblp on 2006-11-22 00:00:00
]]> Flyspeck I: Tame Graphs. dblp http://www.bibsonomy.org/bibtex/2e2b9890f41da89bbf3386dcdd40ec28b/dblp dblp 2006-11-22T00:00:00+01:00 dblp
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
]]>