Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics. - Markus Moschner (ARW, 2000)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

Managing Heterogeneous Theories within a Mathematical Knowledge Repository. - Adam Grabowski; Markus Moschner (MKM, 2004)

Towards an Ontology for Data in Business Decisions. - Wilfried Grossmann; Markus Moschner (PAKM, 2004)

Ontology Integration for Statistical Information. - Wilfried Grossmann; Markus Moschner (EUROCAST, 2005)

Knowledge Integration from Multidimensional Data Sources. - Wilfried Grossmann; Markus Moschner (EUROCAST, 2007)