Oberseminar: Heterogene formale Methoden

Lehrbeauftragter: Prof. Dr. Till Mossakowski
Sprache: English
Wochenstunden: 2 SWh
Regulärer Termin im Sommersemester 2019: Wednesday, 11 o'clock s. t., i. e., 11:00

Contents:

The research seminar includes three kind of activities:

 

Talks 2019:

Date Speaker Topic Abstract  Slides/Paper 
2019, March 14, 15 o'clock s. t., i. e., 15:00 Mossakowski, Till Data Integration III Abstract Book and Slides
2019, February 26 Mossakowski, Till Data Integration II Abstract Book and Slides
2019, February 19 Mossakowski, Till Data Integration Abstract Book and Slides
2019, February 13 Grimm, Claudius Integrating Hets with the Atom Editor Abstract
2019, January 22 Thosar, Madhura What Stands-in for a Missing Tool: A Prototypical Grounded Knowledge-based Approach to Tool Substitution Abstract
2019, January 8 Glauer, Martin and Günther, Stephan Open Problems in Energy Modelling, Part II Abstract Slides

 

Talks 2018:

Date Speaker Topic Abstract  Slides/Paper 
2018, December 18 Glauer, Martin and Günther, Stephan Open Problems in Energy Modelling Abstract
2018, December 12 Cordes, Sebastian and Vogt, Lukas Die Entwicklung der Open Energy Ontology Abstract
2018, December 4 Pezler, Alexander Ein energieübergreifender Betrieb von Industrie-Infrastrukturen führt durch den Einsatz eines integrierten Daten- und Informationsaustausches zu mehr Zuverlässigkeit und zu einer wirtschaftlichen Nutzung Abstract
2018, November 27 Grimm, Claudius Entwicklung und Umsetzung einer grafischen Benutzeroberfläche zur Darstellung von Entwicklungsgraphen (Bachelor Thesis Defense) Abstract
2018, November 13 Glauer, Martin and Günther, Stephan Results and Current Developments in and of the open_eGo and open_FRED Projects Abstract
2018, July 11 Sportelli, Francesco Supporting Conceptual Modelling in ORM by Reasoning Abstract Paper
2018, June 27 Mossakowski, Till and Glauer, Martin Institutions for Database Schemas and Datasets Abstract
2018, June 20 Günther, Stephan Redesigning the Hets RESTful Interface Abstract
2018, June 13 Günther, Stephan A Demo of the Hets RESTful Interface Abstract
2018, June 6 Predoiu, Livia Probabilistic Ontological Data Exchange Abstract
2018, May 30 Grimm, Claudius A New GUI for Hets Abstract
2018, May 23 Sportelli, Francesco Supporting Conceptual Modelling in ORM by Reasoning Abstract
2018, May 16 Mossakowski, Till and Neuhaus, Fabian Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs Abstract
2018, May 9 Thosar, Madhura Rock, Paper, Scissor: Suitable Stand-in for a Hammer? – Knowledge-Based Approach to Tool Substitution for Household Robots Abstract
2018, April 25 Mossakowski, Till and Glauer, Martin Fuzzy Logic for Conceptors Abstract
2018, April 18 Glauer, Martin Selected Talks on Artificial Intelligence for Automated Theorem Proving Abstract
2018, April 11 Neuhaus, Fabian What is an Ontology? Abstract

 

Talks 2017:

Date Speaker Topic Abstract  Slides/Paper 
2017, November 29 Diaconescu, Razvan Many-Valued Truth in an Institutional Setting Abstract
2017, November 15 Codescu, Mihai Hybridization of Institutions Abstract
2017, October 25 Krusch, Tim and Krusch, Tom Ontohub Frontend Redesign – Softwareprojekt Abstract
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

 

Talks 2016:

Date Speaker Topic Abstract  Slides/Paper 
2016, December 13 Glauer, Martin An Equational Formalism and Design Pattern for Functorial Data Integration Abstract Slides
2016, November 21 Mossakowski, Till Institutional Monads, Part II 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 29 Thosar, Madhura Standing-in for a Hammer – A Computational System for Tool Substitution: Preliminary Results Abstract
2016, June 22 Engel, Christoph Second Try: Practical Experiences in the Application
of Graph Databases		 Abstract
2016, June 15 Mossakowski, Till Quad Stores Abstract
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

 

Talks till 2015:

Date Speaker Topic Abstract  Slides/Paper 
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

 


Zur Lehreseite der Forschungsgruppe Theoretische Informatik
Webmaster