@Book{Course79,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Auto: Automation of Logical Reasoning},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Summer 2026, Vorlesung, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/67&anonymous=1&founds=wiai/bereic/lehrst_4/0,/2,/4,/6,/67,/7,/8&nosearch=1&ref=main&sem=2026s">UnivIS</a>},
}

@Book{Course80,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-ETH: Ethics and Epistemology of AI},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Summer 2026, Vorlesung + {\"U}bung, 2+2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/2&anonymous=1&founds=wiai/bereic/lehrst_4/0,/2,/4,/6,/67,/7,/8&nosearch=1&ref=main&sem=2026s">UnivIS</a>},
}

@Book{Course81,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Summer 2026, Projekt, 4 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/7&anonymous=1&founds=wiai/bereic/lehrst_4/0,/2,/4,/6,/67,/7,/8&nosearch=1&ref=main&sem=2026s">UnivIS</a>},
}

@Book{Course82,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Summer 2026, Projektpraktikum, 6 SWS, 15 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/6&anonymous=1&founds=wiai/bereic/lehrst_4/0,/2,/4,/6,/67,/7,/8&nosearch=1&ref=main&sem=2026s">UnivIS</a>},
}

@Book{Course83,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Summer 2026, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/8&anonymous=1&founds=wiai/bereic/lehrst_4/0,/2,/4,/6,/67,/7,/8&nosearch=1&ref=main&sem=2026s">UnivIS</a>},
}

