Tomáš Masopust/Seminar

inf-logai seminars:

Talks in 2018

Seminars take place on Thursdays from 9:20 to 10:50, seminar room 3027

04.01.2018: Max Marx

11.01.2018: Sebastian- retreat trip

18.01.2018: Lukas -seminar room: 2026

25.01.2018: No Seminar

01.02.2018: No Seminar

08.02.2018: Maria Maleshkova - STEP by Step, towards Smart Services

15.02.2018: Trip report seminar - room 2026

22.02.2018: Jacopo Urbani - VLog: A Column-oriented Rule-Based Engine

01.03.2018: Ana Ozaki - Notes on Computational Learning Theory and the problem of learning CNFs

08.03.2018: Max Marx

15.03.2018: Pavlos Marantidis - Functional models and Data Complexity for FL0

22.03.2018:

29.03.2018: No Seminar

Seminars take place on Thursdays from 13:00 to 14:30, seminar room 3027

05.04.2018: Larry Gonzalez - Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis

12.04.2018: Shima Asaadi - Learning Word Representation in Compositional Matrix-Space Models

20.04.2018: Markus Krötzsch - Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph

20.04.2018: Juan Sequeda - Integrating Semantic Web in the Real World: A journey between two cities

26.04.2018: Paula Chocrón - A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation

03.05.2018: Prof. Dr. Vera Demberg - Adaptive Language Interaction <https://imld.de/research/dresden-talks/2018-demberg/>

10.05.2018: public holiday

17.05.2018: Markus Krötzsch, Larry Gonzalez: WWW'18 report

24.05.2018:

31.05.2018: Irina Dragoste - Efficient Model Construction for Horn Logic with VLog

07.06.2018: David Carral - The Combined Approach to Query Answering in Horn-ALCHOIQ

14.06.2018:

22.06.2018: Pierre Senellart - Provenance and Probabilities in Relational Databases

28.06.2018:

05.07.2018: Wim Martens - A Dichotomy for Evaluating Simple Regular Path Queries

12.07.2018:

19.07.2018:

26.07.2018: Maximilian Pensel - Towards Conjunctive Query Answering in Defeasible EL_bot

02.08.2018:

09.08.2018: Michaël Thomazo - A Single Approach to Decide Chase Termination on Linear Existential Rules

16.08.2018:

23.08.2018:

30.08.2018: Johannes Fichte - #SAT Solving using Dynamic Programming on Tree Decompositions

06.09.2018: Christian Al-Rabbaa - Faceted Answer-Set Navigation

13.09.2018: no seminar

20.09.2018: Benjamin Zarrieß - Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic

27.09.2018: room 2026! Pavlos Marantidis - Extending matching in Description Logics

04.10.2018: Shima Asaadi

11.10.2018: David Carral - Efficient Model Construction for Horn Logic with VLog: Extended Abstract

18.10.2018: David Carral - The Combined Approach to Query Answering in Horn-ALCHOIQ

18.10.2018 Adrian Nuradiansyah - Making Repairs in Description Logics More Gentle

01.11.2018

Talks in 2017

05.01.2017 : Maria Hedblom -- Image schemas in computational concept invention

12.01.2017: No seminar

19.01.2017: Achim Rettinger -- Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations, and Michael Färber -- Semantic Search for Novel Information

26.01.2017 : Markus and Sebastian not here

09.02.2017: Max -- Feder-Vardi conjecture (plus more weeks if needed)

16.02.2017:

23.02.2017: Richard Kwasnicki and Julius Gonsior - Solving Angry Birds with Reinforcement Learning

02.03.2017: T. Masopust -- Automata, Logic, Algebra... What do they have in common?

09.03.2017:

16.03.2017: T. Masopust -- Decomposition of Regular Languages

23.03.2017:

30.03.2017:

New Semester starts --> new time 13:00-15:00

06.04.2017:

13.04.2017: Michael Guenther -Searching for Structural Similarities in Large Graphs

20.04.2017: Pascal Hitzler in DD (18-20.4.) - Selected Advances in Data Semantics

27.04.2017: David

04.05.2017: Max

11.05.2017: Walter Forkel -- Revisiting Circumscription

18.05.2017: Anatoly Zelenin -- Question Answering over Real-World Knowledge Graphs

25.05.2017: Holiday, no seminar

01.06.2017: Ismail Ilkan Ceylan

08.06.2017: No Seminar - HAEC research Festival

15.06.2017: No Seminar - OUTPUT

22.06.2017: Stefan Borgwardt

29.06.2017: Lukas

06.07.2017: Ana and Patrick

13.07.2017: Adrian Nuradiansyah

20.07.2017: No Seminar - DL Workshop

27.07.2017: Thomas Linsbichler -- Advances in Abstract Argumentation - Expressiveness and Dynamics

03.08.2017 - 31.0.8.2017: No Seminar

New Semester starts --> new time Thursdays from 9:20 to 10:50, seminar room 2026

12.10.2017: David Carral - Tractable Query Answering for Expressive Ontologies and Existential Rules

19.10.2017: Ana Ozaki - Attributed Description Logics: Ontologies for Knowledge Graphs

26.10.2017: No Seminar- ISWC

02.11.2017: Benjamin Zarrieß - Verification of Golog Programs over Description Logic Actions

