Michael Kohlhase

244 papers A* 2A 15B 6C 34Misc 8Journal 63Unranked 105

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Leveraging Large Language Models to Generate Course-Specific Semantically Annotated Learning Objects. J. Comput. Assist. Learn. Dominic Lohr, Marc Berges, Abhishek Chugh, Michael Kohlhase, Dennis Müller
2025	C	`conf`	Lightweight Realms. CICM Michael Kohlhase, Florian Rabe, Marcel Schütz
2025	J	`jnl`	Project VoLL-KI. Künstliche Intell. Michael Kohlhase, Marc Berges, Jens Grubert, Andreas Henrich, Dieter Landes, Jochen L. Leidner, Florian Mittag, Daniela Nicklas, Ute Schmid, Yvonne Sedlmaier, Achim Ulbrich-vom Ende, Diedrich Wolter
2025	C	`conf`	Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations. CICM Josefin Kelber, Michael Kohlhase, Jan Frederik Schaefer, Marcel Schütz
2025	C	`conf`	Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents. CICM Michael Kohlhase, Jan Frederik Schaefer
2025	J	`jnl`	The Potential of Answer Classes in Large-scale Written Computer-Science Exams - Vol. 2. CoRR Dominic Lohr, Marc Berges, Michael Kohlhase, Florian Rabe
2024	—	`ed.`	Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I ECAI Workshops (1) Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024	—	`ed.`	Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II ECAI Workshops (2) Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024	C	`conf`	DIREGA - Building Decision Support for German Register Law. JURIX Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schröder, Verena Stürmer
2024	J	`jnl`	Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects. CoRR Dominic Lohr, Marc Berges, Abhishek Chugh, Michael Kohlhase, Dennis Müller
2024	C	`conf`	Reusing Learning Objects via Theory Morphisms. CICM Michael Kohlhase, Marcel Schütz
2024	—	`ed.`	Robust Argumentation Machines - First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings RATIO Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein
2024	—	`conf`	Term Extraction for Domain Modeling. DeLFI Theresa Kruse, Dominic Lohr, Marc Berges, Michael Kohlhase, Halimeh Moghbeli, Marcel Schütz
2023	—	`conf`	Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) Jonas Betzendahl, Michael Kohlhase, Dennis Müller
2023	—	`ed.`	Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CICM Workshops Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen
2023	C	`conf`	Learning Support Systems Based on Mathematical Knowledge Management. CICM Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller
2023	—	`conf`	Learning with ALeA: Tailored experiences through annotated course material. GI-Jahrestagung Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller
2023	—	`conf`	The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems. GECon Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp
2023	C	`conf`	Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. CICM Jan Frederik Schaefer, Michael Kohlhase
2022	C	`conf`	Injecting Formal Mathematics Into LaTeX. CICM Dennis Müller, Michael Kohlhase
2022	C	`conf`	System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM Michael Kohlhase, Dennis Müller
2021	—	`conf`	A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. CICM Workshops Andrea Kohlhase, Michael Kohlhase
2021	—	`conf`	Dynamic User Interfaces via Incremental Knowledge Management. CICM Workshops Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada
2021	J	`jnl`	Erratum zu: Editorial. Datenbank-Spektrum Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder
2021	J	`jnl`	Experiences from Exporting Major Proof Assistant Libraries. J. Autom. Reason. Michael Kohlhase, Florian Rabe
2021	—	`conf`	MioGatto: A Math Identifier-oriented Grounding Annotation Tool. CICM Workshops Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase
2021	—	`conf`	OpenMath Preface. CICM Workshops James H. Davenport, Michael Kohlhase
2021	—	`conf`	System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer
2020	J	`jnl`	(Deep) FAIR mathematics. it Inf. Technol. Katja Bercic, Michael Kohlhase, Florian Rabe
2020	—	`conf`	Context Graphs for Legal Reasoning and Argumentation. SAFA Max Rapp, Axel Adrian, Michael Kohlhase
2020	J	`jnl`	Context Graphs for Legal Reasoning and Argumentation. CoRR Max Rapp, Axel Adrian, Michael Kohlhase
2020	—	`conf`	Deep FAIR - Knowledge Representation for Research Data about Complex Objects. FCR@KI Michael Kohlhase
2020	J	`jnl`	Editorial. Datenbank-Spektrum Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder
2020	J	`jnl`	Experiences from Exporting Major Proof Assistant Libraries. CoRR Michael Kohlhase, Florian Rabe
2020	C	`conf`	FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger
2020	—	`conf`	GLIF: A Declarative Framework for Symbolic Natural Language Understanding. FCR@KI Jan Frederik Schaefer, Michael Kohlhase
2020	—	`ed.`	Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CICM Workshops Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2020	—	`conf`	Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer
2020	J	`jnl`	Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR Michael Kohlhase, Florian Rabe, Makarius Wenzel
2020	—	`conf`	Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS Jan Frederik Schaefer, Kai Amann, Michael Kohlhase
2020	C	`conf`	Representing Structural Language Features in Formal Meta-languages. CICM Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
2020	C	`conf`	TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. CICM Richard Marcus, Michael Kohlhase, Florian Rabe
2020	J	`jnl`	The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
2020	C	`conf`	Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM Katja Bercic, Michael Kohlhase, Florian Rabe
2019	J	`jnl`	Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
2019	—	`conf`	Context Graphs for Argumentation Logics. LWDA Michael Kohlhase, Max Rapp
2019	—	`conf`	GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS Michael Kohlhase, Jan Frederik Schaefer
2019	C	`conf`	Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
2019	—	`ed.`	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019	—	`conf`	Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES Michael Kohlhase, Florian Rabe, Makarius Wenzel
2019	C	`conf`	Relational Data Across Mathematical Libraries. CICM Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
2019	J	`jnl`	TGView3D System Description: 3-Dimensional Visualization of Theory Graphs. CoRR Richard Marcus, Michael Kohlhase, Florian Rabe
2019	J	`jnl`	The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning. CoRR Michael Kohlhase
2019	C	`conf`	Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM Katja Bercic, Michael Kohlhase, Florian Rabe
2018	—	`conf`	A Proposal for an OpenMath JSON Encoding. CICM Workshops Tom Wiesing, Michael Kohlhase
2018	C	`conf`	Automatically Finding Theory Morphisms for Knowledge Management. CICM Dennis Müller, Michael Kohlhase, Florian Rabe
2018	C	`conf`	Discourse Phenomena in Mathematical Documents. CICM Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn
2018	C	`conf`	Knowledge Amalgamation for Computational Science and Engineering. CICM Theresa Pollinger, Michael Kohlhase, Harald Köstler
2018	—	`conf`	Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). CICM Workshops Jan Frederik Schaefer, Michael Kohlhase
2018	A	`conf`	Theories as Types. IJCAR Dennis Müller, Florian Rabe, Michael Kohlhase
2018	—	`conf`	Towards Context Graphs for Argumentation Logics. LWDA Michael Kohlhase
2018	C	`conf`	Translating the IMPS Theory Library to MMT/OMDoc. CICM Jonas Betzendahl, Michael Kohlhase
2017	C	`conf`	Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
2017	—	`conf`	Knowledge-Based Interoperability for Mathematical Software Systems. MACIS Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
2017	B	`conf`	Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe
2017	—	`conf`	Math Object Identifiers - Towards Research Data in Mathematics. LWDA Michael Kohlhase
2017	C	`conf`	Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow
2017	C	`conf`	Software Citations, Information Systems, and Beyond. CICM Michael Kohlhase, Wolfram Sperber
2017	—	`conf`	Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS Tom Wiesing, Michael Kohlhase, Florian Rabe
2017	C	`conf`	Visual Structure in Mathematical Expressions. CICM Andrea Kohlhase, Michael Kohlhase, Michael Fürsich
2016	—	`conf`	A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe
2016	—	`conf`	Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. ICMS Enxhell Luzhnica, Michael Kohlhase
2016	—	`conf`	FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM Denis Rochau, Michael Kohlhase, Dennis Müller
2016	C	`ed.`	Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings CICM Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
2016	C	`conf`	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
2016	J	`jnl`	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
2016	—	`conf`	NTCIR-12 MathIR Task Overview. NTCIR Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila
2016	—	`conf`	Notation-based Semantification. FM4M/MathUI/ThEdu/DP/WIP@CIKM Ion Toloaca, Michael Kohlhase
2016	J	`jnl`	QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. J. Formaliz. Reason. Michael Kohlhase, Florian Rabe
2016	—	`conf`	The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
2015	C	`conf`	A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM Mihnea Iancu, Michael Kohlhase
2015	—	`conf`	Assessment for Spreadsheets. SEMS@ICSE Alexandru Toader, Andrea Kohlhase, Michael Kohlhase
2015	—	`conf`	Context in Spreadsheet Comprehension. SEMS@ICSE Andrea Kohlhase, Michael Kohlhase, Ana Guseva
2015	—	`conf`	Faceted Search for Mathematics. LWA Radu Hambasan, Michael Kohlhase
2015	—	`conf`	Faceted Search for Mathematics. MACIS Radu Hambasan, Michael Kohlhase
2015	—	`conf`	Importing the OEIS Library Into OMDoc. LWA Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
2015	C	`conf`	Math Literate Knowledge Management via Induced Material. CICM Mihnea Iancu, Michael Kohlhase
2015	—	`conf`	The SMGloM Project and System. CICM (Work in Progress) Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
2014	C	`conf`	A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. CICM Michael Kohlhase
2014	—	`conf`	Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS Michael Kohlhase, Mihnea Iancu
2014	—	`conf`	Extension Proposal: Records in Pragmatic OpenMath. CICM Workshops Michael Kohlhase
2014	C	`conf`	Flexary Operators for Formalized Mathematics. CICM Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase
2014	—	`ed.`	Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CICM Workshops Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2014	—	`conf`	MathWebSearch at NTCIR-11. NTCIR Radu Hambasan, Michael Kohlhase, Corneliu-Claudiu Prodescu
2014	—	`conf`	Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier. LWA Michael Kohlhase
2014	—	`conf`	NTCIR-11 Math-2 Task Overview. NTCIR Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Moritz Schubotz
2014	—	`conf`	OpenMath Language Extensions. CICM Workshops Michael Kohlhase
2014	—	`conf`	OpenMathMap: Interaction. CICM Workshops Carmela Acevedo, Michael Kohlhase
2014	C	`conf`	Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM Jacques Carette, William M. Farmer, Michael Kohlhase
2014	J	`jnl`	Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR Jacques Carette, William M. Farmer, Michael Kohlhase
2014	—	`conf`	Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu
2014	C	`conf`	System Description: A Semantics-Aware LaTeX-to-Office Converter. CICM Lukas Kohlhase, Michael Kohlhase
2014	C	`conf`	System Description: MathHub.info. CICM Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
2014	—	`conf`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2014	C	`conf`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2014	J	`jnl`	XLSearch: A Search Engine for Spreadsheets. CoRR Michael Kohlhase, Corneliu-Claudiu Prodescu, Christian Liguda
2013	—	`conf`	A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML Michael Kohlhase, Felix Mance, Florian Rabe
2013	J	`jnl`	A Universal Machine for Biform Theory Graphs. CoRR Michael Kohlhase, Felix Mance, Florian Rabe
2013	J	`jnl`	A scalable module system. Inf. Comput. Florian Rabe, Michael Kohlhase
2013	—	`conf`	Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader
2013	—	`ed.`	Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK CICM Workshops Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2013	—	`conf`	MathWebSearch at NTCIR-10. NTCIR Michael Kohlhase, Corneliu-Claudiu Prodescu
2013	—	`conf`	NTCIR-10 Math Pilot Task Overview. NTCIR Akiko Aizawa, Michael Kohlhase, Iadh Ounis
2013	—	`conf`	OpenMathMap: Accessing Math via Interactive Maps. LWA Jan Wilken Dörrie, Michael Kohlhase
2013	—	`conf`	OpenMathMap: accessing math via interactive maps. CICM Workshops Jan Wilken Dörrie, Michael Kohlhase
2013	J	`jnl`	Spreadsheets with a Semantic Layer. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Kohlhase, Michael Kohlhase
2013	J	`jnl`	The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban
2013	J	`jnl`	Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2012	B	`conf`	Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. ESWC Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
2012	—	`conf`	Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe
2012	—	`conf`	MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu
2012	J	`jnl`	Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics Manfred Kerber, Michael Kohlhase
2012	J	`jnl`	Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset CoRR Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
2012	—	`conf`	Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
2012	—	`conf`	Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
2012	J	`jnl`	Semantics of OpenMath and MathML3. Math. Comput. Sci. Michael Kohlhase, Florian Rabe
2012	Misc	`conf`	The Flexiformalist Manifesto. SYNASC Michael Kohlhase
2012	J	`jnl`	The Planetary Project: Towards eMath3.0 CoRR Michael Kohlhase
2012	—	`conf`	The Planetary Project: Towards eMath3.0. AISC/MKM/Calculemus Michael Kohlhase
2011	J	`jnl`	A Foundational View on Integration Problems CoRR Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
2011	—	`conf`	A Foundational View on Integration Problems. Calculemus/MKM Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
2011	—	`conf`	A Framework for Semantic Publishing of Modular Content Objects. SePublica Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea
2011	J	`jnl`	A Scalable Module System CoRR Florian Rabe, Michael Kohlhase
2011	—	`conf`	Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe
2011	J	`jnl`	Licensing the Mizar Mathematical Library CoRR Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
2011	—	`conf`	Licensing the Mizar Mathematical Library. Calculemus/MKM Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
2011	—	`conf`	Maintaining islands of consistency via versioned links. SIGDOC Andrea Kohlhase, Michael Kohlhase
2011	—	`conf`	MathWebSearch 0.5 An Open Formula Search Engine. LWA Corneliu-Claudiu Prodescu, Michael Kohlhase
2011	—	`conf`	Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2011	—	`conf`	The LaTeXML Daemon: Editable Math on the Collaborative Web. LWA Deyan Ginev, Heinrich Stamerjohanns, Michael Kohlhase
2011	—	`conf`	The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase
2011	J	`jnl`	The Planetary System: Executable Science, Technology, Engineering and Math Papers CoRR Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	—	`conf`	The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	Misc	`conf`	The Planetary System: Web 3.0 & Active Documents for STEM. ICCS Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	—	`conf`	Towards a flexible notion of document context. SIGDOC Andrea Kohlhase, Michael Kohlhase
2011	J	`jnl`	Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
2011	—	`conf`	Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
2010	—	`conf`	A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2010	J	`jnl`	Dimensions of Formality: A Case Study for MKM in Software Engineering CoRR Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	—	`conf`	Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	—	`conf`	Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki. SemWiki@ESWC Anca Dumitrache, Christoph Lange, Michael Kohlhase, Nils Aschenbeck
2010	J	`jnl`	Publishing Math Lecture Notes as Linked Data CoRR Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev
2010	—	`conf`	Publishing Math Lecture Notes as Linked Data. ESWC (2) Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev
2010	—	`conf`	S I-SEMANTICS Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	—	`conf`	Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
2010	J	`jnl`	Towards MKM in the Large: Modular Representation and Scalable Software Architecture CoRR Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
2010	—	`conf`	Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
2010	J	`jnl`	Transforming Large Collections of Scientific Publications to XML. Math. Comput. Sci. Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller
2010	J	`jnl`	What we understand is what we get: Assessment in Spreadsheets CoRR Andrea Kohlhase, Michael Kohlhase
2010	J	`jnl`	sTeX+ - a System for Flexible Formalization of Linked Data CoRR Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	J	`jnl`	sTeXIDE: An Integrated Development Environment for sTeX Collections CoRR Constantin Jucovschi, Michael Kohlhase
2010	—	`conf`	sTeXIIS: An Integrated Development Environment for sTeX Collections. AISC/MKM/Calculemus Constantin Jucovschi, Michael Kohlhase
2009	—	`conf`	A Mathematical Approach to Ontology Authoring and Documentation. LWA Christoph Lange, Michael Kohlhase
2009	—	`conf`	A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM Christoph Lange, Michael Kohlhase
2009	—	`conf`	An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. GI Jahrestagung Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase
2009	J	`jnl`	Applying Semantic Techniques to Search and Analyze Bug Tracking Data. J. Netw. Syst. Manag. Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase
2009	—	`conf`	Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM Andrea Kohlhase, Michael Kohlhase
2009	J	`jnl`	Context-Aware Adaptation: A Case Study On Mathematical Notations. Inf. Syst. Manag. Christine Müller, Michael Kohlhase
2009	J	`jnl`	Cut-Simulation and Impredicativity Log. Methods Comput. Sci. Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
2009	B	`conf`	Formal Management of CAD/CAM Processes. FM Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz
2009	—	`conf`	Modeling task experience in user assistance systems. SIGDOC Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Semantic transparency in user assistance systems. SIGDOC Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM James H. Davenport, Michael Kohlhase
2009	—	`conf`	What you understand is what you get: Assessment in Spreadsheets. LWA Andrea Kohlhase, Michael Kohlhase
2008	—	`conf`	An Exchange Format for Modular Knowledge. LPAR Workshops Florian Rabe, Michael Kohlhase
2008	—	`conf`	Compensating the Semantic Bias of Spreadsheets. LWA Andrea Kohlhase, Michael Kohlhase
2008	—	`conf`	Fine-Granular Version Control & Redundancy Resolution. LWA Normen Müller, Michael Kohlhase
2008	—	`conf`	Notations for Living Mathematical Documents. AISC/MKM/Calculemus Michael Kohlhase, Christine Müller, Florian Rabe
2008	J	`jnl`	Semantic Knowledge Management for Education. Proc. IEEE Andrea Kohlhase, Michael Kohlhase
2008	—	`conf`	Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) Christine Müller, Michael Kohlhase
2008	—	`conf`	Transforming the arXiv to XML. AISC/MKM/Calculemus Heinrich Stamerjohanns, Michael Kohlhase
2008	J	`jnl`	Using as a Semantic Markup Format. Math. Comput. Sci. Michael Kohlhase
2007	—	`conf`	Extended Formula Normalization for Calculemus/MKM Immanuel Normann, Michael Kohlhase
2007	Misc	`ed.`	KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings KI Christian Freksa, Michael Kohlhase, Kerstin Schill
2007	—	`conf`	Managing Variants in Document Content and Narrative Structures. LWA Michael Kohlhase, Achim Mahnke, Christine Müller
2007	—	`conf`	panta rhei. LWA Christine Müller, Michael Kohlhase
2006	Misc	`conf`	A Search Engine for Mathematical Formulae. AISC Michael Kohlhase, Ioan Sucan
2006	—	`conf`	A Semantic Wiki for Mathematical Knowledge Management. SemWiki Christoph Lange, Michael Kohlhase
2006	—	`conf`	Capturing the Content of Physics: Systems, Observables, and Experiments. MKM Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
2006	—	`conf`	Communities of Practice in MKM: An Extensional Model. MKM Andrea Kohlhase, Michael Kohlhase
2006	A	`conf`	Cut-Simulation in Impredicative Logics. IJCAR Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
2006	—	`ed.`	Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers MKM Michael Kohlhase
2006	—	`book`	OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Michael Kohlhase
2005	—	`conf`	An Exploration in the Space of Mathematical Knowledge. MKM Andrea Kohlhase, Michael Kohlhase
2004	—	`conf`	CPoint: Dissolving the Author's Dilemma. MKM Andrea Kohlhase, Michael Kohlhase
2004	J	`jnl`	Higher-order semantics and extensionality. J. Symb. Log. Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
2004	J	`jnl`	Inference and Computational Semantics. J. Log. Lang. Inf. Patrick Blackburn, Michael Kohlhase
2003	J	`jnl`	Editorial. Log. J. IGPL Johan Bos, Michael Kohlhase
2003	J	`jnl`	Resource-Adaptive Model Generation as a Performance Model. Log. J. IGPL Michael Kohlhase, Alexander Koller
2003	—	`conf`	Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM Michael Kohlhase, Romeo Anghelache
2002	A	`conf`	Proof Development with OMEGA. CADE 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
2002	A	`conf`	System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE Jürgen Zimmer, Michael Kohlhase
2001	J	`jnl`	MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput. Michael Kohlhase, Andreas Franke
2000	A*	`conf`	Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL Manfred Pinkal, Michael Kohlhase
2000	J	`jnl`	Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reason. Dieter Hutter, Michael Kohlhase
2000	Misc	`conf`	OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC Michael Kohlhase
2000	J	`jnl`	OMDoc: an infrastructure for OpenMath content dictionary information. SIGSAM Bull. Michael Kohlhase
2000	A	`conf`	System Description: MBASE, an Open Mathematical Knowledge Base. CADE Andreas Franke, Michael Kohlhase
2000	—	`conf`	Using Deduction Techniques for Natural Language Understanding. ARW Michael Kohlhase
1999	J	`jnl`	Agent-Oriented Integration of Distributed Mathematical Services. J. Univers. Comput. Sci. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
1999	J	`jnl`	Higher Order Multi-Valued Resolution. J. Appl. Non Class. Logics Michael Kohlhase, Ortwin Scheja
1999	—	`conf`	MBase: Representing mathematical knowledge in a relational data base. Calculemus Andreas Franke, Michael Kohlhase
1999	A	`conf`	System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE Andreas Franke, Michael Kohlhase
1998	J	`jnl`	<Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft Jörg H. Siekmann, Michael Kohlhase, Erica Melis
1998	A	`conf`	Extensional Higher-Order Resolution. CADE Christoph Benzmüller, Michael Kohlhase
1998	J	`jnl`	Integrating Computer Algebra into Proof Planning. J. Autom. Reason. Manfred Kerber, Michael Kohlhase, Volker Sorge
1998	J	`jnl`	Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft Markus Egg, Claire Gardent, Michael Kohlhase
1998	A	`conf`	System Description: LEO - A Higher-Order Theorem Prover. CADE Christoph Benzmüller, Michael Kohlhase
1997	A	`conf`	A Colored Version of the Lambda-Calculus. CADE Dieter Hutter, Michael Kohlhase
1997	J	`jnl`	Computing Parallelism in Discourse CoRR Claire Gardent, Michael Kohlhase
1997	—	`conf`	Computing Parallelism in Discourse. IJCAI (2) Claire Gardent, Michael Kohlhase
1997	Misc	`conf`	Mechanising Partiality With Re-implementation. KI Manfred Kerber, Michael Kohlhase
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
1996	A	`conf`	A Resolution Calculus for Presuppositions. ECAI Manfred Kerber, Michael Kohlhase
1996	J	`jnl`	Corrections and Higher-Order Unification CoRR Claire Gardent, Michael Kohlhase, Noor van Leusen
1996	—	`conf`	Corrections and Higher-Order Unification. KONVENS Claire Gardent, Michael Kohlhase, Noor van Leusen
1996	J	`jnl`	Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1996	J	`jnl`	Focus and Higher-Order Unification CoRR Claire Gardent, Michael Kohlhase
1996	B	`conf`	Focus and Higher-Order Unification. COLING Claire Gardent, Michael Kohlhase
1996	J	`jnl`	Higher-Order Coloured Unification and Natural Language Semantics CoRR Claire Gardent, Michael Kohlhase
1996	A*	`conf`	Higher-Order Coloured Unification and Natural Language Semantics. ACL Claire Gardent, Michael Kohlhase
1996	—	`conf`	Integrating Computer Algebra with Proof Planning. DISCO Manfred Kerber, Michael Kohlhase, Volker Sorge
1996	J	`jnl`	Sorten für das automatische Beweisen höherer Stufe. Künstliche Intell. Michael Kohlhase
1995	B	`conf`	Higher-Order Tableaux. TABLEAUX Michael Kohlhase
1994	A	`conf`	A Mechanization of Strong Kleene Logic for Partial Functions. CADE Manfred Kerber, Michael Kohlhase
1994	—	`—`	A mechanization of sorted higher-order logic based on the resolution principle. Michael Kohlhase
1994	Misc	`conf`	Adapting Methods to Novel Tasks in Proof Planning. KI Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
1994	A	`conf`	KEIM: A Toolkit for Automated Deduction. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	A	`conf`	Omega-MKRP: A Proof Development Environment. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	Misc	`conf`	Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. KI Michael Kohlhase
1994	A	`conf`	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE Patricia Johann, Michael Kohlhase
1993	—	`conf`	Unification in a Lambda-Calculus with Intersection Types. ILPS Michael Kohlhase, Frank Pfenning
1992	B	`conf`	Unification in Order-Sorted Type Theory. LPAR Michael Kohlhase