Search - LOGIC-IN - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

10 results

1. LOGIC-IN
Startseite

y. 11/05/2024 One Article by group Knowledge-Based Systems accepted at KR 2024 One Article by group Knowledge-Based Systems accepted at KR 2024 07/18/2024 Courses for the winter semester 2024/2025 The [...] In… 05/17/2024 Workshop on Answer Set Programming – May 28, 2024 On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP). 05/17/2024 One Article [...] The overview of the courses for the winter semester 2024/2025 is now online. 06/06/2024 Prof. Dr-Ing Dr. h.c. Claudio Moraga - Keynote lecture on the history of the ISMVL Symposia In the last week of May …
1. LOGIC-IN
2. News & Contact
News

y. 11/05/2024 One Article by group Knowledge-Based Systems accepted at KR 2024 One Article by group Knowledge-Based Systems accepted at KR 2024 07/18/2024 Courses for the winter semester 2024/2025 The [...] In… 05/17/2024 Workshop on Answer Set Programming – May 28, 2024 On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP). 05/17/2024 One Article [...] Article by group Knowledge-Based Systems accepted at IJCAI 2024 One Article by group Knowledge-Based Systems accepted at IJCAI 2024. 03/05/2024 Prof. Dr.-Ing. Dr. h. c. Claudio Moraga involved as co-author …
1. LOGIC-IN
2. News: 7/18/2024
Courses for the winter semester 2024/2025

To the overwiew of courses for the winter semester2024/2025 …
1. LOGIC-IN
2. News: 5/17/2024
One Article by group Knowledge-Based Systems accepted at IJCAI 2024

London) has been accepted at the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024) . The full version of the article is available on arxiv: https://arxiv.org/abs/2405.03511 …
1. LOGIC-IN
Accessibility Statement

with EU Directive 2016/2102. Verification method: Self-Assessment Compiled on: 17.05.2024 Last verified on: 17.05.2024 Non-accessible content The content listed below is non-accessible: PDF files integrated …
1. LOGIC-IN
2. Professors
3. Prof. Dr. Thomas Schwentick
Curriculum Vitae

Two-Variable Logic on Data Trees and XML Reasoning , PODS 2006 TU Dortmund University Teaching Award 2024 in the category ‘Courses with more than 60 participants’ …
1. LOGIC-IN
2. News: 2/1/2024
Courses for the summer semester 2024

…
1. LOGIC-IN
2. News: 11/5/2024
One Article by group Knowledge-Based Systems accepted at KR 2024

The article "Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology" by Jean Christoph Jung (TU Dortmund) , Vladislav Ryzhikov (Birkbeck, University of London), Frank W …
1. LOGIC-IN
2. News: 5/17/2024
Workshop on Answer Set Programming – May 28, 2024

We are particularly pleased to welcome Prof. Torsten Schaub (University of Potsdam) and Asst. Prof. Jesse Heyninck (Open University, NL) as guests. We are also expecting participants from the groups o …
1. LOGIC-IN
2. News: 1/8/2025
TU Dortmund University Teaching Prize awarded to Thomas Schwentick

Read more https://www.tu-dortmund.de/universitaet/aktuelles/detail/akademische-jahresfeier-widmet-sich-zivilcourage-und-zukunftstechnik-48457/ …