Search - LOGIC-IN - TU Dortmund

Search
Personsearch

427 results

1. sfs
2. News: 10/14/2025
KonCheck: Encouraging young people to take a critical look at news articles

and trainees stated that they were not yet familiar with the concept of logical fallacies and that using the tool had a learning effect for them in this respect. [...] research project stand. This involves screening news articles in real time and using LLM to identify logical fallacies in the text to encourage users to engage in critical debate. In addition, a small survey …
1. GRK 2624
2. Research
3. Projects
R3: Gen-InterAna

classification method called logicDT (Lau et al., 2024). Similar to the logic regression-based logic bagging (Schwender and Ickstadt, 2008), but in an improved way, logicDT enables the direct detection [...] tree can be transformed into a logic tree generated by logic regression, and vice versa (see Ruczinski et al., 2003). Thus, all CART trees will be transformed into logic trees, making the contained in [...] such as logic regression (Ruczinski et al., 2001) and Random Forests (Breiman et al., 2001) in the construction of genetic risk scores, which naturally consider interactions when generating logic trees or …
1. Marketing
2. News: 7/17/2023
Research Visit by Prof. Moty Amar

program with Ono Academic College in Israel. To deepen the relationship in research, Prof. Moty Amar, Ph.D., visited Dortmund. Mr. Amar is the Deputy Head of the School of Marketing and Digital Communication [...] decisions that are supposedly made rationally, but at their core are driven by individual psycho-logic. He has studied "rational irrationality" in medical services, dietary decisions, and social media …
1. AQUA
2. Research
Artifacts, Datasets and Packages

https://github.com/LearnLib/cav2015-example , https://github.com/LearnLib/cav2015-demo . Falk Howar: Tutorial files for LearnLib Tutorial at ASE 2013, (2013). https://github.com/LearnLib/learnlib-ase20 [...] Till Schallau: Latex package for Temporal Logic Operators (2024). https://github.com/tudo-aqua/temporal-logic-latex-package , https://ctan.org/pkg/temporal-logic [...] 4060244 . Malte Mues, Sebastian Gerard, Falk Howar: Identification of Spurious Labels in MachineLearning Data Sets using N-Version Validation, (2020). https://github.com/tudo-aqua/n-version-label-validation …
1. VM
2. Research
3. Research focus
4. Current Projects
Hybrid-XAI

Engineering by Algorithms and Logic working group and the Virtual Machining working group within the Industry and Production research area of the Lamar Institute for Machine Learning and Artificial Intelligence [...] predicting process characteristics in machining production. A major focus is the research of hybrid learning methods that combine simulations and real measurements. These approaches contribute to minimising [...] Contact Cooperations Chair of Data Science and Data Engineering Software Engineering by Algorithms and Logic working group …
1. MSIND
2. News: 12/16/2021
Annual best award of the department for master students of our chair

In his master's thesis, Michael explored a connection between probability theory and propositional logic to express high-dimensional probabilistic interactions by low-dimensional rules. This makes it possible [...] Uncertainty in Artificial Intelligence (UAI) 2021. It can be downloaded here . Michael is now doing his PhD at the Department of Computer Science at Eberhard Karls University Tübingen under Professor Dr. Enkelejda …
1. DT
2. Teaching
3. Lectures
4. Winter term 2025/26
PhD: Research Methods in Information Systems - DT

Technical University of Dortmund Location: at UDE/RUB/TUDO Audience: UA Ruhr PhD students in the first year of their PhD who are interested in conducting research in the Information Systems (Wirtscha [...] research area, specific interests) until 13.10.2025 to dt.wiwi tu-dortmund de Learning objectives: This course seeks to provide PhD students in Information Systems with the fundamental knowledge for conducting [...] PhD students Research Methods in Information Systems Instructors: Frederik Ahlemann, University of Duisburg-Essen Christian Janiesch, Technical University of Dortmund Christian Meske, Ruhr University Bochum …
1. Computer Science
2. Professorships
Working groups

Systems Prof. Dr. Jean Christoph Jung Logic and Computing: Databases, Automata, Complexity Prof. Dr. Thomas Schwentick Verification and Formal Guarantees of Machine Learning Prof. Dr. Daniel Neider Practical [...] -Ing. Ben Hermann System Security Prof. Dr. Christian Rossow Artificial intelligence and machine learning Artificial Intelligence Prof. Dr. Stefan Harmeling Data Mining Prof. Dr. Erich Schubert Data Science [...] and Data Engineering Prof. Dr. Emmanuel Müller Human-AI interaction Prof. Dr. Sven Mayer Machine learning and artificial intelligence Prof. Dr. Michael Kamp Safe Autonomous Systems Prof. Dr. Sebastian Peitz …
1. Computer Science
2. Studies
3. Study programs
4. Master computer science
5. Technical focus
Software and service engineering

programming Software architectures Component and service-oriented software design Logical-algebraic system design Logical Methods of Software Engineering Virtualization and Compilation II: Aggressive Model [...] changing requirements. If you choose the professional focus "Software and Service Engineering", you will learn how to deal with the challenges of this growing complexity. The modules offered in the specialization …
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 …