学生主题和学士或硕士论文

A类学士学位论文或硕士学位论文可以是随时开始.

关于学士学位论文、项目或硕士学位论文的主题,如果你对工作感兴趣,例如

  • 布尔可满足性(SAT)或答案集编程(ASP),
  • 陈述式问题解决(例如,使用SAT或ASP解决问题)
  • 用于具有挑战性(NP难)问题的有效算法
  • 逻辑与计算、逻辑语言、
  • 知识表示与推理,
  • 推理的计算复杂性,
  • 非单调推理,或
  • 优先推理和计算社会选择

你可以联系约翰内斯·沃勒了解格拉茨科技大学学生主题的更多信息。您还可以查看该组的网页和最近的出版物(参见右侧的链接),了解潜在主题。 

论文可以更侧重于理论,也可以更多地着眼于实现方面。与主管讨论具体主题。

小组课程

2024/25(不完整列表):

  • 夏季学期:人工智能、逻辑和智能系统基础
  • 冬季学期:基于逻辑的知识表示与计算机科学基础

2023/24:

  • 夏季学期:人工智能和逻辑基础(atTU Graz在线)
  • 冬季学期:基于逻辑的知识表示(atTU Graz在线)
  • 临时替换FH Campus02和FH Joanneum的Grundlagen der Informatik

2022/23:

  • 夏季学期:人工智能和逻辑基础(atTU Graz在线)
  • 新闻课程冬季学期:基于逻辑的知识表示(atTU Graz在线)
  • 临时替换FH Campus02和FH Joanneum的Grundlagen der Informatik

2021/22:

2020年及之前:在TU Wien和赫尔辛基大学任教

浏览
image/svg+xml
联系人
image/svg+xml