Maurice Funk

According to our database, Maurice Funk authored at least 15 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the non-efficient PAC learnability of conjunctive queries.

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

Inf. Process. Lett., January, 2024

2023

Fitting Algorithms for Conjunctive Queries.

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

SIGMOD Rec., December, 2023

Extremal Fitting CQs do not Generalize.

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

CoRR, 2023

Extremal Fitting Problems for Conjunctive Queries.

Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Towards Ontology Construction with Language Models.

Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz

Proceedings of the Joint proceedings of the 1st workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM) and the 2nd challenge on Language Models for Knowledge Base Construction (LM-KBC) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

SAT-Based PAC Learning of Description Logic Concepts.

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

On the non-efficient PAC learnability of acyclic conjunctive queries.

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

CoRR, 2022

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.

Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.

Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.

Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Actively Learning ELI Queries under DL-Lite Ontologies.

Maurice Funk, Jean Christoph Jung, Carsten Lutz

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

Proceedings of the 32nd International Workshop on Description Logics, 2019

2017

A system for SMT based constraint programming in Java.

Maurice Funk

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017