Library

Export 5 results:
Filters: Author is Steffen Holldobler  [Clear All Filters]
Conference Paper
Pascal Hitzler, Natalia Cherchago, Steffen Holldobler. Decidability Under the Well-Founded Semantics. In First International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007.  (70 KB)
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. Hyderabad, India; 2007. p. 666-671.
Sebastian Bader, Steffen Holldobler, Pascal Hitzler. The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. In Third International Conference on Information. Tokyo, Japan; 2004.  (166.22 KB)