Search - LOGIC-IN - TU Dortmund

Search
Personsearch

427 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. TU Dortmund
2. University
Prof. Daniel Neider

2022: Professor of Security and Explainability of Learning Systems at the Carl von Ossietzky University of Oldenburg Main focus: Secure machine learning Safety and reliability of artificial intelligence [...] Daniel Neider Professorship: Verification and Formal Guarantees of Machine Learning, since 1 November 2022 To the Professorship Department: Department of Computer Science Research Center “Trustworthy Data [...] Science at RWTH Aachen University 2008: Diploma in Information Systems at RWTH Aachen University 2014: PhD in Computer Science at RWTH Aachen University 2022: Habilitation in theoretical computer science at …
1. TU Dortmund
2. University
Prof. Stefan Harmeling

Tübingen University professor for machine learning at the Heinrich Heine University in Düsseldorf Main focus: Machine Learning deep learning reinforcement learning Causality [...] Mathematics with minor in Logic at the University of Münster 2000: Master of Science in Computer Science with specialization in Artificial Intelligence at Stanford University, USA 2005: PhD in the scientific [...] discipline of Machine Learning at the University of Potsdam © Lutz Kampert Stages: Postdoc at the University of Edinburgh, Scotland Postdoc at the Max Planck Institute for Biological Cybernetics and the …
1. TU Dortmund
2. News: 11/22/2022
First Professorship Filled at the Research Center Trustworthy Data Science and Security

required - from computer science and statistics to sociology and psychology. Pioneer in combining logic and learning The first professorship now filled contributes efficient techniques to tackle these problems: [...] computer scientist, Prof. Neider combines deductive methods of mathematical logic and inductive methods of machine learning in an innovative way. He has been doing pioneering work in this area for more [...] in Computer-Augmented Program Engineering”. From 2017 to 2022, he led the research group “Logic and Learning” at the Max Planck Institute for Software Systems with a focus on formal methods for intelligent …
1. HdHf
2. Research
3. Talks and Presentations
Shifting governance arrangements

time, the accountability following the quasi-market logics has increased the oversight over all academic activities, including teaching and learning. The tensions abound for academic work in this context [...] whereby the academic logic guiding academic self-regulation, which encompasses professional and institutional autonomy, is being challenged by a different type of quasi-market logic which may lead to a [...] different environment for academic work, thus encompassing mixed logics (Greenwood et al. 2010, Thornton 2012). To understand the shift of logics in governing higher education in a comparative systematic way …
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. Professors
3. 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. FAIR
2. Navigation
3. About
4. Scientists
Marco Wilhelm

Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy. Proceedings of the 16th Edition of the European Conference on Logics in Artificial Intelligence (JELIA). https://doi [...] Marco Wilhelm is a research assistant at the Department of Statistics at TU Dortmund University and a PhD student at the Department of Computer Science at the same university working in the field of knowledge [...] Knowledge Representation Uncertain Reasoning Probabilistic Inference Statistical Relational AI Cognitive Logics Publications Selected Publications Wilhelm, M. , Howey, D., Kern-Isberner, G., Sauerwald, K., & Beierle …
1. Soziale Ungleichheiten
2. News: 10/30/2024
Welcome to our team!

doctoral thesis, which will be supervised by Prof. Dr. Nicole Burzan. His PhD project deals with valuation attributions and logics of staging goods, taking into account parasocial interactions in user-generated …

1
2
3
4
5
Next
Last Page