@Book{Course84,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Ethics and Epistemology of AI},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2026,
  note =	 {Summer 2026, Vorlesung + {\"U}bung, 2+2 SWS (course no.\ 19333701/02; joint with University of Bamberg)},
  annote =	 {<a href="https://www.fu-berlin.de/vv/de/lv/1074008">Vorlesungsverzeichnis</a>},
}

@Book{Course85,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Projekt, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/57&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course86,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI and Ethics},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Projekt, 4 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/31&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course87,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Projektpraktikum, 6 SWS, 10 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/30&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course88,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-Sem-M: Masterseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/4&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course89,
  keywords =	 {teaching, seminar},
  author =	 {Andrea Vestrucci and Christoph Benzm{\"u}ller},
  title =	 {AISE-SemCP-B: Bachelorseminar Computational Philosophy},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/9&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course90,
  keywords =	 {teaching, lecture course},
  author =	 {Edward N. Zalta and Daniel Kirchner and Christoph Benzm{\"u}ller},
  title =	 {AISE-PLM: Computational Metaphysics -- Mechanizing Principia Logico-Metaphysica},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Seminaristischer Unterricht, 2 SWS, 3 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/1&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course91,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-LKR-B: Logische Wissensrepr{\"a}sentation und Schlie{\ss}en},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Vorlesung + {\"U}bung, 4 SWS, 6 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/3&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course92,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor and Max Wisniewski},
  title =	 {AISE-DO-B: DevOps f{\"u}r KI-Systeme},
  publisher =	 {University of Bamberg},
  year =	 2026,
  note =	 {Winter 2025/26, Vorlesung + {\"U}bung, 4 SWS, 6 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/93&anonymous=1&founds=wiai/bereic/lehrst_4/1,/3,/30,/31,/4,/57,/9,/93,/tutori,/tutori_0,/uetlog,/uetlog_2,/uetlog_6&nosearch=1&ref=main&sem=2025w">UnivIS</a>},
}

@Book{Course93,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Auto: Automation of Logical Reasoning},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Vorlesung, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/78&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course94,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-ETH: Ethics and Epistemology of AI},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Vorlesung + {\"U}bung, 2+2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/10&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course95,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-PLM: Computational Metaphysics -- Mechanizing Principia Logico-Metaphysica},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Vorlesung, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/3&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course96,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Projekt, 4 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/63&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course97,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Projektpraktikum, 6 SWS, 15 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/49&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course98,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/2&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course99,
  keywords =	 {teaching, seminar},
  author =	 {Andrea Vestrucci and Christoph Benzm{\"u}ller},
  title =	 {AISE-SemSC-B: Bachelorseminar Smart City},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Summer 2025, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/4&anonymous=1&dir=wiai/bereic/lehrst_4&founds=wiai/bereic/lehrst_4/10,/2,/3,/4,/49,/63,/7,/78,/8&nosearch=1&ref=lecture&sem=2025s">UnivIS</a>},
}

@Book{Course100,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Ethics and Epistemology of AI},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2025,
  note =	 {Summer 2025, Vorlesung + {\"U}bung, 2+2 SWS (course no.\ 19333701/02; joint with University of Bamberg)},
  annote =	 {<a href="https://www.fu-berlin.de/vv/de/lv/951127">Vorlesungsverzeichnis</a>},
}

@Book{Course101,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Winter 2024/25, Projekt, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/72&anonymous=1&founds=wiai/bereic/lehrst_4/3,/31,/6,/72,/8,/9&nosearch=1&ref=main&sem=2024w">UnivIS</a>},
}

@Book{Course102,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI and Ethics},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Winter 2024/25, Projekt, 4 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/6&anonymous=1&founds=wiai/bereic/lehrst_4/3,/31,/6,/72,/8,/9&nosearch=1&ref=main&sem=2024w">UnivIS</a>},
}

@Book{Course103,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Winter 2024/25, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/3&anonymous=1&founds=wiai/bereic/lehrst_4/3,/31,/6,/72,/8,/9&nosearch=1&ref=main&sem=2024w">UnivIS</a>},
}

@Book{Course104,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-UL: Universelle Logik und Universelles Schlie{\ss}en},
  publisher =	 {University of Bamberg},
  year =	 2025,
  note =	 {Winter 2024/25, Vorlesung + {\"U}bung, 2+2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/9&anonymous=1&founds=wiai/bereic/lehrst_4/3,/31,/6,/72,/8,/9&nosearch=1&ref=main&sem=2024w">UnivIS</a>},
}

@Book{Course105,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Auto: Automation of Logical Reasoning},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Vorlesung, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/3&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course106,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-ETH: Ethics and Epistemology of AI},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Vorlesung + {\"U}bung, 2+2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/5&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course107,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-PLM: Computational Metaphysics -- Mechanizing Principia Logico-Metaphysica},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Vorlesung, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/80&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course108,
  keywords =	 {teaching, project},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Projekt, 4 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/51&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course109,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Projektpraktikum, 6 SWS, 15 ECTS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/9&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course110,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2024,
  note =	 {Summer 2024, Seminar, 2 SWS},
  annote =	 {<a href="https://univis.uni-bamberg.de/form?dsc=anew/lecture_view&lvs=wiai/bereic/lehrst_4/7&anonymous=1&founds=wiai/bereic/lehrst_4/3,/5,/51,/59,/7,/8,/80,/9&nosearch=1&ref=main&sem=2024s">UnivIS</a>},
}

@Book{Course111,
  keywords =	 {teaching, lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Ethics and Epistemology of AI},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2024,
  note =	 {Summer 2024, Vorlesung + {\"U}bung, 2+2 SWS (course no.\ 19333701/02; joint with University of Bamberg)},
  annote =	 {<a href="https://www.fu-berlin.de/vv/de/lv/872781">Vorlesungsverzeichnis</a>},
}

@Book{Course1,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Logik erster Stufe -- Theorie und Praxis},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2013},
  note =	 {Winter 2012/13, 2+2 SWS, 5 ECTS},
  annote =       {<a href="https://www.mi.fu-berlin.de/kvv/course.htm?cid=10691&sid=26">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2012-FOL/">webpage</a>},
}

@Book{Course2,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Logik erster Stufe in Theorie und Praxis},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2014},
  note =	 {Winter 2013/14, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/117363?query=19619&sm=69108">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2013-FOL/">webpage</a>},
}

@Book{Course3,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Expressive Klassische und Nichtklassische Logiken und deren Automatisierung },
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2014},
  note =	 {Winter 2013/14, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/121691?query=Benzmuller&sm=69108">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2013-ExLog/">webpage</a>},
}

@Book{Course4,
  keywords =	 {teaching,seminar},
  author =	 {Ra\'{u}l Rojas and Christoph Benzm{\"u}ller and Marco Block-Berlitz},
  title =	 {Technologien f{\"u}r Frage-Antwort-Systeme},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2013},
  note =	 {Winter 2012/13, 2 SWS, 4 ECTS},
  annote =       {<a href="https://www.mi.fu-berlin.de/kvv/course.htm?cid=10888&sid=26&iid=1">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2012-Watson/">webpage</a>},
}

@Book{Course5,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Geoff Sutcliffe},
  title =	 {Working with Automated Reasoning Tools},
  publisher =	 {Saarland University},
  year =	 2008,
  note =	 {Block-Lecture September 2008, 2+2 SWS},
  annote =       {<a href="http://www.cs.miami.edu/~geoff/Courses/TPTPSYS/">webpage</a>},
}

@Book{Course6,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Invited lecture course) Semantics of Higher-Order Logic},
  publisher =	 {IT University Copenhagen},
  year =	 2007,
  note =	 {Block-Lecture October 2007},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2007-Copenhagen-lectures.pdf">slides</a>},
}

@Book{Course7,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Invited tutorial) Semantics of Higher-Order Logic},
  publisher =	 {ESSLLI Summer School in Logic, Language and Information},
  year =	 2006,
  note =	 {Block-Lecture July/August 2006},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2006-ESSLLI.pdf">slides</a>},
}

@Book{Course8,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Invited lecture course) Automated Theorem Proving in Higher-Order Logics},
  publisher =	 {Technical University Darmstadt},
  year =	 2006,
  note =	 {Summer 2006, 3+2 SWS},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2006-ATPHOL.pdf">slides</a>},
}

@Book{Course9,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Chad Brown},
  title =	 {Semantics and Mechanization of Classical Higher-Order Logic},
  publisher =	 {Saarland University},
  year =	 {2006},
  note =	 {Winter 2005/06, 4+2 SWS},
}

@Book{Course10,
  keywords =	 {teaching,lecture course},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg Siekmann},
  title =	 {Artificial Intelligence},
  publisher =	 {Saarland University},
  year =	 2005,
  note =	 {Summer 2005, 4+2 SWS},
  annote =       {<a href="http://www.ags.uni-sb.de/~omega/teach/KI05/index.php">webpage</a>},
}

