Hahmann, Torsten

2 publications

AAAI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets Shirly Stephen, Torsten Hahmann

IJCAI 2011 Multidimensional Mereotopology with Betweenness Torsten Hahmann, Michael Grüninger