Publikationen
2024
Buchbeitrag
A fuzzy loss for ontology classification
Flügel, Simon; Glauer, Martin; Mossakowski, Till; Neuhaus, Fabian
In: Neural-Symbolic Learning and Reasoning , 1st ed. 2024. - Cham : Springer Nature Switzerland ; Besold, Tarek R., S. 101-118 - (Lecture notes in computer science; volume 14979) [Konferenz: 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, Barcelona, Spain, September 9-12, 2024]
Begutachteter Zeitschriftenartikel
The diagrammatic image schema language (DISL)
Hedblom, Maria M.; Neuhaus, Fabian; Mossakowski, Till
In: Spatial cognition and computation - London [u.a.] : Taylor & Francis . - 2024, insges. 38 S. [Online first]
Interpretable ontology extension in chemistry
Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: Semantic web - Amsterdam : IOS Press, Bd. 15 (2024), Heft 4, S. 937-958
Dissertation
Knowledge and learning - synergies between ontologies and machine learning
Glauer, Martin; Mossakowski, Till; Hastings, Janna
In: Magdeburg: Universitätsbibliothek, Dissertation Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik 2024, 1 Online-Ressource (vii, 134 Seiten, 14,94 MB) [Literaturverzeichnis: Seite 119-134][Literaturverzeichnis: Seite 119-134]
2023
Buchbeitrag
Extending OWL2 Manchester syntax to include missing features fromOWL2 abstract syntax
Gehrke, Björn; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 3515 (2023), insges. 9 S.
Neuro-Symbolic Semantic Learning for Chemistry
Glauer, Martin; Mossakowski, Till; Neuhaus, Fabian; Memariani, Adel; Hastings, Janna
In: Compendium of Neurosymbolic Artificial Intelligence - Amsterdam : IOS Press . - 2023, S. 460-484, Artikel 21 - (Frontiers in artificial intelligence and applications; volume 369)
Using the diagrammatic image schema language for joint human-machine cognition
Mossakowski, Till; Hedblom, Maria M.; Neuhaus, Fabian; Arévalo Arboleda, Stephanie; Raake, Alexander
In: Engineering for a changing world - Ilmenau : Technische Universität Ilmenau, Department of Mechanical Engineering ; Sattler, Kai-Uwe *1968-* . - 2023, S. 1-5, Artikel 5.1.133
Ontology pre-training for poison prediction
Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: KI 2023: Advances in Artificial Intelligence , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Seipel, Dietmar, S. 31-45 - ( Lecture notes in computer science; volume 14236) [Konferenz: 46th German Conference on AI, Berlin, Germany, September 26-29, 2023]
2022
Buchbeitrag
Modular design patterns for neural-symbolic integration - refinement and combination
Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 3212 (2022), Artikel paper 14, insges. 10 S.
2021
Buchbeitrag
Automated and explainable ontology extension based on deep learning - a case study in the chemical domain
Memarian, Adel; Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: DAO-XAI 2021, Data meets Applied Ontologies in Explainable AI , 2021 - [Aachen, Germany] : [RWTH Aachen] ; Confalonieri, Roberto, insges. 15 S. [Workshop: Workshop on Data meets Applied Ontologies in Explainable AI, DAO-XAI 2021, Bratislava, Slovakia, September 18 - 19, 2021]
Generic ontology design patterns - roles and change over time
Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai
In: Advances in Pattern-Based Ontology Engineering / Blomqvist , E. , 1st ed. - [Erscheinungsort nicht ermittelbar] : IOS Press, Incorporated ; Blomqvist, E. . - 2021, S. 25-47 - (Studies on the Semantic Web; Volume 51)
Begutachteter Zeitschriftenartikel
Introducing the Open Energy Ontology - enhancing data interpretation and interfacing in energy systems analysis
Booshehri, Meisam; Emele, Lukas; Flügel, Simon; Förster, Hannah; Frey, Johannes; Frey, Ulrich; Glauer, Martin; Hastings, Janna; Hofmann, Christian; Hoyer-Klick, Carsten; Hülk, Ludwig; Kleinau, Anna; Knosala, Kevin; Kotzur, Leander; Kuckertz, Patrick; Mossakowski, Till; Muschner, Christoph; Neuhaus, Fabian; Pehl, Michaja; Robinius, Martin; Sehn, Vera; Stappel, Mirjam
In: Energy and AI - Amsterdam : Elsevier ScienceDirect, Bd. 5 (2021), Artikel 100074, insges. 14 S.
Learning chemistry - exploring the suitability of machine learning for the task of structure-based chemical ontology classification
Hastings, Janna; Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till
In: Journal of cheminformatics - London : BioMed Central, Bd. 13 (2021), Artikel 23, insges. 20 S.
2020
Buchbeitrag
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects
Thosar, Madhura; Mueller, Christian A.; Jaeger, Georg; Pfingsthorn, Max; Beetz, Michael; Zug, Sebastian; Mossakowski, Till
In: The 35th Annual ACM Symposium on Applied Computing , 2020 - New York, NY : Association for Computing Machinery ; Hung, Chih-Cheng, S. 972-979 [Symposium: 35th ACM/SIGAPP Symposium on Applied Computing, Brno Czech Republic, March, 2020]
Herausgeberschaft
JOWO 2020: the Joint Ontology Workshops - 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
Hammar, Karl; Kutz, Oliver; Dimou, Anastasia; Hahmann, Torsten; Hoehndorf, Robert; Masolo, Claudio; Vita, Randi; Ben Abbès, Sarra; Calvez, Philippe; Hantach, Rim; Sales, Tiago Prince; Porello, Daniele; Beßler, Daniel; Borgo, Stefano; Diab, Mohammed; Gangemi, Aldo; Olivares-Alarcos, Alberto; Pomarlan, Mihai; Porzel, Robert; Skjæveland, Martin G.; Lupp, Daniel P.; Horrocks, Ian; Klüwer, Johan W.; Kindermann, Christian; Bozzato, Loris; Mossakowski, Till; Serafini, Luciano
In: [Aachen, Germany]: [RWTH Aachen], 2020, 1 Online-Ressource - (CEUR workshop proceedings; vol-2708) Kongress: WOMoCoE 5 Online 2020.09.16[Literaturangaben; Die Workshops "DeepOntoNLP", "FOUST", "SKALE", "WOMoCoE" wurden online abgehalten. Der Workshop "RobOntics" sollte im September 2020 in Bolzano stattfinden, wurde aufgrund der COVID-19-Pandemie auf 2021 verschoben.; BOSK 2020-Veranstaltungen haben Juni bis November 2020 stattgefunden.]
Nicht begutachteter Zeitschriftenartikel
Generic ontology design patterns - roles and change over time
Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai
In: De.arxiv.org - [S.l.] : Arxiv.org - 2020, article 2011.09353, 23 Seiten
2019
Buchbeitrag
Institutions for SQL database schemas and datasets
Glauer, Martin; Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques , 1st ed. 2019 - Cham : Springer ; Fiadeiro, José Luiz, S. 67-86 - (Lecture Notes in Computer Science; volume 11563) [Workshop: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018]
Generic ontology design patterns at work
Krieg-Brückner, Bernd; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen - Volume 2518 (2019), paper BOG2, insgesamt 13 Seiten [Workshop: 2nd International Workshop on Bad Or Good Ontology, BOG, Graz, Austria, 2019]
Extensions of generic DOL for generic ontology design patterns
Codescu, Mihai; Krieg-Brückner, Bernd; Mossakowski, Till
In: CEUR workshop proceedings - Aachen : RWTH - Volume 2518 (2019), paper WOMOCOE1, insgesamt 12 Seiten [Workshop: 4th International Workshop on Ontology Modularity, Contextuality, and Evolution, WOMoCoE, Graz, Austria, 2019]
Begutachteter Zeitschriftenartikel
Towards fuzzy neural conceptors
Mossakowski, Till; Diaconescu, Razvan; Glauer, Martin
In: Journal of applied logics - IfCoLoG journal of logics and their applications - London : College Publications, Bd. 6 (2019), Heft 4, S. 725-744
Herausgeberschaft
WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution
Borgo, Stefano; Bozzato, Loris; Mossakowski, Till; Zimmermann, Antoine
In: CEUR workshop proceedings - Aachen : RWTH , 1995, Bd. 2518 (2019)
2018
Buchbeitrag
Conceptual blending in DOL - evaluating consistency and conflict resolution
Codescu, Mihai; Neuhaus, Fabian; Mossakowski, Till; Kutz, Oliver; Jesús Gómez-Ramírez, Danny
In: Concept Invention - Cham : Springer International Publishing . - 2018, S. 99-132
Multi-view consistency in UML - a survey
Knapp, Alexander; Mossakowski, Till
In: Graph Transformation, Specifications, and Nets - Cham : Springer International Publishing . - 2018, S. 37-60 - (Lecture Notes in Computer Science; 10800)
Begutachteter Zeitschriftenartikel
Partial pushout semantics of generics in DOL
Mossakowski, Till; Krieg-Brückner, Bernd
In: Theoretical computer science - Amsterdam [u.a.] : Elsevier, Bd. 741 (2018), S. 58-70
Herausgeberschaft
MedRACER+WOMoCoE 2018 - joint proceedings of MedRACER and WOMoCoE 2018 : 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
Cyras, Kristijonas; Oliveira, Tiago; Williams, Matthew; Bozzato, Loris; Homola, Martin; Mossakowski, Till; Zimmermann, Antoine
In: Aachen, Germany: RWTH Aachen, 2018, 1 Online Ressource - (CEUR workshop proceedings; vol-2237) Kongress: International Conference on Principles of Knowledge Representation and Reasoning (KR) 16 Tempe, Ariz. 2018.10.27-11.02[Literaturangaben]
Nicht begutachteter Zeitschriftenartikel
Modular semantics and characteristics for bipolar weighted argumentation graphs
Mossakowski, Till; Neuhaus, Fabian
In: Arxiv - Ithaca, NY : Cornell University . - 2018
2017
Buchbeitrag
The Distributed Ontology, Model and Specification Language DOL
Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques, Springer International Publishing, 2017, S. 5-10, Lecture Notes in Computer Science
UML interactions meet state machines - an institutional approach
Knapp, Alexander; Mossakowski, Till
In: 7th Conference on Algebra and Coalgebra in Computer Science / CALCO , 2017 - Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing - 2017, S. 15.1-15.15, ingesamt 15 S. - (Leibniz international proceedings in informatics; Vol. 72) [Konferenz: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO17, Ljubljana, Slovenia, June 12-16, 2017]
Relations between spatial calculi about directions and orientations
Mossakowski, Till; Moratz, Reinhard
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) - International Joint Conferences on Artificial Intelligence . - 2017, S. 5040-5044 [Konferenz: 26th International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, 19-25 August 2017]
Between contact and support - introducing a logic for image schemas and directed movement
Hedblom, Maria M.; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian
In: AI*IA 2017 Advances in Artificial Intelligence - Cham : Springer, S. 256-268 - (Lecture Notes in Computer Science; 10640) [Konferenz: 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, Bari, Italy, November 14-17, 2017]
Web-retrieval supported argument space exploration
Thiel, Marcus; Ludwig, Philipp; Mossakowski, Till; Neuhaus, Fabian; Nürnberger, Andreas
In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval - New York, NY : ACM, Association for Computing Machinery, S. 309-312 [Kongress: 2017 Conference on Conference Human Information Interaction and Retrieval : Oslo, Norway, March 07 - 11, 2017]
The Distributed Ontology, Model and Specification Language - DOL
Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 5-10 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]
Canonical selection of colimits
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 170-188 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]
Begutachteter Zeitschriftenartikel
A categorical approach to networks of aligned ontologies
Codescu, Mihai; Mossakowski, Till; Kutz, Oliver
In: Journal on data semantics - Berlin : Springer . - 2017, insges. 43 S.
Specification refinements - calculi, tools, and applications
Codescu, Mihai; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
In: Science of computer programming - Amsterdam [u.a.] : Elsevier Science, Bd. 144 (2017), S. 1-49
Ontohub - a semantic repository engine for heterogeneous ontologies
Codescu, Mihai; Kuksa, Eugen; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian
In: Applied ontology - Amsterdam : IOS Press, Bd. 12 (2017), Heft 3/4, S. 275-298
A survey of qualitative spatial and temporal calculi - algebraic and computational properties
Dylla, Frank; Lee, Jae Hee; Mossakowski, Till; Schneider, Thomas; van Delden, André; van de Ven, Jasper; Wolter, Diedrich
In: ACM computing surveys / Association for Computing Machinery - New York, NY : Association for Computing Machinery - Vol. 50.2017, 1, Art. 7, insgesamt 39 S.
Artikel in Kongressband
Institutions for database schemas and datasets
Glauer, Martin; Mossakowski, Till
In: CALCO Early Ideas 2017$a satellite workshop of CALCO 2017 - Ljubljana - 2017, S. 6:1-6:3 [Workshop: CALCO Early Ideas 2017, Ljubljana, 14-16 June 2017]
2016
Buchbeitrag
Prover-independent axiom selection for automated theorem proving in Ontohub
Kuksa, Eugen; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 1635 (2016), S. 56-68
Ontohub - version control, linked data and theorem proving for ontologies
Kuksa, Eugen; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 1660 (2016), insges. 5 S. [Kongress: Joint Ontology Workshops 2016, Annecy, France, July 69, 2016]
RESTful encapsulation of OWL API
Dirsumilli, R.; Mossakowski, Till
In: DATA 2016 / International Conference on Data Management Technologies and Applications , 2016 - [Setúbal, Portugal] : SCITEPRESS - Science and Technology Publications, Lda., S. 150-157 [Kongress: 5th International Conference on Data Management Technologies and Applications, DATA 2016, Lisbon, Portugal, July 24-26, 2016]
Ontology patterns with DOWL - the case of blending
Kutz, Oliver; Neuhaus, Fabian; Hedblom, Maria M.; Mossakowski, Till; Codescu, Mihai
In: CEUR workshop proceedings - Aachen : RWTH, Bd. 1577 (2016), insges. 13 S. [Kongress: 29th International Workshop on Description Logics, DL 2016, Cape Town, South Africa, April 22-25, 2016]
Begutachteter Zeitschriftenartikel
Heterogeneous verification in the context of model driven engineering
Calegari, Daniel; Mossakowski, Till; Szasz, Nora
In: Science of computer programming - Amsterdam [u.a.] : Elsevier Science, Bd. 126 (2016), S. 3-30 [Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)]
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules : decidable finite extension classes
Joseph, Mathew; Kuper, Gabriel; Mossakowski, Till; Serafini, Luciano
In: Semantic web - Amsterdam : IOS Press, Bd. 7 (2016), Heft 1, S. 25-61
Herausgeberschaft
JOWO 2016 - the Joint Ontology Workshops : episode 2 - the French summer : CAOS, Onto.Com, NSWO, WOMoCoE, Ontology Competition, Demos, Early Career Symposium : held at the 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 : July 6-9, 2016, Annecy, France
Kutz, Oliver; Cesare, Sergio; Hedblom, Maria M.; Besold, Tarek Richard; Veale, Tony; Gailly, Frederik; Guizzardi, Giancarlo; Lycett, Mark; Partridge, Chris; Pastor, Oscar; Grüninger, Michael; Neuhaus, Fabian; Mossakowski, Till; Borgo, Stefano; Bozzato, Loris; Chiara, Vescovo; Homola, Martin; Loebe, Frank; Barton, Adrien; Bourguet, Jean-Rémi
In: Aachen: RWTH Aachen, 2016, 1 Online-Ressource - (CEUR workshop proceedings; vol-1660) Kongress: International Conference on Formal Ontology in Information Systems (FOIS) 9 Annecy 2016.07.06-09[Literaturangaben]
Nicht begutachteter Zeitschriftenartikel
A survey of qualitative spatial and temporal calculi-algebraic and computational properties
Dylla, Frank; Lee, Jae Hee; Mossakowski, Till; Schneider, Thomas; Delden, André van; Ven, Jasper van de; Wolter, Diedrich
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 55 S.
Multi-view consistency in UML
Knapp, Alexander; Mossakowski, Till
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 23 S.
Bipolar weighted argumentation graphs
Mossakowski, Till; Neuhaus, Fabian
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 22 S.
2015
Buchbeitrag
E pluribus unum - formalisation, use-cases, and computational support for conceptual blending
Kutz, Oliver; Bateman, John; Mossakowski, Till; Neuhaus, Fabian; Bhatt, Mehul
In: Computational Creativity Research: Towards Creative Machines - Paris : Atlantis Press ; Besold, Tarek R. . - 2015, S. 167-196 - (Atlantis Thinking Machines; 7)
Model-driven engineering in the heterogeneous tool set
Calegari, Daniel; Mossakowski, Till; Szasz, Nora
In: Formal methods: foundations and applications - Cham [u.a.] : Springer . - 2015, S. 64-79 - (Lecture Notes in Computer Science; 8941)
What is a derived signature morphism?
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers , 1st ed. 2015 - [Cham] : Springer ; Codescu, Mihai, S. 90-109 - (Lecture notes in computer science; 9463) Kongress: WADT 22 Sinaia 2014.09.04-07
The distributed ontology, modeling, and specification language - DOL
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
In: The Road to Universal Logic - Cham : Birkhäuser . - 2015, S. 489-520
Modularity of ontologies in an arbitrary institution
Ibanez, Yazmin Angelica; Mossakowski, Till; Tarlecki, Andrzej; Sannella, Don
In: Logic, Rewriting, and Concurrency , 1st ed. 2015 - Cham [u.a.] : Springer, S. 361-379 - (Lecture notes in computer science; 9200)
An institution for simple UML state machines
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus; Glauer, Martin
In: Fundamental Approaches to Software Engineering / Egyed , Alexander - Berlin, Heidelberg : Springer . - 2015, S. 3-18 - (Lecture Notes in Computer Science; 9033) Kongress: FASE 18 London, UK 2015.04.11-18
Towards an institutional framework for heterogeneous formal development in UML - a position paper
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
In: Software, Services, and Systems / Nicola , Rocco - Cham [u.a.] : Springer ; Nicola, Rocco . - 2015, S. 215-230 - (Lecture Notes in Computer Science; 8950)
Begutachteter Zeitschriftenartikel
Relations between spatial calculi about directions and orientations
Mossakowski, Till; Moratz, Reinhard
In: Journal of artificial intelligence research - [Erscheinungsort nicht ermittelbar] : AI Access Found., Bd. 54 (2015), S. 277-308
Artikel in Kongressband
Blending in the hub - towards a collaborative concept invention platform
Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian; Codescu, Mihai
In: Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014, June 10-13, 2014, Ljubljana, Slovenia , 2014 - Ljubljana, Slovenia : Jožef Stefan Institute, insges. 9 S. Kongress: International Conference on Computational Creativity 5 Ljubljana, Slovenia 2014.06.09-13
2014
Abstract
Ontohub - a semantic repository for heterogeneous ontologies
Mossakowski, Till; Kutz, Oliver; Codescu, Mihai
In: ICTAC 2014 associated workshop: Theory Day in Computer Science: Buchaest, September 15-16, 2014 - BucharestKongress: Workshop Theory Day in Computer Science : (Bucharest) : 2014.09.15-16
Buchbeitrag
A categorical approach to ontology alignment
Codescu, M.; Mossakowski, T.; Kutz, O.
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073
A relatively complete calculus for structured heterogeneous specifications
Mossakowski, Till; Tarlecki, Andrzej
In: Foundations of software science and computation structures: 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 441-456 - (Lecture notes in computer science; 8412)Kongress: FOSSACS 17 (Grenoble : 2014.04.08-11)
A categorical approach to ontology alignment
Codescu, Mihai; Mossakowski, Till; Kutz, Oliver
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1317/2014, S. 1-12Kongress: International Workshop on Ontology Matching 9 (Trentino, Italy : 2014.10.20)
Parchments for CafeOBJ logics
Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej
In: Specification, algebra, and software: essays dedicated to Kokichi Futatsugi - Berlin [u.a.]: Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)
Artikel in Kongressband
Fabricating monsters is hard - towards the automation of conceptual blending
Neuhaus, Fabian; Kutz, Oliver; Codescu, Mihai; Mossakowski, Till
In: Computational Creativity, Concept Invention, and General Intelligence: 3rd International Workshop, C3GI ECAI 2014, Prague, Czech Republic, August 19, 2014 ; proceedings - Osnabrück: Inst. of Cognitive Science - (Publication of the Institute of Cognitive Science; 1.2014)Kongress: International Workshop Computational Creativity, Concept Invention, and General Intelligence 3 (Prague : 2014.08.19)
Proof support for common logic
Mossakowski, Till; Codescu, Mihai; Kutz, Oilver; Lange, Christoph; Gruninger, Michael
In: Automated reasoning in quantified non-classical logics: 1st international Workshop, ARQNL 2014, Vienna, Austria, July 23, 2014 ; proceedings - Vienna, 2014, Paper 5, insgesamt 16 S.Kongress: ARQNL 2014 1 (Vienna, Austria : 2014.07.23)
Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
Bateman, John; Kutz, Oliver; Mossakowski, Till; Sojic, Aleksandra; Codescu, Mihai
In: Spatial Cognition 2014: poster presentations - Bremen [u.a.]: Univ. [u.a.], S. 13-16
2013
Buchbeitrag
Designing domain specific languages - a craftsman's approach for the railway domain using CASL
James, P.; Knapp, A.; Mossakowski, Till; Roggenbach, M.
In: Recent Trends in Algebraic Development Techniques / Martí-Oliet , Narciso - Berlin, Heidelberg : Springer . - 2013, S. 178-194 - (Lecture notes in computer science; 7841) Kongress: WADT 21 Salamanca 2012.06.07-10
Mastering left and right-different approaches to a problem that is not straight forward
Delden, André; Mossakowski, Till
In: KI 2013: Advances in Artificial Intelligence / Timm , Ingo J. - Berlin, Heidelberg : Springer ; Timm, Ingo J., S. 248-259 - (Lecture notes in computer science; 8077) Kongress: KI 36 Koblenz 2013.09.16-20
Semantics of the distributed ontology language: Institutes and institutions
Mossakowski, T.; Kutz, O.; Lange, C.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 212-230, ISSN 03029743, 10.1007/978-3-642-37635-1_13
A qualitative comparison of the suitability of four theorem provers for basic auction theory
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
In: Intelligent Computer Mathematics / Carette , Jacques - Berlin, Heidelberg : Springer ; Carette, Jacques . - 2013, S. 200-215 - (Lecture notes in computer science; 7961) Kongress: MKM 12 Bath 2013.07.08-12
The distributed ontology, modeling and specification language
Mossakowski, Till; Kutz, Oliver; Codescu, Silvestru Mihai; Lange, Christoph
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen , 1995, Bd. 1081.2013, insges. 21 S. Kongress: International Workshop on Modular Ontologies 7 Corunna, Spain 2013.09.15
Algebraic properties of qualitative spatio-temporal calculi
Dylla, Frank; Mossakowski, Till; Schneider, Thomas; Wolter, Diedrich
In: Spatial Information Theory / Tenbrink , Thora - Cham [u.a.] : Springer ; Tenbrink, Thora *1969-* . - 2013, S. 516-536 - (Lecture notes in computer science; 8116) Kongress: COSIT 11 Scarborough 2013.09.02-06
Checking conservativity with Hets
Codescu, Silvestru Mihai; Mossakowski, Till; Maeder, Christian
In: Algebra and Coalgebra in Computer Science / Heckel , Reiko - Berlin, Heidelberg : Springer ; Heckel, Reiko . - 2013, S. 315-321 - (Lecture notes in computer science; 8089) Kongress: CALCO 5 Warsaw 2013.09.03-06
Three semantics for the core of the distributed ontology language
Mossakowski, Till; Lange, C.; Kutz, Oliver
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, Beijing, China, 3 - 9 August 2013 ; Vol. 4 - Palo Alto, Calif. : AAAI Press [u.a.] , 2013, S. 3027-3031 Kongress: IJCAI 23 Beijing 2013.08.03-09
Compiling logics
Codescu, M.; Horozal, F.; Jakubauskas, A.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 111-126, ISSN 03029743, 10.1007/978-3-642-37635-1_7
Originalartikel in begutachteter internationaler Zeitschrift
The Institution-Theoretic Scope of Logic Theorems
Diaconescu, R.; Mossakowski, T.; Tarlecki, A.
In: Logica Universalis, Vol. 8, 2013, Issue 3-4, S. 393-406, ISSN 16618297, 10.1007/s11787-013-0093-x
2012
Buchbeitrag
Towards logical frameworks in the heterogeneous tool set hets
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.; Sojakova, K.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 139-159, ISSN 03029743, 10.1007/978-3-642-28412-0_10
Modelling highly symmetrical molecules: Linking ontologies and graphs
Kutz, O.; Hastings, J.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7557 LNAI, 2012, S. 103-111, ISSN 03029743, 10.1007/978-3-642-33185-5_11
Compositional modelling and reasoning in an institution for processes and data
O'Reilly, L.; Mossakowski, T.; Roggenbach, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 251-269, ISSN 03029743, 10.1007/978-3-642-28412-0_16
The distributed ontology language (DOL): Use cases, syntax, and extensibility
Lange, C.; Mossakowski, T.; Kutz, O.; Galinski, C.; Grüninger, M.; Vale, D.C.
In: Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge Engineering, TKE 2012, 2012, S. 33-48
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Mossakowski, T.; Kreowski, H.-J.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. V-VI, ISSN 03029743
Intuitive and natural interfaces for geospatial data classification
Schmid, F.; Kutz, O.; Frommberger, L.; Mossakowski, T.; Kauppinen, T.; Cai, C.
In: CEUR Workshop Proceedings, Vol. 881, 2012, S. 26-32, ISSN 16130073
A proof theoretic interpretation of model theoretic hiding
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 118-138, ISSN 03029743, 10.1007/978-3-642-28412-0_9
LoLa: A modular ontology of logics, languages, and translations
Lange, C.; Mossakowski, T.; Kutz, O.
In: CEUR Workshop Proceedings, Vol. 875, 2012, S. 51-60, ISSN 16130073
Ontology-based route planning for OpenStreetMap
Codescu, M.; Vale, D.C.; Kutz, O.; Mossakowski, T.
In: CEUR Workshop Proceedings, Vol. 901, 2012, S. 62-73, ISSN 16130073
The distributed ontology language (DOL): Ontology integration and interoperability applied to mathematical formalization
Lange, C.; Kutz, O.; Mossakowski, T.; Grüninger, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7362 LNAI, 2012, S. 463-467, ISSN 03029743, 10.1007/978-3-642-31374-5_37
Originalartikel in begutachteter internationaler Zeitschrift
Qualitative reasoning about relative direction of oriented points
Mossakowski, T.; Moratz, R.
In: Artificial Intelligence, Vol. 180-181, 2012, S. 34-45, ISSN 00043702, 10.1016/j.artint.2011.10.003
2011
Buchbeitrag
Project abstract: Logic atlas and integrator (LATIN)
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6824 LNAI, 2011, S. 289-291, ISSN 03029743, 10.1007/978-3-642-22673-1_24
Integrating Maude into hets
Codescu, M.; Mossakowski, T.; Riesco, A.; Maeder, C.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6486 LNCS, 2011, S. 60-75, ISSN 03029743, 10.1007/978-3-642-17796-5_4
Refinement trees: Calculi, tools, and applications
Codescu, M.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6859 LNCS, 2011, S. 145-160, ISSN 03029743, 10.1007/978-3-642-22944-2_11
The onto-logical translation graph
Mossakowski, T.; Kutz, O.
In: Frontiers in Artificial Intelligence and Applications, Vol. 230, 2011, S. 94-109, ISSN 09226389, 10.3233/978-1-60750-799-4-94
DO-ROAM: Activity-oriented search and navigation with OpenStreetMap
Codescu, M.; Horsinka, G.; Kutz, O.; Mossakowski, T.; Rau, R.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6631 LNCS, 2011, S. 88-107, ISSN 03029743, 10.1007/978-3-642-20630-6_6
Hyperontology for the biomedical ontologist: A sketch and some examples
Kutz, O.; Mossakowski, T.; Hastings, J.; Castro, A.G.; Sojic, A.
In: CEUR Workshop Proceedings, Vol. 833, 2011, S. 399-408, ISSN 16130073
A modular consistency proof for DOLCE
Kutz, O.; Mossakowski, T.
In: Proceedings of the National Conference on Artificial Intelligence, Vol. 1, 2011, S. 227-234
Originalartikel in begutachteter internationaler Zeitschrift
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Moratz, R.; Lücke, D.; Mossakowski, T.
In: Artificial Intelligence, Vol. 175, 2011, Issue 16-17, S. 2099-2127, ISSN 00043702, 10.1016/j.artint.2011.07.004
2010
Buchbeitrag
Chinese whispers and connected alignments
Kutz, O.; Normann, I.; Mossakowski, T.; Walther, D.
In: CEUR Workshop Proceedings, Vol. 689, 2010, S. 25-36, ISSN 16130073
Change management for heterogeneous development graphs
Autexier, S.; Hutter, D.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6463 LNAI, 2010, S. 54-80, ISSN 03029743, 10.1007/978-3-642-17172-7_4
A much better polynomial time approximation of consistency in the ℒℛ calculus
Lücke, D.; Mossakowski, T.
In: Frontiers in Artificial Intelligence and Applications, Vol. 222, 2010, S. 175-185, ISSN 09226389, 10.3233/978-1-60750-676-8-175
Towards ontological blending
Hois, J.; Kutz, O.; Mossakowski, T.; Bateman, J.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6304 LNAI, 2010, S. 263-264, ISSN 03029743, 10.1007/978-3-642-15431-7_28
Originalartikel in begutachteter internationaler Zeitschrift
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
Kutz, O.; Mossakowski, T.; Lücke, D.
In: Logica Universalis, Vol. 4, 2010, Issue 2, S. 255-333, ISSN 16618297, 10.1007/s11787-010-0020-3
A generic complete dynamic logic for reasoning about purity and effects
Mossakowski, T.; Schröder, L.; Goncharov, S.
In: Formal Aspects of Computing, Vol. 22, 2010, Issue 3-4, S. 363-384, ISSN 09345043, 10.1007/s00165-010-0153-4
2009
Buchbeitrag
The OWL in the CASL designing ontologies across logics
Kutz, O.; Lücke, D.; Mossakowski, T.; Normann, I.
In: CEUR Workshop Proceedings, Vol. 432, 2009, ISSN 16130073
Heterogeneous logical environments for distributed specifications
Mossakowski, T.; Tarlecki, A.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5486 LNCS, 2009, S. 266-289, ISSN 03029743, 10.1007/978-3-642-03429-9_18
The VSE refinement method in HETS
Codescu, M.; Langenstein, B.; Maeder, C.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5885 LNCS, 2009, S. 660-678, ISSN 03029743, 10.1007/978-3-642-10373-5_34
Kleene monads: Handling iteration in a framework of generic effects
Goncharov, S.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5728 LNCS, 2009, S. 18-33, ISSN 03029743, 10.1007/978-3-642-03741-2_3
Originalartikel in begutachteter internationaler Zeitschrift
HasCasl: Integrated higher-order specification and program development
Schröder, L.; Mossakowski, T.
In: Theoretical Computer Science, Vol. 410, 2009, Issue 12-13, S. 1217-1260, ISSN 03043975, 10.1016/j.tcs.2008.11.020
What is a logic translation?
Mossakowski, T.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis, Vol. 3, 2009, Issue 1, S. 95-124, ISSN 16618297, 10.1007/s11787-009-0005-2
2008
Buchbeitrag
Heterogeneous colimits
Codescu, M.; Mossakowski, T.
In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, 2008, S. 131-140, 10.1109/ICSTW.2008.20
Qualitative reasoning about convex relations
Lücke, D.; Mossakowski, T.; Wolter, D.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5248 LNAI, 2008, S. 426-440, ISSN 03029743, 10.1007/978-3-540-87601-4_30
Shapes of alignments construction, combination, and computation
Kutz, O.; Mossakowski, T.; Codescu, M.
In: CEUR Workshop Proceedings, Vol. 348, 2008, S. 30-43, ISSN 16130073
A generic complete dynamic logic for reasoning about purity and effects
Mossakowski, T.; Schröder, L.; Goncharov, S.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4961 LNCS, 2008, S. 199-214, ISSN 03029743, 10.1007/978-3-540-78743-3_15
2007
Buchbeitrag
Coalgebraic modal logic in COCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 127-141, ISSN 03029743
Structured CSP - A process algebra as an institution
Mossakowski, T.; Roggenbach, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 92-110, ISSN 03029743
The heterogeneous tool set, HETS
Mossakowski, T.; Maeder, C.; Lüttich, K.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4424 LNCS, 2007, S. 519-522, ISSN 03029743
Modules in transition conservativity, composition, and colimits
Kutz, O.; Mossakowski, T.
In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073
The heterogeneous tool set
Mossakowski, T.; Maeder, C.; Lüttich, K.
In: CEUR Workshop Proceedings, Vol. 259, 2007, S. 119-135, ISSN 16130073
Reasoning support for CASL with automated theorem proving systems
Lüttich, K.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 74-91, ISSN 03029743
What is a logic?
Mossakowski, T.; Goguen, J.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis: Towards a General Theory of Logic, 2007, S. 111-133, 10.1007/978-3-7643-8354-1_7
Qualitative constraint calculi: Heterogeneous verification of composition tables
Wòlfl, S.; Mossakowski, T.; Schröder, L.
In: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007, 2007, S. 665-670
Originalartikel in begutachteter internationaler Zeitschrift
Ontological modularity and spatial diversity
Bateman, J.; Borgo, S.; Lüttich, K.; Masolo, C.; Mossakowski, T.
In: Spatial Cognition and Computation, Vol. 7, 2007, Issue 1, S. 97-128, ISSN 13875868, 10.1080/13875860701337991
2006
Buchbeitrag
Completeness of global evaluation logic
Goncharov, S.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4162 LNCS, 2006, S. 447-458, ISSN 03029743
Monad-based logics for computational effects
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4019 LNCS, 2006, S. 3-4, ISSN 03029743
Institutional 2-cells and Grothendieck institutions
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4060 LNCS, 2006, S. 124-149, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Development graphs - Proof management for structured specifications
Mossakowski, T.; Autexier, S.; Hutter, D.
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 114-145, ISSN 15678326, 10.1016/j.jlap.2005.09.005
Algebraic-coalgebraic specification in CoCasl
Mossakowski, T.; Schröder, L.; Roggenbach, M.; Reichel, H.
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 146-197, ISSN 15678326, 10.1016/j.jlap.2005.09.006
A coalgebraic approach to the semantics of the ambient calculus
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Theoretical Computer Science, Vol. 366, 2006, Issue 1-2, S. 121-143, ISSN 03043975, 10.1016/j.tcs.2006.07.006
2005
Buchbeitrag
A simple refinement language for CASL
Mossakowski, T.; Sannella, D.; Tarlecki, A.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743
What is a logic?
Mossakowski, T.; Goguen, J.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis: Towards a General Theory of Logic, 2005, S. 113-133, 10.1007/3-7643-7304-0_7
CASL specifications of qualitative calculi
Wölfl, S.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3693 LNCS, 2005, S. 200-217, ISSN 03029743
Higher-order nets for mobile policies
Hoffmann, K.; Mossakowski, T.; Parisi-Presicce, F.
In: Electronic Notes in Theoretical Computer Science, Vol. 127, 2005, Issue 2, S. 87-105, ISSN 15710661, 10.1016/j.entcs.2005.02.007
Parametrized exceptions
Walter, D.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743
Specification of an ontology for Route Graphs
Krieg-Brückner, B.; Frese, U.; Lüttich, K.; Mandel, C.; Mossakowski, T.; Ross, R.J.
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3343, 2005, S. 390-412, ISSN 03029743
Type class polymorphism in an institutional framework
Schröder, L.; Mossakowski, T.; Lüth, C.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743
Iterative circular coinduction for CoCASL in Isabelle/HOL
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743
Ontologies for the semantic Web in CASL
Lüttich, K.; Mossakowski, T.; Krieg-Brückner, B.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743
High-Level nets with nets and rules as tokens
Hoffmann, K.; Ehrig, H.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743
Towards a coalgebraic semantics of the ambient calculus
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Amalgamation in the semantics of CASL
Schröder, L.; Mossakowski, T.; Tarlecki, A.; Klin, B.; Hoffman, P.
In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037
2004
Anderes Material
Generic exception handling and the java monad
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, 2004, S. 443-459, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Monad-independent dynamic logic in HasCASL
Schröder, L.; Mossakowski, T.
In: Journal of Logic and Computation, Vol. 14, 2004, Issue 4, S. 571-619, ISSN 0955792X, 10.1093/logcom/14.4.571
2003
Anderes Material
Algebraic-coalgebraic specification in CoCASL
Mossakowski, T.; Reichel, H.; Roggenbach, M.; Schröder, L.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 376-392, ISSN 03029743
Buchbeitrag
Monad-independent dynamic logic in HASCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 425-441, ISSN 03029743
Foundations of Heterogeneous Specification
Mossakowski, T.
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 359-375, ISSN 03029743
Monad-independent Hoare logic in HASCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2621, 2003, S. 261-277, ISSN 03029743
COCASL at work - Modelling process algebra
Mossakowski, T.; Roggenbach, M.; Schröder, L.
In: Electronic Notes in Theoretical Computer Science, Vol. 82, 2003, Issue 1, S. 211-225, ISSN 15710661, 10.1016/S1571-0661(04)80640-6
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
Hoffmann, K.; Mossakowski, T.
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 253-267, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
CASL - The common algebraic specification language: Semantics and proof theory
Mossakowski, T.; Haxthausen, A.E.; Sannella, D.; Tarlecki, A.
In: Computing and Informatics, Vol. 22, 2003, Issue 3-4, S. 285-321, ISSN 13359150
2002
Buchbeitrag
Institution independent static analysis for CASL
Mossakowski, T.; Klin, B.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2267 LNCS, 2002, S. 221-237, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Relating CASL with other specification languages: The institution level
Mossakowski, T.
In: Theoretical Computer Science, Vol. 286, 2002, Issue 2, S. 367-475, ISSN 03043975, 10.1016/S0304-3975(01)00369-3
2001
Buchbeitrag
Amalgamation in casl via enriched signatures
Schröder, L.; Mossakowski, T.; Tarlecki, A.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2076 LNCS, 2001, S. 993-1004, ISSN 03029743
2000
Buchbeitrag
CASL: From semantics to tools
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1785 LNCS, 2000, S. 93-108, ISSN 03029743