T. Mossakowski
发表
O. Kutz,
D. Lücke,
T. Mossakowski,
2008
.
S. Wölfl,
T. Mossakowski,
Christian Maeder,
2007
.
T. Mossakowski,
2007
.
O. Kutz,
D. Lücke,
T. Mossakowski,
2008
.
J. Bateman,
O. Kutz,
T. Mossakowski,
2014
.
Jae Hee Lee,
Till Mossakowski,
Arne Kreutzmann,
2011
.
U. Montanari,
T. Mossakowski,
M. Haveraaen,
2007
.
T. Mossakowski,
Christian Maeder,
M. Codescu,
2013
.
T. Mossakowski,
Christian Maeder,
M. Codescu,
2010
.
Till Mossakowski,
T. Mossakowski,
2004
.
T. Mossakowski,
Christian Maeder,
C. Lueth,
2007
.
J. Goguen,
T. Mossakowski,
A. Tarlecki,
2022
.
O. Kutz,
T. Mossakowski,
F. Neuhaus,
2015
.
T. Mossakowski,
Christian Maeder,
2009
.
J. Bateman,
J. Hois,
O. Kutz,
2012
.
Stephan Merz,
T. Mossakowski,
P. Fontaine,
2007
.
T. Mossakowski,
M. Codescu,
2018
.
D. Sannella,
T. Mossakowski,
A. Tarlecki,
2017
.
O. Kutz,
T. Mossakowski,
2011
.
Tomi Kauppinen,
O. Kutz,
T. Mossakowski,
2012
.
O. Kutz,
T. Mossakowski,
M. Codescu,
2013
.
T. Mossakowski,
2022,
2206.04724.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Donald Sannella,
2008
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2017,
Appl. Ontology.
T. Mossakowski,
Florian Rabe,
M. Codescu,
2017
.
T. Mossakowski,
H. Kreowski,
2012,
Lecture Notes in Computer Science.
O. Kutz,
T. Mossakowski,
2008
.
Magne Haveraaen,
Ugo Montanari,
Till Mossakowski,
2007
.
T. Mossakowski,
2022,
NeSy.
T. Mossakowski,
2002,
MFCS.
T. Mossakowski,
R. Diaconescu,
Martin Glauer,
2018
.
J. Bateman,
J. Hois,
O. Kutz,
2012
.
Till Mossakowski,
Oliver Kutz,
Dominik Lücke,
2010,
Logica Universalis.
Alexander García Castro,
Till Mossakowski,
Janna Hastings,
2011,
ICBO.
Till Mossakowski,
Maura Cerioli,
Horst Reichel,
1999,
Algebraic Foundations of Systems Specification.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2006,
WADT.
Jae Hee Lee,
Till Mossakowski,
Frank Dylla,
2016,
ACM Comput. Surv..
Till Mossakowski,
Janna Hastings,
Oliver Kutz,
2011
.
T. Mossakowski,
Christian Maeder,
M. Codescu,
2010
.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
1999,
WADT.
Till Mossakowski,
Reinhard Moratz,
R. Moratz,
2012,
Artif. Intell..
Till Mossakowski,
Bernd Krieg-Brückner,
Klaus Lüttich,
2004,
WADT.
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2014
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2016,
ArXiv.
Christian A. Mueller,
Michael Beetz,
Max Pfingsthorn,
2020,
SAC.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2003,
FASE.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2002,
J. Log. Algebraic Methods Program..
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2002,
WADT.
Till Mossakowski,
Martin Robinius,
Fabian Neuhaus,
2021
.
Ulrich J. Frey,
Meisam Booshehri,
T. Mossakowski,
2020
.
Till Mossakowski,
Martin Glauer,
T. Mossakowski,
2018,
WADT.
Till Mossakowski,
T. Mossakowski,
1993,
AMAST.
Francesco Parisi-Presicce,
Kathrin Hoffmann,
Till Mossakowski,
2005,
PNGT@ICGT.
Nora Szasz,
Till Mossakowski,
Daniel Calegari,
2016,
Sci. Comput. Program..
Till Mossakowski,
Mihai Codescu,
Bernd Krieg-Brückner,
2020,
WOP.
Hartmut Ehrig,
Kathrin Hoffmann,
Till Mossakowski,
2005,
ICATPN.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2012,
WADT.
Till Mossakowski,
Razvan Diaconescu,
Andrzej Tarlecki,
2009,
Logica Universalis.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2006,
J. Log. Algebraic Methods Program..
Till Mossakowski,
Janna Hastings,
Oliver Kutz,
2012,
AIMSA.
Till Mossakowski,
Reinhard Moratz,
Dominik Lücke,
2011,
Artif. Intell..
Till Mossakowski,
Reinhard Moratz,
Dominik Lücke,
2009,
ArXiv.
Till Mossakowski,
Klaus Lüttich,
Christian Maeder,
2007,
VERIFY.
Till Mossakowski,
Stefan Wölfl,
S. Wölfl,
2005,
COSIT.
O. Kutz,
T. Mossakowski,
Till MOSSAKOWSKI,
2011
.
Till Mossakowski,
Stefan Wölfl,
Lutz Schröder,
2007,
FLAIRS.
Till Mossakowski,
Fabian Neuhaus,
T. Mossakowski,
2018,
ArXiv.
Till Mossakowski,
Fabian Neuhaus,
T. Mossakowski,
2016,
ArXiv.
Till Mossakowski,
Robert J. Ross,
Udo Frese,
2004,
Spatial Cognition.
Till Mossakowski,
Eugen Kuksa,
T. Mossakowski,
2016,
PAAR@IJCAR.
T. Mossakowski,
F. Neuhaus,
Janna Hastings,
2023,
Semantic Web.
T. Mossakowski,
F. Neuhaus,
Janna Hastings,
2020,
Journal of Cheminformatics.
T. Mossakowski,
F. Neuhaus,
Martin Glauer,
2023,
arXiv.org.
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain
pdf
Till Mossakowski,
Fabian Neuhaus,
Janna Hastings,
2021,
DAO-XAI.
Dieter Hutter,
Axel Schairer,
Till Mossakowski,
2002,
AMAST.
Christoph Lange,
Till Mossakowski,
Oliver Kutz,
2011
.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013
.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2014,
FASE.
Markus Roggenbach,
Till Mossakowski,
Liam O'Reilly,
2010,
WADT.
Markus Roggenbach,
Till Mossakowski,
T. Mossakowski,
2006,
WADT.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2003,
CMCS.
Till Mossakowski,
T. Mossakowski,
2002,
WADT.
Till Mossakowski,
John A. Bateman,
Oliver Kutz,
2010,
AIMSA.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2014,
ICCC.
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes
pdf
Gabriel M. Kuper,
Luciano Serafini,
Till Mossakowski,
2014,
Semantic Web.
O. Kutz,
T. Mossakowski,
M. Codescu,
2017,
Journal on Data Semantics.
Colin Rowat,
Christoph Lange,
Till Mossakowski,
2013,
MKM/Calculemus/DML.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2014,
OM.
Till Mossakowski,
Florian Rabe,
Mihai Codescu,
2016,
WADT.
Ulf Krumnack,
Till Mossakowski,
T. S. E. Maibaum,
2014,
WADT.
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Till Mossakowski,
Eugen Kuksa,
T. Mossakowski,
2016,
JOWO@FOIS.
Till Mossakowski,
T. Mossakowski,
2016,
WADT.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013,
WoMO.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2008,
WoMO.
Till Mossakowski,
Alexander Knapp,
T. Mossakowski,
2016,
ArXiv.
Nora Szasz,
Till Mossakowski,
Daniel Calegari,
2014,
SBMF.
Hans-Jörg Kreowski,
Till Mossakowski,
T. Mossakowski,
1995,
Mathematical Structures in Computer Science.
Till Mossakowski,
T. Mossakowski,
1996,
ICALP.
Till Mossakowski,
T. Mossakowski,
1995,
CSL.
Till Mossakowski,
T. Mossakowski,
1995,
COMPASS/ADT.
Valeria de Paiva,
Joseph A. Goguen,
Till Mossakowski,
2007,
Int. J. Softw. Informatics.
Till Mossakowski,
Florian Rabe,
Lutz Schröder,
2022
.
Till Mossakowski,
T. Mossakowski,
Till Mossakowski,
2004
.
Till Mossakowski,
Ramya Dirsumilli,
T. Mossakowski,
2016,
DATA.
Kathrin Hoffmann,
Till Mossakowski,
T. Mossakowski,
2002,
WADT.
Till Mossakowski,
Mihai Codescu,
Bruno Langenstein,
2009,
ICFEM.
T. Mossakowski,
Christian Maeder,
K. Lüttich,
2008
.
Karsten Sohr,
Michael Drouineaud,
Till Mossakowski,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Till Mossakowski,
Frank Dylla,
Diedrich Wolter,
2013,
COSIT.