==== Künstliche Intelligenz 1 & 2 ====
 [[https://kwarc.info/teaching/AI/|Altklausuren und sonstiges Material]]

===Summaries===
  * {{:pruefungen:hauptstudium:ai1-summary.pdf|AI1 Summary, WS20}} ([[https://gitlab.cs.fau.de/oj14ozun/ai1-summary|source]], deprecating {{:pruefungen:hauptstudium:ki1-summary-ws1819.pdf|Summary of slides (KI1, WS2018)}},  {{:pruefungen:ki1-zusammenfassung.pdf|Summary of slides (KI1, WS2017)}})\\
  * {{:pruefungen:hauptstudium:ai2-summary.pdf|AI2 Summary, SS21}} ([[https://gitlab.cs.fau.de/oj14ozun/ai2-summary|source]], {{:pruefungen:hauptstudium:ai1_2-summary.pdf|//all in one//-version}}, deprecating {{:pruefungen:hauptstudium:ki2-zusammenfassung.pdf|Summary of slides (KI2, SS2018)}})
  * {{:pruefungen:hauptstudium:ki1-zusammenfassung-ws18.pdf|Summary (KI1, WS2018)}}

===Propositional Logic Calculi===
{{:pruefungen:propositional_logic_calculi.pdf|Summary of rules}} ({{:pruefungen:propositional_logic_calculi.tex|tex}})

==== Logik-Basierte Sprachverarbeitung (LBS) ====
 [[https://kwarc.info/teaching/LBS/|Material]]

 [[https://kwarc.info/teaching/LBS/exams|Altklausuren (schriftlich)]]

===Protokolle===
      * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20220301|mündliche Klausur 01.03.2022]] - WS 21/22
      * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_201904xx|mündliche Klausur 2019]] - WS18/19
    * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180329|mündliche Klausur 29.03.2018]] - WS17/18
  * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/lbs_20180322|mündliche Klausur 22.03.2018]] - WS17/18


==== Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT) ====

===Protokolle===
    * [[https://fsi.cs.fau.de/dw/pruefungen/hauptstudium/ls8_kwarc/krmt_2019|mündliche Klausur 2019]] - SoSe 2019