ML Anthology

Stephen, Shirly

1 publications

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