Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Neuro-symbolische Integration

Aus Aifbportal

Wechseln zu: Navigation, Suche

Neuro-symbolische Integration




Veröffentlichungen zum Forschungsgebiet

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

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence, September, 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
Information, 9, (1), Januar, 2006
(Details)

↑ top

inproceedings
Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, CEUR Workshop Proceedings, 230, Hyderabad, India, Januar, 2007
(Details)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Sebastian Bader, Artur Garcez
Ontology leaning as a use case for neural-symbolic integration
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(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
In L. Li and K.K. Yen, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, Seiten: 22-33, International Information Institute, November, 2004
(Details)

↑ top

book
Barbara Hammer, Pascal Hitzler
Perspectives of Neural-Symbolic Integration
Springer, Berlin, Studies in Computational Intelligence, 77, September, 2007
(Details)

↑ top

incollection
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
The Core Method: Connectionist Model Generation for First-Order Logic Programs
In Barbara Hammer, Pascal Hitzler, Perspectives of Neural-Symbolic Integration, Seiten 205-232, Springer, Berlin, Studies in Computational Intelligenc, Vol.77, September, 2007
(Details)

Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration - a structured survey
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, J. Woods, We Will Show Them: Essays in Honour of Dov Gabbay, Seiten 167-194, International Federation for Computational Logic, College Publications, Vol.1, Juli, 2005
(Details)

↑ top

proceedings
Luc de Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass
Recurrent Neural Networks - Models, Capacities, and Applications
Dagstuhl Seminar Proceedings, Dagstuhl, Germany, April, 2008
(Details)

Artur Garcez, Pascal Hitzler, Guglielmo Tamburrini
Proceedings of the ECAI-06 Second International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'06, Riva del Garda, Italy, August 2006
August, 2006
(Details)

Artur Garcez, Jeff Elman, Pascal Hitzler
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005
August, 2005
(Details)

↑ top

techreport
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
AIFB, University of Karlsruhe, Archiv Nummer 1148, Februar, 2006
(Details)

↑ top

misc
Pascal Hitzler
Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
Habilitationsschrift (kumulativ), Dezember, 2004
(Details)

↑ top
-->