Oberseminar: Heterogene formale Methoden


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

Contents:

The research seminar includes three kind of activities:

Talks:

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


Zur Lehreseite der Forschungsgruppe Theoretische Informatik
Webmaster