Steffen Hölldobler

International Center for Computational Logic , Technische Universität Dresden , Germany; North-Caucasus Federal University , Stavropol , Russian Federation

3 papers in the IJCAI proceedings

IJCAI 2019

A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract)

with Emmanuelle-Anna Dietz Saldanha, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli

doi:10.24963/ijcai.2019/887

Details PDF

IJCAI 2007

A Fully Connectionist Model Generator for Covered First-Order Logic Programs

with Sebastian Bader, Pascal Hitzler, Andreas Witzel

Details PDF

IJCAI 1993

Spatial Reasoning and Connectionist Inference

with Antje Beringer, Franz J. Kurfess

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings