Immanuel Normann

According to our database, Immanuel Normann authored at least 10 papers between 2001 and 2023.

Collaborative distances:

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

2023

Textliche Relationen maschinenlesbar formalisieren: Systeme der Intertextualität.

Jan Horstmann, Christian Lück, Immanuel Normann

Proceedings of the 9. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, 2023

2016

Digitale Editionen als Web-Services.

Immanuel Normann

Proceedings of the 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, 2016

2015

An Ontological Approach to Creating an Andean Weaving Knowledge Base.

Richard Brownlow, Stefano Capuzzi, Sven Helmer, Luciana Martins, Immanuel Normann, Alexandra Poulovassilis

ACM Journal on Computing and Cultural Heritage, 2015

2010

Automated Theory Interpretation.

Immanuel Normann

PhD thesis, 2010

Chinese whispers and connected alignments.

Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

2008

The OWL in the CASL - Designing Ontologies Across Logics.

Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

2007

Extended Formula Normalization for <i>epsilon</i> -Retrieval and Sharing of Mathematical Knowledge.

Immanuel Normann, Michael Kohlhase

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Enhanced Theorem Reuse by Partial Theory Inclusions.

Immanuel Normann

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

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

2001

Spectrum of Pitch Differences Models the Perception of Octave Ambiguous Tones.

Immanuel Normann, Hendrik Purwins, Klaus Obermayer

Proceedings of the 2001 International Computer Music Conference, 2001