Hölldobler, Steffen

7 publications

IJCAI 2019 A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli

JAIR 2018 A Core Method for the Weak Completion Semantics with Skeptical Abduction Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli

IJCAI 2007 A Fully Connectionist Model Generator for Covered First-Order Logic Programs Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

JAIR 2006 FluCaP: A Heuristic Search Planner for First-Order MDPs Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova

AAAI 1993 On the Adequateness of the Connection Method Antje Beringer, Steffen Hölldobler

IJCAI 1993 Spatial Reasoning and Connectionist Inference Antje Beringer, Steffen Hölldobler, Franz J. Kurfess

AAAI 1990 A Structured Connectionist Unification Algorithm Steffen Hölldobler