Oberseminar: Heterogene formale Methoden

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

Contents:

The research seminar includes three kind of activities:

 

Talks 2020:

Date Speaker Topic Abstract  Slides/Paper 
2020, July 7 Günther, Stephan Prototype vs. Release Version – Lessons Learned from Developing Scone and Other Research Software Abstract
2020, June 23 Mossakowski, Till (Moderator) Situate – Semantic Networks Grounded in Neural Networks (A Discussion) Abstract
2020, June 16 Mossakowski, Till (Moderator) Copycat – Creative Fluid Analogies (A Discussion) Abstract
2020, June 9 Rautenstengel, Tamara Scenario-Based Ontology Evaluation – Usability Enhancement through Grammar Adaptations Abstract
2020, June 2 Sharonov, Yevhen Vergleich zweier Workflow Management Systeme anhand der Reimplementierung eines Teils einer vorhandenen Prozessierungspipeline Abstract
2020, May 26 Hastings, Janna Machine Learning for Automatically Classifying Chemical Entities in a Chemical Ontology Abstract
2020, May 19 Hauffe, Johannes and
Sandkämper, Christian		 Bivalenz-World – Umsetzung einer Erweiterung zu dem Tool „Tarski’s-World“ Abstract
2020, May 5 Mossakowski, Till String Matching, with an Application to the Open Energy Ontology Abstract
2020, April 28 Mossakowski, Till Brainstorming about Possible Ontology Papers Abstract
2020, April 21 Mossakowski, Till We will plan the seminar in the summer semester.
2020, January 28 Glauer, Martin Recent Developments in Automated Theorem Proving Abstract
2020, January 14 Rautenstengel, Tamara Scenario-Based Ontology Evaluation – Usability Enhancement through Language Extensions and Grammar Adaptations Abstract
2020, January 7 Günther, Stephan Scenario-Based Ontology Evaluation – Introduction, Inner Workings, Examples and Next Steps Abstract

 

Talks 2019:

Date Speaker Topic Abstract  Slides/Paper 
2019, Dezember 17 Hossain, Andalib Outlier Detection from Open Energy Data Abstract
2019, November 26 Daupayew, Nursultan Multi-view Consistency of Energy System UML Models Abstract
2019, November 12 Siebert, Sophie Commonsense Reasoning using Theorem Proving and Machine Learning Abstract
2019, November 5 Adamy, Rick Algorithmische Umsetzung eines graphenbasierten Kalküls zum Lösen des 3SAT-Problems Abstract
2019, October 29 Mossakowski, Till Data Integration with Ontologies Abstract Book and Slides
2019, October 15 Mossakowski, Till We will plan the seminar in the winter semester.
2019, July 2 Glauer, Martin Modelling Identity Rules with Neural Networks Abstract
2019, June 25 Mossakowski, Till Data Integration XI Abstract Book and Slides
2019, June 11 Mossakowski, Till Data Integration X Abstract Book and Slides
2019, June 4 Mossakowski, Till Data Integration IX Abstract Book and Slides
2019, May 28 Mossakowski, Till and Glauer, Martin
and Günther, Stephan		 A Report from the openMod Conference
and the Forschungsnetzwerk Energie Meeting		 Abstract
2019, May 21 Mossakowski, Till An Ontology for Open Energy Modelling – An Updated Version Abstract
2019, May 14 Glauer, Martin and Günther, Stephan An Ontology for Open Energy Modelling Abstract
2019, May 7 Mossakowski, Till Data Integration VIII Abstract Book and Slides
2019, April 30 Mossakowski, Till Data Integration VII Abstract Book and Slides
2019, April 23 Mossakowski, Till Data Integration VI Abstract Book and Slides
2019, April 16 Mossakowski, Till Data Integration V Abstract Book and Slides
2019, April 9 Mossakowski, Till We will plan the seminar in the summer semester.
2019, March 26 Mossakowski, Till Data Integration IV Abstract Book and Slides
2019, March 14 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 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
2015, October 14 Mossakowski, Till We will plan the next talks.
2015, July 8 Dirsumilli, Ramya RESTful Encapsulation of OWL API Abstract
2015, June 24 Engel, Christoph Information Extraction for Traffic Management Abstract
2015, June 10 Katragadda, Rajendra Anti-Unification for the Web Ontology Language Abstract
2015, June 3 Mossakowski, Till Left and Right are Harder Than West and East – Qualitative Spatial Reasoning About Relative Orientation Abstract Slides
2015, Mai 27 Günther, Stephan Institutions Exemplified Abstract
2015, Mai 20 Hedblom, Maria Image Schema Structure and Relation to Conceptual Blending Abstract
2015, Mai 6 Mossakowski, Till Distributed Ontology, Modeling and Specification Language – Final issues before the submission Abstract
2015, April 29 Ontology Matching and Alignment Abstract
2015, April 22 Glauer, Martin (in cooperation with Alexander Knapp, Till Mossakowski and Markus Roggenbach) An Institution for Simple UML State Machines Abstract
2015, April 15 Neuhaus, Fabian SCenario-based ONtology Evaluation (Scone) Abstract
2015, February 24 (second talk) Reddehase, Tim Ontohub API Abstract
2015, February 24 (first talk) Kuksa, Eugen Driving in the Rain and Eating Ice Cream – Do We Need This? Axiom Selection for Automated Theorem Proving Abstract
2015, February 18 Mossakowski, Till Modularity of Ontologies in an Arbitrary Institution Abstract Slides
2015, February 4 Thosar, Madhura Creative Use of Tools in Robotics Abstract
2015, January 28 Kutz, Oliver Contextual and Distributed Reasoning with Ontologies Abstract
2015, January 21 Günther, Stephan Parallelizing the Growing Self-Organizing Maps Algorithm Using Software Transactional Memory Abstract Slides
2015, January 14 Mossakowski, Till The Distributed Ontology, Modeling and Specification Language (DOL) – A Gentle Introduction with Examples (Part II) Abstract Slides
2015, January 7 Mossakowski, Till We will plan the next talks.

 

Talks 2014:

Date Speaker Topic Abstract  Slides/Paper 
2014, December 17 Codescu, Mihai 3/2 Colimits Abstract Slides
2014, December 10 Glauer, Martin An Institution for (Hierarchical) UML State Machines Abstract Slides
2014, November 26 Neuhaus, Fabian Ontology Evaluation – Challenges and Opportunities Abstract
2014, November 19 Hedblom, Maria On the Cognitive and Logical Role of Image Schema in Conceptual Blending Abstract Slides
2014, November 12 Mossakowski, Till The Distributed Ontology, Modeling and Specification Language (DOL) – A Gentle Introduction with Examples (Part I) Abstract Slides

 


Zur Lehreseite der Forschungsgruppe Theoretische Informatik
Webmaster