Maurice Funk

I am a PhD candidate in the knowledge representation group at Leipzig University under supervision of Carsten Lutz. Previously, this group was the Theory of Artificial Intelligence group at the University of Bremen.

I am interested in exact learning, querying under background knowledge, and description logic ontologies.

News

• My paper SAT-Based PAC Learning of Description Logic Concepts won a distinguished paper award at IJCAI 2023
• The paper Extremal Fitting Problems for Conjunctive Queries won the best paper award at PODS 2023
• I will talk about exact learning of concepts in a KR 2023 tutorial
• My paper Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies is a honorable mention for distinguished paper at IJCAI 2021

Publications

• SAT-Based PAC Learning of Description Logic Concepts
  IJCAI 2023 with Balder ten Cate, Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2023/373 • arXiv (long version)
• Extremal Fitting Problems for Conjunctive Queries
  PODS 2023 with Balder ten Cate, Victor Dalmau and Carsten Lutz
  10.1145/3584372.3588655 • arXiv (long version)
• Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies
  DL 2022 with Jean Christoph Jung and Carsten Lutz
  ceur-ws • pdf (long version)
• Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
  IJCAI-ECAI 2022 with Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2022/364 • arXiv (long version)
• Actively Learning ELI Queries under DL-Lite Ontologies
  DL 2021 with Jean Christoph Jung and Carsten Lutz
  ceur-ws • pdf (long version)
• Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
  IJCAI 2021 with Jean Christoph Jung and Carsten Lutz
  10.24963/ijcai.2021/260 • arXiv (long version) • bib
• Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
  IJCAI 2019 with Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, and Frank Wolter
  10.24963/ijcai.2019/233 • bib
• Concept-by-Example in EL Knowledge Bases
  my master's thesis
  pdf • bib
• See the group's publication list or dblp for more

Teaching

• Logic (summer semester 2022 and 2023)
• Automata and Formal Languages (winter semester 2021/22 and 2022/23)
• Theoretical Computer Science 2: Computability and Complexity (summer semester 2019 and 2021)
• Mathematics 1: Logic, Combinatorics, and Linear Algebra (winter semester 2020/21)
• Mathematics for Computer Scientists 2 (summer semester 2020)

Software

• SPELL (SAT-based PAC EL Concept Learner)

Contact

Visitors

Room P812, Paulinum, Leipzig University

Email

mfunk [ÄT] informatik.uni-leipzig.de

Online

LinkedIn • ORCiD • google scholar

last updated on 2023-08-24