New seminar room 3027

09.11.2017: Maximilian Marx - SQID: Reasonable Wikidata

16.11.2017: No seminar

23.11.2017: Dagmar Gromann- Body-Mind-Language: Embodied Cognition in Natural Language

30.11.2017: Thomas Lukasiewicz - Generalized Consistent Query Answering under Existential Rules

07.12.2017: No seminar - SOQE workshop

14.12.2017: No seminar

23.12.2017:

Past talks

• 12 Januar 2015: Rui Zhang -- Relbacoess
• 19 Januar 2015: Michaël Thomazo -- Graph Structure and Monadic Second-Order Logic
• 26 Januar 2015: Jörg Schönfisch -- Querying Probabilistic Ontologies
• 2 February 2015: Rafael Peñaloza Nyssen -- a talk with animations :-)
• 9 February 2015: Lukas Schweizer -- gitlab
• 13.4. Sebastian Rudolph -- Chile – A Trip Report
• 20.4. Javanshir Alammadli -- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics
• 27.4. Lukas Schweizer -- (master thesis defence)
• 4.5. Sarah Alice Gaggl -- ASPARTIX-D Ready for the Competition
• 11.5. Francesca Alessandra Lisi -- Modeling Concept Learning Problems with Second-Order Description Logics
• 18.5. Stefan Borgwardt -- Answering Temporal Conjunctive Queries over DL Ontologies
• 25.5. -- Holiday
• 1.6. Artem Revenko -- Finding p-indecomposable Functions
• 8.6. -- DL Workshow
• 15.6. -- Andreas Pieris could give a talk
• 13.7. -- Alexander Krause -- Framework for the Specification and Execution of parallel Clustering Algorithms
• 20.7. -- Norbert Manthey
• 27.7. -- IJCAI -- no seminar
• 3.8. -- Markus_Krötzsch -- Reasonable Highly Expressive Query Languages
• 10.8. -- Veronika Thost -- Temporal Query Answering in EL
• 17.8. -- Sebastian Rudolph
• 24.8. -- Michaël Thomazo
• 31.8. -- TM, DLT talk + about DLT and CASE...
• 7.9. -- Benjamin Zarrieß -- Verification of Knowledge-Based Programs over Description Logic Actions
• 14.9. ICCL Summer School
• 21.9. ICCL Summer School + KI 2015 -- no talks
• 28.9. Ross D. King -- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA info
• 5.10. -- Francesco Kriegel -- TBA
• 12.10. -- Sarah Gaggl -- Improved Answer-Set Programming Encodings for Abstract Argumentation
• 12.11. -- Alexander Okhotin
• 19.11. -- Umer Mushtaq -- Intertranslatability of Labeling-based Argumentation Semantics
• 03.12. -- (Raum 3105, von 13:45 Uhr) Pavlos Marantidis -- Quantitative versions of the Chomsky-Schützenberger Theorem
• 10.12. -- Steffen Guhlemann -- TBA
• 17.12. -- Stathis Delivorias -- Introducing Existential Rules and module extraction
• 04.02.2016 -- (in das Ei) -- Satyadharma Tirtarasa -- On Computing Explanations in Argumentation
• 18.02.2016 -- Fariz Darari -- Enabling Fine-grained RDF Data Completeness Assessment
• 25.02.2016 -- Anatoly Zelenin -- On Mono- and Multilingual Word embeddings for NLP
• 03.03.2016 -- Walter Forkel -- Explaining neural network reasoning
• 31.3. 2016 -- defense of Javanshir Alammadli at 14:00 !!!
• 20.4.2016 -- Lukas S.
• 27.4.2016 -- Fariz D.
• 04.5.2016 -- Maximilian Marx
• 11.5.2016 -- Oliver Fernández Gil -- TBA
• 18.5.2016 -- Kein Seminar -- Spring School in Leipzig
• 25.5.2016 -- Claudia Carapelle -- TBA
• 01.6.2016 -- Sebastian -- 30+ min -- find a room! (3027 is not available)
• 08.6.2016 -- Alexander Krause -- TBA
• 15.6.2016 -- Diana
• 22.6.2016 -- Lukas' students -- Angry Birds
• 29.6.2016 -- ausgefallen
• 06.7.2016 -- T. Masopust -- Universality of poNFAs
• 13.7.2016 -- Pascal Hitzler -- Pattern-based ontology modeling and some of its implications for Description Logics research
• 28.9.2016 : Veronika Thost -- TBA
• 05.10.2016 : Anatoly Zelenin -- TBA
• 12.10.2016 : trip-report seminar
• 19.10.2016 : Rektorbesuch, kein Seminar
• 26.10.2016 : Walter Forkel -- On inconsistency-minimizing, paraconsistent reasoning in knowledge bases
• 02.11.2016 : David Carral
• 09.11.2016 : Kein Seminar, Markus nicht in DD
• 16.11.2016 : Buß- und Bettag
• 23.11.2016 : Fariz Darari -- Managing and Consuming Completeness Information for RDF Data Sources
• 30.11.2016 : Markus -- TBA
• 07.12.2016:
• 15.12.2016, 10:00: Stepan Holub -- Lyndon words and density of runs
Older talks can be found here.