Library

Export 5 results:
Filters: Author is Steffen Holldobler  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
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.
D
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)