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.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 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

338.006, KV Special Topics, Martina Seidl / Andreas Plank, 2025S

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

338.050, PR Practical Work in AI (Master), Martina Seidl / Maximilian Heisinger, 2024W

338.049, PR Practical Work in AI, Martina Seidl / Stefan Rass, 2024W

338.047, SE Seminar in AI (Master), Martina Seidl / Maximilian Heisinger, 2024W

338.044, VL Model Checking, Martina Seidl et al., 2024W

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

338.006, KV Special Topics, Maximilian Heisinger / Peter Pfeiffer, 2024W

338.002/4/5/8/22/23/24/25, UE Logic, Martina Seidl et al., 2024W

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

338.048, SE Seminar in AI, Martina Seidl et al., 2024S

338.021, KV SAT Solving, Martina Seidl / Adrian Rebola Pardo, 2024S

338.010, VO Formal Models, Martina Seidl, 2024S

338.007, KV Debugging, Martina Seidl et al., 2024S

338.044, VL Model Checking, Martina Seidl / Adrian Rebola Pardo, 2023W

Johannes Kepler Universität Linz