Oberseminar: Heterogene formale Methoden


Lehrbeauftragter: Prof. Dr. Till Mossakowski
Sprache: English
Wochenstunden: 2 SWh
Regulärer Termin: Tuesday, 15 o'clock, c. t., i. e., 15:15

Contents:

The research seminar includes three kind of activities:

Talks 2018:

Date Speaker Topic Abstract  Slides/Paper 
2018, July 11 Sportelli, Francesco Supporting Conceptual Modelling in ORM by Reasoning Abstract
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 till 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