A system for SMT based constraint programming in Java. - Maurice Funk (GI-Jahrestagung, 2017)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (IJCAI, 2019)

Actively Learning ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2021)

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2021)

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2022)

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2022)

On the non-efficient PAC learnability of acyclic conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2022)

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2023)

SAT-Based PAC Learning of Description Logic Concepts. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2023)

Towards Ontology Construction with Language Models. - Maurice Funk; Simon Hosemann; Jean Christoph Jung; Carsten Lutz (KBC-LM/LM-KBC@ISWC, 2023)

Extremal Fitting Problems for Conjunctive Queries. - Balder ten Cate; Victor Dalmau; Maurice Funk; Carsten Lutz (PODS, 2023)

Extremal Fitting CQs do not Generalize. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2023)

Fitting Algorithms for Conjunctive Queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (SIGMOD Rec., 2023)

On the non-efficient PAC learnability of conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Inf. Process. Lett., 2024)

SAT-Based Bounded Fitting for the Description Logic ALC. - Maurice Funk; Jean Christoph Jung; Tom Voellmer (CoRR, 2025)