Publications of Sebastian Bader

From International Center for Computational Logic
Toggle side column

Publications of Sebastian Bader


Journal Articles

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432,  2008
Details

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence,  2008
Details

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Journal of Information, 9(1):7-20, January 2006
Details Download

Sebastian Bader, Pascal Hitzler
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):273-300, 2004
Details


Proceedings Articles

Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach
In A. S. d'Avila Garcez and P. Hitzler and G. Tamburrini, eds., Proceedings of the IJCAI-07 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'07), volume 230, 2007
Details Download

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press
Details Download

Nuno C. Marques, Sebastian Bader, Vitor Rocio, Steffen Hölldobler
Neuro-Symbolic Word Tagging
In José Machado José Neves, Manuel Filipe Santos, eds., New Trends in Artificial Intelligence, 779-790, 2007. APPIA - Associação Portuguesa para a Inteligência Artificial Edition (ISBN-13 978-989-95618-0-9)
Details

Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download

Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell and Z. Markov, eds., Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, 314-319, 2005. AAAI Press
Details Download

Pascal Hitzler, Sebastian Bader, Artur S. d'Avila Garcez
Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper
Proceedings of the IJCAI-05 workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005, 2005
Details Download

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download

Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —
In G. Palm S. Biundo, T. Frühwirth, eds., KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th AnnualGerman Conference on Artificial Intelligence, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 281-294, 2004. Springer
Details Download

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
In L. Li and K. K. Yen, eds., Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, 22-33, 2004. International Information Institute
Details Download


Books

Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details


Book Chapters

Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration — a structured survey
In S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods, eds., We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, 167-194. King's College Publications,  2005
Details Download


Doctoral Theses

Sebastian Bader
Neural-Symbolic Integration
Phd thesis, Technische Universität Dresden, 2009
Details