Search - LOGIC-IN - TU Dortmund

Search
Personsearch

440 results

1. LOGIC-IN
2. News: 5/30/2023
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), Jean Christoph Jung (TU Dortmund University) und Carsten …
1. SEAL
2. Team
3. Head of Scientific Staff
Prof. Dr. Jakob Rehof

Research Areas Algorithms and complexity in type theory and logic Program synthesis integrated with simulation, optimization, and machine learning Verification and trustworthy AI Previous tab Next tab Biography [...] chair of Software Engineering, and as of April 2024 director of the Lamarr Institute for Machine Learning and Artificial Intelligence in Dortmund. By joint appointment, Rehof was director of the Fraunhofer [...] Jakob Rehof studied Computer Science and Mathematics at the University of Copenhagen and got his Ph.D. in Computer Science at DIKU, Department of Computer Science, University of Copenhagen. In 1997 Rehof …
1. Computer Science
2. Department
3. Committees and contact persons
4. Quality Improvement Commission (QUEST)
Financed from QUEST

from QUEST Quest-funded online offerings: DVEW tool Web application for BS EINI Wiki Interactive logic exercises Quest-funded project groups: PG 568 Tablets PG 571 SHKs PG 572 Raspberri Pis PG 576 Components [...] Components Quadcopter PG 580 SHKs PG 582 Workstation PG 584 Smartwatches PG 602 GPUs (Deep Learning) PG 603 Budget Low Energy Boards (Cluster) PG 614 Storage media PG 620 Racing cars …
1. Computer Science
2. News: 9/21/2023
Distinguished Paper on IJCAI 2023

The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (University of Leipzig), Jean Christoph Jung (TU Dortmund) and Carsten Lutz …
1. Computer Science
2. News: 10/28/2025
Successful DFG application: Jean Christoph Jung receives funding for innovative project on ontology and query research

the learning of queries and ontologies from sample data both theoretically and to develop practical implementation options. The research project thus builds a bridge between the fields of logic, databases [...] 1 has been awarded an important grant from the German Research Foundation (DFG) for the project "Learning queries and ontologies from data". The project applied for by Jung together with Prof. Carsten Lutz [...] databases and the theory of machine learning. The work with graph databases, a flexible and increasingly popular data model, is particularly exciting. The project aims to help users formulate complex queries …
1. LOGIC-IN
2. News: 10/29/2025
Successful DFG application: Jean Christoph Jung receives funding for innovative project on ontology and query research

the learning of queries and ontologies from sample data both theoretically and to develop practical implementation options. The research project thus builds a bridge between the fields of logic, databases [...] 1 has been awarded an important grant from the German Research Foundation (DFG) for the project "Learning queries and ontologies from data". The project applied for by Jung together with Prof. Carsten Lutz [...] databases and the theory of machine learning. The work with graph databases, a flexible and increasingly popular data model, is particularly exciting. The project aims to help users formulate complex queries …
1. TU Dortmund
2. News: 9/21/2021
Research Team Finds Security Gaps in Software Systems

of autonomous and safety-critical software systems. We are particularly interested in the use of learning and formal methods of analyzing the behavior of these systems. The aim of our work is to test software [...] In the funded project, we use automated reasoning – in other words, symbolic reasoning based on logic – which is a branch of artificial intelligence. A research tool called “JDart” – a framework for …
1. Computer Science
2. Studies
3. International
Incomings

semester INF-MSc-236: Machine Learning Paradigms for Complex Data INF-MSc-507: Natural Language Processing INF-MSc-521: Industrial Data Science 2 Reinforcement Learning* Deep Learning Winter semester INF-Msc-523: [...] lecturers. In addition, you benefit from modern teaching and learning resources such as rentable study rooms, smart boards, computer pools and an e-learning platform where you can access your course materials from [...] Machine Learning Irregular INF-MSc-502: Computer Vision Data Science Challenges in Practice Graph Mining and Exploration Algorithms Summer semester INF-MSc-602 : Geometric Algorithms INF-MSc-609: Logic and …
1. BCI
2. Interested
3. Curious
Biochemical and Chemical Engineering Self Assessment

the BCI faculty, you will learn everything about the requirements and perspectives of the study program: tasks from the areas of mathematics, understanding of technology and logic, but also about subject …
1. LOGIC-IN
2. News: 9/15/2023
Distinguished Paper at IJCAI 2023

The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University), Jean Christoph Jung (TU Dortmund University) and Carsten …