Markus Moschner

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Wilfried Grossmann, Markus Moschner
Knowledge Integration from Multidimensional Data Sources. EUROCAST (2007)
Wilfried Grossmann, Markus Moschner
Ontology Integration for Statistical Information. EUROCAST (2005)
Wilfried Grossmann, Markus Moschner
Towards an Ontology for Data in Business Decisions. PAKM (2004)
Adam Grabowski, Markus Moschner
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. MKM (2004)
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA. CADE (2002)
Markus Moschner
Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics. ARW (2000)