Prof. Dr. Michael Kohlhase

Department of Informatics, Knowledge Representation/Processing (Computer Science)

Adjunct associate professor for Computer Science at Carnegie Mellon University

Friedrich-Alexander-Universität Erlangen-Nürnberg

  michael.kohlhase@fau.de
  See my profile at FAU
  Knowledge representation for STEM (Science, Technology, Engineering, Mathematics), Inference-based techniques for natural language processing, Computer-supported education and user assitance, Research data management, Mathematical knowledge, inference, computation, language, and examples as data
 
  FAU MoD Lecture: Prospects of formalized Mathematics (November 2, 2023)

 LinkedIn

Publications

2024

  • , , :
    Guided Tours in ALeA: Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects
    International Workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023 (Kraków, POL, September 30, 2023 - October 4, 2023)
    In: Communications in Computer and Information Science
    DOI: 10.1007/978-3-031-50485-3_39
  • , , , , , , , , , , , :
    Project VoLL-KI: Learning from Learners
    In: Künstliche Intelligenz ()
    ISSN: 0933-1875
    DOI: 10.1007/s13218-024-00846-9
  • , :
    Reusing Learning Objects via Theory Morphisms
    17th International Conference on Intelligent Computer Mathematics, CICM 2024 (Montreal, QC, CAN, August 5, 2024 - August 9, 2024)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-031-66997-2_10
  • , , , , , :
    Term Extraction for Domain Modeling
    22. Fachtagung Bildungstechnologien (DELFI) (Fulda, September 9, 2024 - September 11, 2024)
    In: Proceedings of the 22. Fachtagung Bildungstechnologien (DELFI)

2023

2022

2021

2020

2019

  • , , , :
    Integrating Semantic Mathematical Documents and Dynamic Notebooks
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_19
  • , , :
    Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_3
  • , , , , , :
    Relational Data Across Mathematical Libraries
    12th International Conference on Intelligent Computer Mathematics, CICM 2019 (Prague, July 8, 2019 - July 12, 2019)
    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    DOI: 10.1007/978-3-030-23250-4_5

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

  

You might like!

Our FAU MoD Community
About us
FAU MoD Lecture Series
Upcoming events

FAU MoD Lecture

Date: TBA Event: FAU MoD Lecture Organized by: FAU MoD, the Research Center for Mathematics of Data at Friedrich-Alexander-Universität Erlangen-Nürnberg ...

FAU MoD Lecture: Do you think you understand sex and death? Why predictions about biological processes require more than just intuition

Date: Tue. January 28, 2025 Event: FAU MoD Lecture Organized by: FAU MoD, the Research Center for Mathematics of Data ...

FAU MoD Lecture

Date: Thu. December 05, 2024 Event: FAU MoD Lecture Organized by: FAU MoD, the Research Center for Mathematics of Data ...