Sebastian Bader

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Sebastian Bader

Ehemaliges Mitglied
Sebastian Bader

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

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

Komplette Publikationsliste anzeigen



Abgeschlossene Arbeiten