Maurice Funk

30 papers A* 7A 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2026 A ed.
29th International Conference on Database Theory, ICDT 2026, Tampere, Finland, March 24-27, 2026
ICDT
Balder ten Cate, Maurice Funk
2026 A* conf
Expressive Power of Graph Transformers via Logic.
AAAI
Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025 J jnl
Expressive Power of Graph Transformers via Logic.
CoRR
Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025 — conf
Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract).
DL
Maurice Funk, Marvin Grosser, Carsten Lutz
2025 A* conf
Fitting Description Logic Ontologies to ABox and Query Examples.
KR
Maurice Funk, Marvin Grosser, Carsten Lutz
2025 J jnl
Fitting Description Logic Ontologies to ABox and Query Examples.
CoRR
Maurice Funk, Marvin Grosser, Carsten Lutz
2025 — —
Learning queries under description logic ontologies.
Maurice Funk
2025 — conf
SAT-Based Bounded Fitting for the Description Logic
ISWC (1)
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2025 — conf
SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract).
DL
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2025 J jnl
SAT-Based Bounded Fitting for the Description Logic ALC.
CoRR
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2024 J jnl
On the non-efficient PAC learnability of conjunctive queries.
Inf. Process. Lett.
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 J jnl
Extremal Fitting CQs do not Generalize.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 A* conf
Extremal Fitting Problems for Conjunctive Queries.
PODS
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2023 J jnl
Fitting Algorithms for Conjunctive Queries.
SIGMOD Rec.
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 A* conf
SAT-Based PAC Learning of Description Logic Concepts.
IJCAI
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 J jnl
SAT-Based PAC Learning of Description Logic Concepts.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 — conf
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).
Description Logics
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 — conf
Towards Ontology Construction with Language Models.
KBC-LM/LM-KBC@ISWC
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
2023 J jnl
Towards Ontology Construction with Language Models.
CoRR
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
2022 — conf
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 J jnl
Extremal Fitting Problems for Conjunctive Queries.
CoRR
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2022 A* conf
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 J jnl
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
CoRR
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 J jnl
On the non-efficient PAC learnability of acyclic conjunctive queries.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 A* conf
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 J jnl
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
CoRR
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 — conf
Actively Learning ELI Queries under DL-Lite Ontologies.
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2019 — conf
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019 A* conf
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2017 — conf
A system for SMT based constraint programming in Java.
GI-Jahrestagung
Maurice Funk