more

Author: kohlhase

kwarcpubs.bib

@@ -2,11 +2,51 @@ @string{kpmessage
 @STRING{stexyear = 2024}
 @STRING{testing = 16}
 
+@online{Kohlhase:AI-1notes,
+   title= {Artificial Intelligence 1 – Lecture Notes},
+   author = {Michael Kohlhase},
+   urldate = {2025-12-01},
+   url = {https://courses.voll-ki.fau.de/course-notes/ai-1},
+   pubs = {voll-ki,mkohlhase}
+}
+
+@online{Kohlhase:AI-2notes,
+   title= {Artificial Intelligence 1 – Lecture Notes},
+   author = {Michael Kohlhase},
+   urldate = {2025-12-01},
+   url = {https://courses.voll-ki.fau.de/course-notes/ai-2},
+   pubs = {voll-ki,mkohlhase}
+}
+
+@online{Kohlhase:SMAInotes,
+   title= {Symbolic Methods for Artificial Intelligence 1 – Lecture Notes},
+   author = {Michael Kohlhase},
+   urldate = {2025-12-01},
+   url = {https://courses.voll-ki.fau.de/course-notes/smai},
+   pubs = {voll-ki,mkohlhase}
+}
+
+@online{Kohlhase:LBSnotes,
+   title= {Logic-Based Natural Language Semantics – Lecture Notes},
+   author = {Michael Kohlhase},
+   urldate = {2025-12-01},
+   url = {https://courses.voll-ki.fau.de/course-notes/lbs},
+   pubs = {voll-ki,mkohlhase}
+}
+
+@online{KohMue:KRMTnotes,
+   title= {Knowledge Representation for Mathematical Theories – Lecture Notes},
+   author = {Michael Kohlhase and Dennis Müller},
+   urldate = {2025-12-01},
+   url = {https://courses.voll-ki.fau.de/course-notes/lbs},
+   pubs = {voll-ki,mkohlhase,dmueller}
+}
+
 @mastersthesis{Esswein:bsc24,
   author = {Bj{\"o}rn Esswein},
   title = {Interactive {MathML} Formulas in {UFrameIT}},
   school = {FAU Erlangen-N{\"u}rnberg},
-  year = {2024},
+  year = 2024,
   month = 12,
   type = {B.Sc. Thesis},
   url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2024/EssweinBjoern.pdf},
@@ -917,7 +957,7 @@ @mastersthesis{Peters:m2sfips23
   date = {2023},
   pubs = {mscthesis,mws}}
 
-@mastersthesis{Friedrich:tdrcspie23,
+@mastersthesis{Friedrich:tdrcspie21,
   title = {Document Quality Management by Semantic Search},
   author = {Tim Friedrich},
   type  = {B.Sc. Thesis},