@Book{Course11,
  keywords =	 {teaching,lecture course},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and Armin Fiedler and J{\"o}rg Siekmann and Claus-Peter Wirth},
  title =	 {Mathematical Assistance Systems},
  publisher =	 {Saarland University},
  year =	 {2005},
  note =	 {Winter 2004/05, 4+2 SWS},
  annote =       {<a href="http://www.ags.uni-sb.de/~omega/teach/MAS0405/index.php">webpage</a>},
}

@Book{Course12,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Automated Theorem Proving in First-Order and Higher-Order Logic},
  publisher =	 {Saarland University},
  year =	 2004,
  note =	 {Summer 2004, 2+2 SWS},
  annote =       {<a href="http://christoph-benzmueller.de/lectures/fol-hol-tp/index.html">webpage</a>},
}

@Book{Course13,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Claus-Peter Wirth},
  title =	 {Human-Oriented Theorem Proving: Foundations and Applications},
  publisher =	 {Saarland University},
  year =	 {2004},
  note =	 {Winter 2003/04, 4+2 SWS},
}

@Book{Course14,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Claus-Peter Wirth},
  title =	 {Human-Oriented Theorem Proving: Foundations and Applications},
  publisher =	 {Saarland University},
  year =	 2003,
  note =	 {Summer 2003, 4+2 SWS},
}

@Book{Course15,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Erica Melis and J{\"o}rg Siekmann},
  title =	 {Artificial Intelligence},
  publisher =	 {Saarland University},
  year =	 2003,
  note =	 {Summer 2003, 4+2 SWS},
}

@Book{Course16,
  keywords =	 {teaching,seminar},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and Chad Brown},
  title =	 {Mathematical Assistant Systems Shootout},
  publisher =	 {Saarland University},
  year =	 2006,
  note =	 {Summer 2006},
}

@Book{Course17,
  keywords =	 {teaching,seminar},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and Chad Brown and Armin Fiedler and Claus-Peter Wirth},
  title =	 {Mathematical Assistant Systems Shootout},
  publisher =	 {Saarland University},
  year =	 2005,
  note =	 {Summer 2005},
}

@Book{Course18,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {Oberseminar AG Siekmann},
  publisher =	 {Saarland University},
  year =         {2003},
  note =	 {I held the course regularly 2001--2003},
}

@Book{Course19,
  keywords =	 {teaching,seminar},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {Oberseminar AG Siekmann},
  publisher =	 {Saarland University},
  year =         {2007},
  note =	 {I held the Oberseminar regularly 2004--2007},
}

