Courses for the summer semester 2024
The overview of the courses for the summer semester 2024 is now online.
Distinguished Paper at IJCAI 2023
Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.
Courses for the winter semester 2023/2024
The overview of the courses for the winter semester 2023/2024 is now online.
Tutorial on Concept Learning in Description Logics at KR 2023
Jointly with colleagues from the universities of Paderborn, Leipzig, and Liverpool, Jean Christoph Jung will offer a tutorial on concept learning in…
Three articles by group Logic and Computing accepted at MFCS 2023
At the conference MFCS 2023 two papers from the Logic and Computing group and one paper from an undergraduate student were accepted.
New DFG-funded project „Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles“
The DFG funds the project "Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles" for three years...
One Article by group Knowledge-Based Systems accepted at IJCAI 2023
The article "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University),…
New DFG-funded project „Foundations of work-efficient constant-time parallel dynamic and static algorithms“
The DFG funds the project "Foundations of work-efficient constant-time parallel dynamic and static algorithms" for three years. The project of the…