Search - LOGIC-IN - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

81 results

1
2
3
4
5
Next
Last Page

1. LOGIC-IN
2. News: 11/3/2022
The chair 1 - Logic in Computer Science is pleased to welcome a new member

Hildesheim. He conducts research mainly in logic-based artificial intelligence, in logic in computer science, and on the combination of logic and learning. At Chair 1 - Logic in Computer Science, Prof. Jung will [...] November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair. Prof. Jung received his PhD from the University of Bremen in 2014 and was employed there as a research assistant from 2014 to 2020 …
1. Computer Science
2. Studies
3. Study programs
4. Master computer science
5. Technical focus
Logics, Information and Knowledge

derive new knowledge. The importance of logic here ranges from databases to ontologies to comprehensive knowledge-based systems. In this focus, you can learn about logics, information, and knowledge from very [...] as the role of logic in software creation. The focus is rounded off by methods for automatic knowledge acquisition based on automatic learning. Prerequisites for the specialization "Logics, Information, [...] topics in knowledge presentation Functional and rule-based programming Logic and Complexity Logical-algebraic system design Logical methods of software engineering Probabilistic graphical models Speech …
1. AQUA
2. Teaching
Software Verification

Students will acquire basic knowledge of logics and algorithms for finding models for logical formulas relevant in the field of software verification. They will learn to compare and apply verification methods [...] problem to a logical satisfiability problem or into an automata-based representation. As a basis for the automation of the considered verification methods, the mechanization of formal logic is discussed [...] verification of programs, deductive and inductive methods are compared. Starting from classical Hoare logic and simple search, e.g., methods generating inductive invariants during verification are considered …
1. LOGIC-IN
2. Personen
3. Professors
4. Prof. Dr. Thomas Schwentick
Curriculum Vitae

Studies in Mathematics and Computer Science at Johannes Gutenberg-Universität Mainz Diploma 1989 Ph.D. 1995: On Winning Ehrenfeucht Games and Monadic NP Habilitation 1999 Friedrich-Schiller-Universität [...] August 2001 - September 2005 Universität Dortmund Full Professor for Theoretical Computer Science : Logic in Computer Science since October 2005 Awards Landesbank Rheinland-Pfalz - Girozentrale - award for [...] 2006 Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-Variable Logic on Data Trees and XML Reasoning Best paper award, ACM Symposium on Principles of Database Systems …
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. 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 [...] Machine learning and artificial intelligence Prof. Dr. Michael Kamp Safe Autonomous Systems Prof. Dr. Sebastian Peitz Smart City Science Junior Professor Dr. Thomas Liebig Automated Machine Learning and [...] Klaus-Tycho Förster 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 …
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 …
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
2
3
4
5
Next
Last Page