@Book{Course20,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {Fortgeschrittenenpraktikum Deduktionssysteme},
  publisher =	 {Saarland University},
  year =         {2003},
  note =	 {I held the Fortgeschrittenenpraktikum  regularly  2001--2003},
}

@Book{Course21,
  keywords =	 {teaching,seminar},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {Fortgeschrittenenpraktikum Deduktionssysteme},
  publisher =	 {Saarland University},
  year =         {2007},
  note =	 {I held the Fortgeschrittenenpraktikum  regularly  2004--2007},
}

@Book{Course22,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Invited tutorial) From Natural Deduction Calculus to Sequent Calculus and back},
  publisher =	 {CALCULEMUS Autumn School in Pisa},
  year =	 2002,
}

@Book{Course23,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Automated Theorem Proving in First-Order and Higher-Order Logic},
  publisher =	 {Saarland University},
  year =	 2002,
  note =	 {Summer 2002, 2+2 SWS},
}

@Book{Course24,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and J{\"o}rg Siekmann},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Saarland University},
  year =	 2001,
  note =	 {Summer 2001, 4+2 SWS},
}

@Book{Course25,
  keywords =	 {teaching,lecture course},
  author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Saarland University},
  year =	 1999,
  note =	 {Summer 1999, 4+2 SWS},
}

