All courses | JKU Moodle

Home All courses

JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.

338.006, KV Special Topics, Gábor Kusper, 2026W

338.010, KV Special Topics in AI, Manuel Kauers et al., 2026W

338.049, PR Practical Work in AI, Martina Seidl et al., 2026W

338.110-5, VL / UE Formal Models in AI, Mena Leemhuis / Paulus Seip / Peter Pfeiffer, 2026W

338.055, VL Computational Logics for AI, Martina Seidl / Manuel Kauers, 2026W

338.001/2/4/5/8/22/23/24/25/26/27/28/29, VL / UE Logic, Martina Seidl et al., 2026W

338.048, SE Seminar in AI, Martina Seidl / Simone Heisinger / Clemens Hofstadler, 2026S

338.021, KV SAT Solving, Martina Seidl / David Kattermann, 2026S

338.020, SE Bachelor’s Thesis Seminar in AI, Martina Seidl et al., 2026S

338.003, PR Projektpraktikum, Martina Seidl / Mena Leemhuis, 2026S

338.110, VL Formal Models in AI, Martina Seidl, 2025W

338.055, VL Computational Logics for AI, Martina Seidl / Clemens Hofstadler, 2025W

338.049, PR Practical Work in AI, Martina Seidl / Simone Heisinger / Stefan Rass, 2025W

338.040, VL Planning and Reasoning in Artificial Intelligence, Martina Seidl, 2025W

338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W

338.001, VL Logic, Martina Seidl / Wolfgang Schreiner / Wolfgang Windsteiger, 2025W

338.048, SE Seminar in AI, Martina Seidl, 2025S

338.021, KV SAT Solving, Martina Seidl / Nils Froleyks / Maximilian Heisinger, 2025S

338.010, VO Formal Models, Martina Seidl / Nils Froleyks / Maximilian Heisinger, 2025S

338.007, SE Seminar in Computational Engineering, Martina Seidl / Andreas Plank, 2025S

Johannes Kepler Universität Linz