Sebastian Bader
From International Center for Computational Logic
Dr. Sebastian Bader
Former member
- Former PhD Researcher in Research Group Knowledge Representation and Reasoning
Newest Publications
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
Sebastian Bader
Neural-Symbolic Integration
Phd thesis, Technische Universität Dresden, 2009
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
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432, 2008
Details
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, 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
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, 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
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
Completed Theses
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- by Valentin Mayer-Eichberger (24 Januar 2006)
- Supervisor: Steffen Hölldobler, Sebastian Bader