Till Mossakowski
Identifiers
- name variant Till Mossakowski 0.60 · backfill
Papers (19)
- NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework cs.AI · 2026 · author #2
- The Possibility of Artificial Intelligence Becoming a Subject and the Alignment Problem cs.AI · 2026 · author #1
- Generic Ontology Design Patterns at Work cs.AI · 2019 · author #2
- Extensions of Generic DOL for Generic Ontology Design Patterns cs.LO · 2019 · author #3
- Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs cs.AI · 2018 · author #1
- Canonical Selection of Colimits cs.LO · 2017 · author #1
- Ontohub: A semantic repository for heterogeneous ontologies cs.AI · 2016 · author #4
- Bipolar Weighted Argumentation Graphs cs.AI · 2016 · author #1
- Multi-view Consistency in UML cs.SE · 2016 · author #2
- A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties cs.AI · 2016 · author #3
- Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print) cs.DB · 2015 · author #3
- An Institution for Simple UML State Machines cs.SE · 2014 · author #2
- An Institutional Framework for Heterogeneous Formal Development in UML cs.SE · 2014 · author #2
- Algebraic Properties of Qualitative Spatio-Temporal Calculi cs.AI · 2013 · author #2
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #4
- The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility cs.AI · 2012 · author #2
- The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization cs.LO · 2012 · author #3
- Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity cs.AI · 2010 · author #1
- Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects cs.AI · 2009 · author #3
Mentions
Frequent Coauthors
- Fabian Neuhaus 4 shared papers
- Alexander Knapp 3 shared papers
- Christoph Lange 3 shared papers
- Mihai Codescu 3 shared papers
- Oliver Kutz 3 shared papers
- Bernd Krieg-Br\"uckner 2 shared papers
- Diedrich Wolter 2 shared papers
- Frank Dylla 2 shared papers
- Markus Roggenbach 2 shared papers
- Michael Gr\"uninger 2 shared papers
- Reinhard Moratz 2 shared papers
- Thomas Schneider 2 shared papers
- Andr\'e Van Delden 1 shared papers
- Christian Galinski 1 shared papers
- Colin Rowat 1 shared papers
- Daniel Couto Vale 1 shared papers
- Daniel Romero Schellhorn 1 shared papers
- Dominik L\"ucke 1 shared papers
- Eugen Kuksa 1 shared papers
- Florian Rabe 1 shared papers