| Lehrbeauftragter: | Prof. Dr. Till Mossakowski |
| Sprache: | English |
| Wochenstunden: | 2 SWh |
| Regulärer Termin: | Wednesday, 11 o'clock, s. t. |
| Date | Speaker | Topic | Abstract | Slides |
|---|---|---|---|---|
| 2018, April 18 | Glauer, Martin | Selected Talks on Artificial intelligence for Automated Theorem Proving | Abstract |
| Date | Speaker | Topic | Abstract | Slides |
|---|---|---|---|---|
| 2017, July 5 | Glauer, Martin and Günther, Stephan | Recent and Upcoming Publications in the Context of the Open Energy Database | Abstract | |
| 2017, Mai 24 | Mossakowski, Till | Databases, Ontologies, Semantic Web – Part 2: Query Rewriting for Ontology Based Data Access | Abstract | Slides |
| 2017, Mai 17 | Mossakowski, Till | Databases, Ontologies, Semantic Web | Abstract | Slides |
| 2017, May 10 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution (Part 3) | Abstract | |
| 2017, May 3 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution (Part 2) | Abstract | |
| 2017, April 26 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution | Abstract | |
| 2017, April 12 | Günther, Stephan | Oemof, OpenMod.SH and openFRED: A Framework and two Projects |
Abstract | |
| 2017, April 12 | Glauer, Martin | open_eGo and the Open Energy Platform | Abstract | |
| 2017, April 5 | Mossakowski, Till | Logic Tensor Networks | Abstract | Paper |
| 2017, March 15 | Kuksa, Eugen | Logic-independent Premise Selection for Automated Theorem Proving in Ontohub | Abstract | |
| 2017, March 8 | Siebert, Sophie | The Cognitive Architecture Clarion | Abstract | |
| 2017, March 1 | Günther, Stephan | Stratified Institutions | Abstract | |
| 2017, February 15 | Mossakowski, Till | Inductive Reasoning | Abstract | Slides |
| 2017, February 8 | Mossakowski, Till | Monads | Abstract | Slides |
| 2017, February 1 | Mossakowski, Till | Temporal RCC8+QTC | Abstract | Slides |
| 2017, January 24 | Mossakowski, Till | Modal Logic | Abstract | |
| 2017, January 17 | Mossakowski, Till | Multi-view Consistency in UML, joint work with A. Knapp (Augsburg University) | Abstract | Slides |
| 2017, January 3 | Hedblom, Maria | Image Schemas as Conceptual Building Blocks for Concept Invention | Abstract | |
| 2016, December 13 | Glauer, Martin | An Equational Formalism and Design Pattern for Functorial Data Integration | Abstract | Slides |
| 2016, November 15 | Mossakowski, Till | Institutional Monads | Abstract | Slides |
| 2016, November 8 | Mossakowski, Till | Generalised Substitution Systems | Abstract | Slides, Paper |
| 2016, November 1 | Mossakowski, Till | Neuro-symbolic Integration | Abstract | Paper |
| 2016, October 25 | Mossakowski, Till Neuhaus, Fabian |
Evaluation of Arguments Involving Attacks and Supports in Weighted Graphs | Abstract | Slides |
| 2016, October 18 | Thosar, Madhura | Intelligence without Representation | Abstract | Slides, Paper |
| 2016, June 8 | Engel, Christoph | Practical Experiences in the Application of Graph Databases |
Abstract | |
| 2016, June 1 | Peyras, Quentin | Presentation of some UML Tools | Abstract | |
| 2016, May 25 | Günther, Stephan | Reachability Logic | Abstract | |
| 2016, May 18 | Neuhaus, Fabian | RDFS and Quad Stores | Abstract | Slides 1, Slides 2 |
| 2016, May 11 | Neuhaus, Fabian | RDF Semantics | Abstract | Slides 1, Slides 2 |
| 2016, May 4 | Mossakowski, Till | Institutions – Abstract Logical Systems for Computer Science, Part II |
Abstract | |
| 2016, April 27 | Mossakowski, Till | Institutions – Abstract Logical Systems for Computer Science | Abstract | Slides |
| 2016, April 20 | Mossakowski, Till | Database Scheme Integration Using DOL and Spivak's Categorical Databases | Abstract | |
| 2016, April 13 | Mossakowski, Till | Spivak's Categorical Databases | Abstract | |
| 2016, March 9 | Mossakowski, Till | The Business Process Modeling Notation (BPMN), Part II | Abstract | Slides |
| 2016, March 2 | Mossakowski, Till | The Business Process Modeling Notation (BPMN) | Abstract | Slides |
| 2016, January 27 | Günther, Stephan | Matching Logic – One of the Formalisms Behind the K Semantic Framework | Abstract | |
| 2016, January 20 | Engel, Christoph | Domain Specific Corpus Creation for Natural Language Processing | Abstract | |
| 2016, January 13 | Neuhaus, Fabian | Introduction to Common Logic | Abstract | |
| 2015, December 16 | Glauer, Martin | open_eGo – Open Energy Platform | Abstract | |
| 2015, December 9 | Günther, Stephan | Institutions Exemplified 2: Part 2 – Return of the Comorphisms | Abstract | |
| 2015, December 2 | Günther, Stephan | Institutions Exemplified 2: Morphisms | Abstract | |
| 2015, November 25 | Katragadda, Rajendra Kumar | Anti-Unification for Web Ontology Language | Abstract | |
| 2015, November 18 | Mossakowski, Till | The Distributed Ontology, Modeling and Specification Language (DOL): Entailments and Equivalences | Abstract | |
| 2015, November 4 | Dirsumilli, Ramya | RESTful Encapsulation of OWLAPI | Abstract | |
| 2015, October 28 | Mossakowski, Till | Networks and Refinements in DOL | Abstract | |
| 2015, October 21 | Thosar, Madhura | Tool Substitution – Overview | Abstract |