Till Mossakowski
Orcid: 0000-0002-8938-5204Affiliations:
- Otto von Guericke University of Magdeburg, Germany
According to our database1,
Till Mossakowski
authored at least 165 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023
Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022
2021
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification.
J. Cheminformatics, 2021
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain.
Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
2020
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
2019
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019
2018
CoRR, 2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
Proceedings of the Concept Invention, 2018
2017
Sci. Comput. Program., 2017
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties.
ACM Comput. Surv., 2017
Appl. Ontology, 2017
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
2016
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.
Semantic Web, 2016
Sci. Comput. Program., 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
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), 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016
2015
J. Artif. Intell. Res., 2015
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print).
CoRR, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
Proceedings of the Software, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the Fifth International Conference on Computational Creativity, 2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
Proceedings of the Intelligent Computer Mathematics, 2013
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).
Proceedings of the IJCAI 2013, 2013
Proceedings of the Spatial Information Theory - 11th International Conference, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
CoRR, 2012
Artif. Intell., 2012
Proceedings of the 6th International Workshop on Modular Ontologies, 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Terra Cognita Workshop on Foundations, 2012
Proceedings of the Formal Ontology in Information Systems, 2012
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012
2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments.
Artif. Intell., 2011
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the 2nd International Conference on Biomedical Ontology, 2011
Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design.
Logica Universalis, 2010
Formal Aspects Comput., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
CoRR, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the STAIRS 2010, 2010
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
Proceedings of the Artificial Intelligence: Methodology, 2010
2009
Theor. Comput. Sci., 2009
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects
CoRR, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Spatial Cognition VI. Learning, 2008
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
2007
Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
2006
Theor. Comput. Sci., 2006
J. Log. Algebraic Methods Program., 2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
Proceedings of the Algebraic Methodology and Software Technology, 2006
2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005
Proceedings of the Semantic Interoperability and Integration, 2005
Proceedings of the Spatial Information Theory, International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the Spatial Cognition IV: Reasoning, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
Comput. Artif. Intell., 2003
A temporal-logic extension of role-based access control covering dynamic separation of duties.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003
Proceedings of the Fundamental Approaches to Software Engineering, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
Categorial Fibring of Logics with Terms and Binding Operators.
Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998
1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
1995
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras.
Math. Struct. Comput. Sci., 1995
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.
Proceedings of the Recent Trends in Data Type Specification, 1995
1994
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1991
RAIRO Theor. Informatics Appl., 1991