@proceedings{KI2005,
	title = {{KI 2005:} Advances in Artificial Intelligence : 28th Annual German
	Conference on AI, {KI 2005}, Koblenz, Germany, September 11--14,
	2005, Proceedings},
	address = {Berlin, Heidelberg},
	editor = {Ulrich Furbach},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dx.doi.org/10.1007/11551263},
	volume = {3698},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2ba359de7cbd26d4a9104b2f8604df833/flint63},
	abstract = {This book constitutes the refereed proceedings of the 28th Annual
	German Conference on Artificial Intelligence, KI 2005, held in Koblenz,
	Germany, in September 2005 -- co-located with the 3rd German Conference
	on Multiagent System Technologies (MATES 2005).
	
	The 29 revised full papers presented together with 3 invited contributions
	were carefully reviewed and selected from 113 submissions. The papers
	are organized in topical sections on knowledge representation and
	reasoning, machine learning, diagnosis, neural networks, planning,
	robotics, and cognitive modeling, philosopy, natural language.},
	timestamp = {2008.04.29}, file = {Amazon Search inside:http\://www.amazon.de/gp/reader/3540287612/:URL}, isbn = {978-3-540-28761-2}, owner = {flint},
	keywords = {ai book conference springer v0805 }
}

@inproceedings{conf/ki/FurbachO07,
	title = {Knowledge Compilation for Description Logics.},
	author = {Ulrich Furbach and Claudia Obermaier},
	booktitle = {KESE},
	crossref = {conf/ki/2007bmi},
	editor = {Björn Gottfried},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/ki/kese2007.html#FurbachO07},
	volume = {296},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2c989f509be4495f6e11c2e0cd87e0f59/dblp},
	description = {dblp},
	date = {2008-06-02}, ee = {http://ceur-ws.org/Vol-282/03-furbach_obermaier_edit.pdf},
	keywords = {dblp }
}

@inproceedings{ferre00file,
	title = {A File System Based on Concept Analysis.},
	author = {S�bastien Ferr� and Olivier Ridoux},
	booktitle = {Computational Logic},
	crossref = {conf/cl/2000},
	editor = {John W. Lloyd and Ver�nica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Lu�s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey},
	pages = {1033-1047},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cl/cl2000.html#FerreR00},
	volume = {1861},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2a0885a6ef645fd9b9002ef5fc5e6146b/stumme},
	description = {dblp},
	date = {2002-01-03}, ee = {http://link.springer.de/link/service/series/0558/bibs/1861/18611033.htm}, isbn = {3-540-67797-6},
	keywords = {FCA OntologyHandbook dblp }
}

@inproceedings{conf/cade/Paskevich06,
	title = {Connection Tableaux with Lazy Paramodulation.},
	author = {Andrey Paskevich},
	booktitle = {IJCAR},
	crossref = {conf/cade/2006},
	editor = {Ulrich Furbach and Natarajan Shankar},
	pages = {112-124},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#Paskevich06},
	volume = {4130},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2743d16c3fe09888ff6e08259243055f9/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11814771_10}, isbn = {3-540-37187-7}, date = {2007-09-05},
	keywords = {dblp }
}

@inproceedings{conf/cade/BaumgartnerFP07,
	title = {Hyper Tableaux with Equality.},
	author = {Peter Baumgartner and Ulrich Furbach and Björn Pelzer},
	booktitle = {CADE},
	crossref = {conf/cade/2007},
	editor = {Frank Pfenning},
	pages = {492-507},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#BaumgartnerFP07},
	volume = {4603},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2ed09cdb6f7629a1f32776b536a11cf1b/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-73595-3_36}, isbn = {978-3-540-73594-6}, date = {2007-09-05},
	keywords = {dblp }
}

@inproceedings{conf/ki/FurbachO06,
	title = {Applications of Automated Reasoning.},
	author = {Ulrich Furbach and Claudia Obermaier},
	booktitle = {KI},
	crossref = {conf/ki/2006},
	editor = {Christian Freksa and Michael Kohlhase and Kerstin Schill},
	pages = {174-187},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/ki/ki2006.html#FurbachO06},
	volume = {4314},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2f91013ebab25ea37ce426fb243bbb8b6/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69912-5_14}, isbn = {978-3-540-69911-8}, date = {2007-08-23},
	keywords = {dblp }
}

@inproceedings{526,
	title = {Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets},
	author = {Yves Bastide and Nicolas Pasquier and Rafik Taouil and Gerd Stumme and Lotfi Lakhal},
	booktitle = {Computational Logic - CL 2000. Proc. CL '00},
	editor = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and  L. and M. Pereira and Y. Sagiv and  P. and J. Stuckey},
	pages = {972-986},
	publisher = {Springer, Heidelberg},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/24f81c972b658bf9736523e6fb1dd809e/example},
	description = {Institut AIFB - Publikationen},
	keywords = {imported }
}

@proceedings{conf/cade/2006,
	title = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
	booktitle = {IJCAR},
	editor = {Ulrich Furbach and Natarajan Shankar},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html},
	volume = {4130},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/20469fb8dab95bd2fa6cd3f24ab27c942/dblp},
	description = {dblp},
	isbn = {3-540-37187-7}, date = {2006-11-22},
	keywords = {dblp }
}

@inproceedings{conf/cade/Rabe06,
	title = {First-Order Logic with Dependent Types.},
	author = {Florian Rabe},
	booktitle = {IJCAR},
	crossref = {conf/cade/2006},
	editor = {Ulrich Furbach and Natarajan Shankar},
	pages = {377-391},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#Rabe06},
	volume = {4130},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/28d6b23c831c1e0e751ece84d232b45be/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11814771_33}, isbn = {3-540-37187-7}, date = {2006-11-22},
	keywords = {dblp }
}

@inproceedings{conf/cade/NipkowBS06,
	title = {Flyspeck I: Tame Graphs.},
	author = {Tobias Nipkow and Gertrud Bauer and Paula Schultz},
	booktitle = {IJCAR},
	crossref = {conf/cade/2006},
	editor = {Ulrich Furbach and Natarajan Shankar},
	pages = {21-35},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#NipkowBS06},
	volume = {4130},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2e2b9890f41da89bbf3386dcdd40ec28b/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11814771_4}, isbn = {3-540-37187-7}, date = {2006-11-22},
	keywords = {dblp }
}