Seminar talks

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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.