default search action
Till Mossakowski
Person information
- affiliation: Otto von Guericke University of Magdeburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j33]Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Interpretable ontology extension in chemistry. Semantic Web 15(4): 937-958 (2024) - [c123]Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus:
A Fuzzy Loss for Ontology Classification. NeSy (1) 2024: 101-118 - [i24]Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus:
A semantic loss for ontology classification. CoRR abs/2405.02083 (2024) - 2023
- [c122]Björn Gehrke, Till Mossakowski:
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics 2023 - [c121]Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Ontology Pre-training for Poison Prediction. KI 2023: 31-45 - [p3]Martin Glauer, Till Mossakowski, Fabian Neuhaus, Adel Memariani, Janna Hastings:
Neuro-Symbolic Semantic Learning for Chemistry. Compendium of Neurosymbolic Artificial Intelligence 2023: 460-484 - [i23]Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Ontology Pre-training for Poison Prediction. CoRR abs/2301.08577 (2023) - 2022
- [c120]Till Mossakowski:
Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. NeSy 2022: 192-201 - [e6]Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos:
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. CEUR Workshop Proceedings 3249, CEUR-WS.org 2022 [contents] - [i22]Till Mossakowski:
Modular design patterns for neural-symbolic integration: refinement and combination. CoRR abs/2206.04724 (2022) - 2021
- [j32]Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski:
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. J. Cheminformatics 13(1): 23 (2021) - [c119]Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain. DAO-XAI 2021 - [c118]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) 2021: 25-47 - [i21]Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings:
Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain. CoRR abs/2109.09202 (2021) - 2020
- [c117]Madhura Thosar, Christian A. Mueller, Georg Jäger, Max Pfingsthorn, Michael Beetz, Sebastian Zug, Till Mossakowski:
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. SAC 2020: 972-979 - [e5]Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini:
Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020. CEUR Workshop Proceedings 2708, CEUR-WS.org 2020 [contents] - [i20]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change over Time. CoRR abs/2011.09353 (2020)
2010 – 2019
- 2019
- [j31]Till Mossakowski, Razvan Diaconescu, Martin Glauer:
Towards Fuzzy Neural Conceptors. FLAP 6(4): 725-744 (2019) - [c116]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO 2019 - [c115]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. JOWO 2019 - [i19]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR abs/1906.06275 (2019) - [i18]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. CoRR abs/1906.08724 (2019) - 2018
- [j30]Till Mossakowski, Bernd Krieg-Brückner:
Partial pushout semantics of generics in DOL. Theor. Comput. Sci. 741: 58-70 (2018) - [c114]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets 2018: 37-60 - [c113]Martin Glauer, Till Mossakowski:
Institutions for SQL Database Schemas and Datasets. WADT 2018: 67-86 - [p2]Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz, Danny de Jesús Gómez-Ramírez:
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. Concept Invention 2018: 69-96 - [e4]Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann:
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018. CEUR Workshop Proceedings 2237, CEUR-WS.org 2018 [contents] - [i17]Till Mossakowski, Fabian Neuhaus:
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs. CoRR abs/1807.06685 (2018) - 2017
- [j29]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12(3-4): 275-298 (2017) - [j28]Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter:
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. 50(1): 7:1-7:39 (2017) - [j27]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6(4): 155-197 (2017) - [j26]Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017) - [c112]Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. AI*IA 2017: 256-268 - [c111]Alexander Knapp, Till Mossakowski:
UML Interactions Meet State Machines - An Institutional Approach. CALCO 2017: 15:1-15:15 - [c110]Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus, Andreas Nürnberger:
Web-Retrieval Supported Argument Space Exploration. CHIIR 2017: 309-312 - [c109]Till Mossakowski, Reinhard Moratz:
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). IJCAI 2017: 5040-5044 - [c108]Bernd Krieg-Brückner, Till Mossakowski:
Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC 2017 - [i16]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. CoRR abs/1705.09363 (2017) - 2016
- [j25]Daniel Calegari, Till Mossakowski, Nora Szasz:
Heterogeneous verification in the context of model driven engineering. Sci. Comput. Program. 126: 3-30 (2016) - [j24]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web 7(1): 25-61 (2016) - [c107]Eugen Kuksa, Till Mossakowski:
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR 2016: 56-68 - [c106]Ramya Dirsumilli, Till Mossakowski:
RESTful Encapsulation of OWL API. DATA 2016: 150-157 - [c105]Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
Ontology Patterns with DOWL: The Case of Blending. Description Logics 2016 - [c104]Eugen Kuksa, Till Mossakowski:
Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. JOWO@FOIS 2016 - [c103]Till Mossakowski:
The Distributed Ontology, Model and Specification Language - DOL. WADT 2016: 5-10 - [c102]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. WADT 2016: 170-188 - [e3]Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet:
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016. CEUR Workshop Proceedings 1660, CEUR-WS.org 2016 [contents] - [i15]Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter:
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR abs/1606.00133 (2016) - [i14]Alexander Knapp, Till Mossakowski:
Multi-view Consistency in UML. CoRR abs/1610.03960 (2016) - [i13]Till Mossakowski, Fabian Neuhaus:
Bipolar Weighted Argumentation Graphs. CoRR abs/1611.08572 (2016) - [i12]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository for heterogeneous ontologies. CoRR abs/1612.05028 (2016) - 2015
- [j23]Till Mossakowski, Lutz Schröder:
On Inconsistency and Unsatisfiability. Int. J. Softw. Informatics 9(2): 141-152 (2015) - [j22]Till Mossakowski, Reinhard Moratz:
Relations Between Spatial Calculi About Directions and Orientations. J. Artif. Intell. Res. 54: 277-308 (2015) - [c101]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems 2015: 215-230 - [c100]Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency 2015: 361-379 - [c99]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. FASE 2015: 3-18 - [i11]Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini:
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR abs/1512.03899 (2015) - 2014
- [j21]Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki:
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8(3-4): 393-406 (2014) - [c98]Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki:
Parchments for CafeOBJ Logics. Specification, Algebra, and Software 2014: 66-91 - [c97]Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58 - [c96]Till Mossakowski, Andrzej Tarlecki:
A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS 2014: 441-456 - [c95]Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
Blending in the Hub. ICCC 2014: 297-305 - [c94]Daniel Calegari, Till Mossakowski, Nora Szasz:
Model-Driven Engineering in the Heterogeneous Tool Set. SBMF 2014: 64-79 - [c93]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A categorical approach to ontology alignment. OM 2014: 1-12 - [c92]Till Mossakowski, Ulf Krumnack, Tom Maibaum:
What Is a Derived Signature Morphism? WADT 2014: 90-109 - [i10]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR abs/1403.7747 (2014) - [i9]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. CoRR abs/1411.4495 (2014) - 2013
- [j20]Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein:
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [j19]Till Mossakowski, Markus Roggenbach, Lutz Schröder:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c91]Mihai Codescu, Till Mossakowski, Christian Maeder:
Checking Conservativity with Hets. CALCO 2013: 315-321 - [c90]Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter:
Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT 2013: 516-536 - [c89]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI 2013: 3027-3031 - [c88]André van Delden, Till Mossakowski:
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. KI 2013: 248-259 - [c87]Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger:
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML 2013: 200-215 - [c86]Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange:
The Distributed Ontology, Modeling and Specification Language. WoMO 2013 - [i8]Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger:
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. CoRR abs/1303.4193 (2013) - [i7]Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter:
Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR abs/1305.7345 (2013) - 2012
- [j18]Till Mossakowski, Reinhard Moratz:
Qualitative reasoning about relative direction of oriented points. Artif. Intell. 180-181: 34-45 (2012) - [c85]Oliver Kutz, Janna Hastings, Till Mossakowski:
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA 2012: 103-111 - [c84]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus 2012: 463-467 - [c83]Till Mossakowski, Christoph Lange, Oliver Kutz:
Three Semantics for the Core of the Distributed Ontology Language. FOIS 2012: 337-352 - [c82]Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski:
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC 2012: 62-73 - [c81]Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe:
Compiling Logics. WADT 2012: 111-126 - [c80]Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT 2012: 178-194 - [c79]Till Mossakowski, Oliver Kutz, Christoph Lange:
Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT 2012: 212-230 - [c78]Christoph Lange, Till Mossakowski, Oliver Kutz:
LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO 2012 - [e2]Till Mossakowski, Hans-Jörg Kreowski:
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer 2012, ISBN 978-3-642-28411-3 [contents] - [i6]Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. CoRR abs/1204.5093 (2012) - [i5]Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale:
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility. CoRR abs/1208.0293 (2012) - 2011
- [j17]Reinhard Moratz, Dominik Lücke, Till Mossakowski:
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Artif. Intell. 175(16-17): 2099-2127 (2011) - [c77]Oliver Kutz, Till Mossakowski:
A Modular Consistency Proof for DOLCE. AAAI 2011: 227-234 - [c76]Mihai Codescu, Till Mossakowski:
Refinement Trees: Calculi, Tools, and Applications. CALCO 2011: 145-160 - [c75]Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107 - [c74]Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic:
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO 2011 - [c73]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - [c72]Till Mossakowski, Oliver Kutz:
The Onto-Logical Translation Graph. WoMO 2011: 94-109 - 2010
- [j16]Till Mossakowski:
On Teaching Logic and Algebraic Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j15]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. 22(3-4): 363-384 (2010) - [j14]Oliver Kutz, Till Mossakowski, Dominik Lücke:
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2): 255-333 (2010) - [c71]Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman:
Towards Ontological Blending. AIMSA 2010: 263-264 - [c70]Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. AMAST 2010: 60-75 - [c69]Serge Autexier, Dieter Hutter, Till Mossakowski:
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80 - [c68]Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther:
Chinese whispers and connected alignments. OM 2010 - [c67]Dominik Lücke, Till Mossakowski:
A much better polynomial time approximation of consistency in the LR calculus. STAIRS 2010: 175-185 - [c66]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138 - [c65]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159 - [c64]Liam O'Reilly, Till Mossakowski, Markus Roggenbach:
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT 2010: 251-269 - [i4]Till Mossakowski, Reinhard Moratz:
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. CoRR abs/1011.0098 (2010)
2000 – 2009
- 2009
- [j13]Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki:
What is a Logic Translation? Logica Universalis 3(1): 95-124 (2009) - [j12]Lutz Schröder, Till Mossakowski:
HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. 410(12-13): 1217-1260 (2009) - [c63]Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33 - [c62]Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski:
The VSE Refinement Method in Hets. ICFEM 2009: 660-678 - [i3]Reinhard Moratz, Dominik Lücke, Till Mossakowski:
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. CoRR abs/0912.5533 (2009) - 2008
- [c61]Oliver Kutz, Till Mossakowski:
Conservativity in Structured Ontologies. ECAI 2008: 89-93 - [c60]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214 - [c59]Mihai Codescu, Till Mossakowski:
Heterogeneous colimits. ICST Workshops 2008: 131-140 - [c58]