@Book{Course26,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Ra\'{u}l Rojas},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2014,
  note =	 {Summer 2014, block course, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/143922?query=Benzmüller&sm=119983">kvv</a>},
}

@Book{Course27,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2015},
  note =	 {Winter 2014/15, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/">webpage</a>},
}

@Book{Course28,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and P. Podlech and A. Steen and M. Wisniewski},
  title =	 {Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 {2015},
  note =	 {Winter 2014/2015, Softwareprojekt, 2 SWS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/204479?m=224801&pc=196394&sm=129212">kvv</a>},
}

@Book{Course29,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Ra\'{u}l Rojas},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2015,
  note =	 {Summer 2015, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/143922?query=Benzmüller&sm=119983">kvv</a>},
}

@Book{Course30,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and A. Steen and M. Wisniewski},
  title =	 {Logik},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2015,
  note =	 {Summer 2015, Proseminar, 2 SWS, 5 ECTS},
  annote =       {<a href="http://www.inf.fu-berlin.de/users/lex/lehre/prosemlogikSS15/">course website</a>},
}

@Book{Course31,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  title =	 {(Invited tutorial) Higher-Order Modal Logics: Automation and Applications},
  publisher =	 {Reasoning Web Summer School},
  year =	 2015,
  annote =	 {<a href="http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf">slides</a>},
}

@Book{Course32,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  title =	 {(Invited lecture course) Higher-Order Modal Logics: Automation and Applications},
  publisher =	 {Logic Summer School, ANU Canberra, Australia. in December},
  year =	 2015,
  annote =	 {<a href="http://christoph-benzmueller.de/papers/2015-ANU-LogicSummerSchool.pdf">slides</a>, <a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchoolDemoExamples.zip">some-demo-files</a>},
}

@Book{Course33,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Invited lecture course) Computational Metaphysics},
  publisher =	 {Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics \& Informatics', Centre International de Math\'ematiques et d'Informatique de Toulouse (CIMI), France. June},
  year =	 2016,
  annote =	 {<a href="http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf">slides</a>}
}

@Book{Course34,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {(Central teaching award of FU Berlin) Computational Metaphysics},
  publisher =	 {Freie Universit{\"a}t Berlin},
  note =	 {Summer 2016, 2+2 SWS, 5 ECTS. April--July},
  year =	 2016,
  annote =	 {<a href="http://www.inf.fu-berlin.de/users/lex/lehre/compmeta/">course website</a>}
}

@Book{Course35,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Ra\'{u}l Rojas},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2016,
  note =	 {Summer 2016, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/270628?query=rojas&sm=231509">kvv</a>},
}

@Book{Course36,
  keywords = {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Raul Rojas},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2017,
  note =	 {Summer 2017, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/353801?m=160089&pc=63783&sm=314889">kvv</a>},
}

@Book{Course37,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and Carsten Ullrich},
  title =	 {Intelligente Lehr- und Lernsysteme},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2017,
  note =	 {Pro-/Seminar, Winter 2017/18, 2+2 SWS, 5 ECTS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/402852?query=benzmüller&sm=344910">kvv</a>, <a href="http://christoph-benzmueller.de/papers/2017-2018_LehrUndLernsysteme_AusarbeitungenUndFolien.zip">Slides and Reports</a>},
  }

@Book{Course38,
  keywords =	 {teaching,software project},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {KI-gestützte Pflege einer internationalen Schuldatenbank},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2017,
  note =	 {Softwareprojekt, Winter 2017/18, 2 SWS},
  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/441121?m=160019&pc=63783&sm=344910">kvv</a>},
}

@book{Course39,
  Author =	 {Christoph Benzm{\"u}ller},
  keywords =	 {teaching,lecture course},
  Note =         {February},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf">slides</a>},
  Publisher =	 {Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA},
  Title =	 {(Invited tutorial) A Universal Logic Theorem Proving Approach},
  Year =	 2016
}

@book{Course40,
  Author =	 {Christoph Benzm{\"u}ller},
  keywords =	 {teaching,lecture course},
  Note =         {September},
  Publisher =	 {Second Global Conference on Artificial Intelligence (GCAI), Berlin},
  Title =	 {(Invited Tutorial) Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.},
  annote =	 {<a href="http://christoph-benzmueller.de/2016-GCAI/tutorial.pdf">course material</a>},
  Year =	 2016
}

@book{Course41,
  Author =	 {Christoph Benzm{\"u}ller},
  keywords =	 {teaching,lecture course},
  Note =         {May},
  Publisher =	 {ILIAS group, University of Luxembourg},
  Title =	 {{(Invited Tutorial)} Tutorial on Universal Logic Theorem Proving in HOL},
  annote =       {<a href="https://cbenzmueller.github.io/home/papers/2017-Luxemburg-Tutorial-May.zip">zip-file</a>},
  Year =	 2017
}

@book{Course42,
  keywords =	 {teaching,lecture course},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil},
  Title =	 {{(Invited Tutorial)} Universal Logical Reasoning via Semantical Embeddings in HOL},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-Campinas-Tutorial.zip">zip-file</a>},
  Year =	 2017
}

@book{Course43,
  keywords =	 {teaching,lecture course},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {Pontif{\'i}cia Universidade Cat{\'o}lica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil},
  Title =	 {{(Invited Tutorial)} Automated Reasoning in Higher-order and Non-classical Logics},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip">zip-file</a>},
  Year =	 2017
}

@book{Course44,
  keywords =	 {teaching,seminar},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {Freie Universit{\"a}t Berlin},
  Title =	 {WYSIWYG-Editor for Higher Order Logic (Projektseminar)},
  Note =	 {Summer 2017, 2 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/c8964c4f-ce8c-42f6-8fea-c67adc2f56ad" target="_blank">mycampus</a>},
  Year =	 2017,
}

@book{Course45,
  keywords =	 {teaching,lecture course},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {Bath IMI Thematic Semester (U Bath, UK): Algorithms, Accountability and Ethics in Machine Learning},
  Title =	 {From computational metaphysics towards computational pseudo-ethics},
  Year =	 2018,
}

@Book{Course46,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Christoph Schommer},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2018,
  note =	 {Summer 2018, 2+2 SWS, 5 ECTS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/77882b68-ea5e-4414-b793-79c3baab65ca">kvv</a>},
}

@Book{Course47,
  keywords =	 {teaching,software project},
  author =	 {Tobias Gleissner and Christoph Benzm{\"u}ller},
  title =	 {Softwareprojekt: Logik-Software},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2019,
  note =	 {Softwareprojekt, Winter 2018/19, 2 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/f82bd478-e4e5-43c1-99af-9d8fe9281525" target="_blank">mycampus</a>},
}

@Book{Course48,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal Logical Reasoning},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2019,
  note =	 {Winter 2018/19, 2+2 SWS, 5 ECTS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/0a37b77f-e00a-4e9b-bf4e-d917e91b9d31" target="_blank">mycampus</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2018-UniversalLogicalReasoning/">website</a>},
}

@book{Course49,
  keywords =	 {teaching,seminar},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {Freie Universit{\"a}t Berlin},
  Title =	 {Kurt G{\"o}del: Philosophical Views},
    note =	 {Seminar, Winter 2018/19, 2 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/8dde2528-2d41-43b7-8aec-8e41cfcb1824" target="_blank">mycampus</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2019-Goedel/">website</a>},
  Year =	 2019,
}

@Book{Course50,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Schommer, Christoph},
  title =	 {K{\"u}nstliche Intelligenz},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2019,
  note =	 {Summer 2019, 2+2 SWS, 5 ECTS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/3e65b04b-66a5-4044-ab0f-348b6af02dde" target="_blank">mycampus</a>},
}

@Book{Course51,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {K{\"u}nstliche Intelligenz (autumn block course)},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2019,
  note =	 {Autumn 2019, 2+2 SWS, 5 ECTS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/d8aff32c-45eb-4e4a-a4e0-23224792700a" target="_blank">mycampus</a>},
}

@Book{Course52,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Normative Reasoning and Machine Ethics},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2019,
  note =	 {Seminar, Winter 2019/20, 2 SWS},
  annote =       {<a href="https://cbenzmueller.github.io/teaching/2020-Seminar/" target="_blank">website</a>; <a href="https://kvv.imp.fu-berlin.de/evento/vv/course/546790" target="_blank">kvv</a>},
}

@Book{Course53,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and  Nabil Alsabah},
  title =	 {The Mind and the Future of AI},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2020,
  note =	 {Seminar, Summer 2020, 2 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/3d8aadfc-329d-47bb-bd99-91754ab903f5/" target="_blank">mycampus</a>; <a href="https://mycampus.imp.fu-berlin.de/evento/vv/course/597169">kvv</a>},
}

@Book{Course54,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and  Bertram Lomfeld and Martin Rohrmeier},
  title =	 {AI Ethics},
  publisher =	 {EPFL Lausanne},
  year =	 2020,
  note =	 {Block course, Summer 2020, Feb 4-5},
  annote =       {<a href="https://www.epfl.ch/labs/dcml/wp-content/uploads/2020/01/EPFL-FU-DHWS-poster.pdf">flyer</a>},
}

@Book{Course55,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller and  Bertram Lomfeld},
  title =	 {Ethical and Legal Challenges in AI and Data Science},
  publisher =	 {Freie Universit{\"a}t Berlin},
  year =	 2020,
  note =	 {Practice seminar, Summer 2020 (block course in autumn), 14.-25. Sep, 4 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/4e732ee4-5f15-4065-8bb1-471dafd573e4" target="_blank">mycampus</a>; <a href="https://cbenzmueller.github.io/teaching/2020-EthLegChall/index.pdf">flyer</a>},
}

@Book{Course56,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal Logical Reasoning},
  publisher =	 {Zhejiang University, Hangzhou, China},
  year =	 2020,
  note =	 {Invited Lecture Course (Part of course on Logic in AI)},
  annote =       {<a href="https://www.xixilogic.org/events/2020/08/course-logic-in-ai/" target="_blank">Course website</a>},
}

@Book{Course57,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Ethical Foundations of AI (Ethics of AI)},
  publisher =	 {TU Berlin, FU Berlin, BUA Berlin (with Sabine Ammon, Jessica Jesus de Pinho Pinhal, TU Berlin)},
  year =	 2021,
  note =	 {Lecture course, Summer 2021, 4 SWS},
  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/7f486b47-9a16-4559-bce4-d385ab35e21b" target="_blank">mycampus</a>; <a href="https://www.fu-berlin.de/vv/de/lv/665687?m=199259&pc=130142&sm=606239">kvv</a>},
}

@Book{Course58,
  keywords =	 {teaching, lecture course & projects},
  author =	 {Sabine Ammon and Christoph Benzm{\"u}ller and Rahel Moser and Martin Aleksandrov and Rosae Martin and Veronika Solopova},
  title =	 {Ethics and Epistemology of AI},
  publisher =	 {TU Berlin, FU Berlin, BUA Berlin, University of Bamberg},
  year =	 2022,
  note =	 {Summer 2022, 2+2 SWS, 6 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54756">VC</a>},
}

@Book{Course59,
  keywords =	 {teaching,seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Oberseminar AI Systems Engineering},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Summer 2022, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54720">VC</a>},
}

@Book{Course60,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Blockseminar AISE: Automated Theorem Proving and the TPTP},
  publisher =	 {University of Bamberg and University of Luxembourg and University of Greifswald},
  year =	 2022,
  note =	 {Seminar, Summer 2022, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54718">VC</a>},
}

@Book{Course61,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller and Ute Schmid and Alexandra Stang and Stephanie Kastner},
  title =	 {Goethe-Institut Summer School on AI \& Ethics at U Bamberg},
  publisher =	 {University of Bamberg and Goethe Institut e.V. M{\"u}nchen},
  year =	 2022,
  note =	 {Block course, Autumn 2022, 2 SWS, 3 ECTS},
  annote =       {<a href="https://www.uni-bamberg.de/en/wiai/news/artikel/goethe-institute-summer-school-2022-on-ai-ethics/">report</a>, <a href="https://www.goethe.de/prj/wmd/en/summer-school-2022.html">website</a>},
}

@Book{Course62,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Winter 2022/23, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57733">VC</a>},
}

@Book{Course63,
  keywords =	 {teaching, lecture course & tutorial},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-UL: Universelle Logik \& Universelles Schließen},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Winter 2022/23, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57735">VC</a>},
}

@Book{Course64,
  keywords =	 {teaching, seminar},
  author =	 {Andrea Vestrucci and Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-B: Computational Philosophy},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57732">VC</a>},
}

@Book{Course65,
  keywords =	 {teaching, seminar},
  author =	 {Martin Aleksandrov and Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57731">VC</a>},
}

@Book{Course66,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor and Andrea Vestrucci and Rosae Martin},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2022,
  note =	 {Winter 2022/23, 4 SWS, 6 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=58092">VC</a>},
}

@Book{Course67,
  keywords =	 {teaching, lecture course & tutorial},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-Auto: Automation of First- and Higher-Order Logic },
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 23, 2+2 SWS, 6 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61172">VC</a>},
}

@Book{Course68,
  keywords =	 {teaching, lecture course & project},
  author =	 {Sabine Ammon and Christoph Benzm{\"u}ller and Rahel Moser and Rosae Martin and Veronika Solopova},
  title =	 {AISE-ETH: Ethics and Epistemology of AI},
  publisher =	 {TU Berlin, FU Berlin, BUA Berlin, University of Bamberg},
  year =	 2023,
  note =	 {Summer 23, 2+2 SWS, 6 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61168">VC</a>, joint with TU/FU Berlin},
}

@Book{Course69,
  keywords =	 {teaching, lecture course},
  author =	 {Edward Zalta and Daniel Kirchner and Christoph Benzm{\"u}ller},
  title =	 {AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 23, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61169">VC</a>},
}

@Book{Course70,
  keywords =	 {teaching, bachelor seminar},
  author =	 {David Fuenmayor and Daniel Kirchner and Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-B: Isabelle for the Working Logician},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 23, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/">VC</a>},
}

@Book{Course71,
  keywords =	 {teaching, bachelor project},
  author =	 {David Fuenmayor and Daniel Kirchner and Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the Working Logician},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 23, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/">VC</a>},
}

@Book{Course72,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 2023, 2 SWS, 3 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61179">VC</a>},
}

@Book{Course73,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 2023, 6 SWS, 15 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61175">VC</a>},
}

@Book{Course74,
  keywords =	 {teaching, project practicum},
  author =	 {Christoph Benzm{\"u}ller and Andrea Vestrucci},
  title =	 {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI \& Ethics},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Summer 2023, 6 SWS, 15 ECTS},
  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61177">VC</a>},
}

@Book{Course75,
  keywords =	 {teaching, seminar},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Winter 2023/24, 2 SWS, 3 ECTS},
  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42361231&show=llong">UnivIS</a>},
}

@Book{Course76,
  keywords =	 {teaching, lecture course & tutorial},
  author =	 {Christoph Benzm{\"u}ller and David Fuenmayor},
  title =	 {AISE-UL: Universelle Logik \& Universelles Schlie{\ss}en},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Winter 2023/24, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)},
  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42379977&show=llong">UnivIS</a>},
}

@Book{Course77,
  keywords =	 {teaching, seminar},
  author =	 {Andrea Vestrucci and Christoph Benzm{\"u}ller},
  title =	 {AISE-Sem-B: Computational Philosophy},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},
  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42330852&show=llong">UnivIS</a>},
}

@Book{Course78,
  keywords =	 {teaching, seminar},
  author =	 {David Fuenmayor and Christoph Benzm{\"u}ller},
  title =	 {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},
  publisher =	 {University of Bamberg},
  year =	 2023,
  note =	 {Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},
  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42387352&show=llong">UnivIS</a>},
}