Markus Moschner

According to our database, Markus Moschner authored at least 6 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Knowledge Integration from Multidimensional Data Sources.

Wilfried Grossmann, Markus Moschner

Proceedings of the Computer Aided Systems Theory, 2007

2005

Ontology Integration for Statistical Information.

Wilfried Grossmann, Markus Moschner

Proceedings of the Computer Aided Systems Theory, 2005

2004

Towards an Ontology for Data in Business Decisions.

Wilfried Grossmann, Markus Moschner

Proceedings of the Practical Aspects of Knowledge Management, 5th International Conference, 2004

Managing Heterogeneous Theories within a Mathematical Knowledge Repository.

Adam Grabowski, Markus Moschner

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

2000

Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics.

Markus Moschner

Proceedings of the Seventh Workshop on Automated Reasoning, 2000