Abschlussarbeiten in der AG LogiDAC
In der Arbeitsgruppe LogiDAC werden Bachelorarbeiten zwei mal jährlich in "Kohorten" betreut. Bei Interesse an Arbeiten in Sommersemestern melden Sie sich bitte bis Anfang Dezember des Vorjahres. Bei Interesse an Arbeiten in Wintersemestern melden Sie sich bitte bis Anfang Juni des Jahres.
Bei Interesse an Masterarbeitsthemen wenden Sie sich bitte direkt an die Mitglieder der Arbeitgsgruppe.
Abschlussarbeiten in der AG Knowledge-Based Systems
Die Themenvergabe für Bachelor- und Master-Arbeiten erfolgt individuell. Die möglichen Themen liegen im Interessensbereich der Arbeitsgruppe, sind also in den Bereichen Logik, Wissensrepräsentation, und im Schnitt von Logik und Machine Learning angesiedelt. Von aktuellem Interesse sind auch Themen im Bereich Logik und Large Language Models.
- Lernen von Formeln in verschiedenen Logiken
- Problemlösung mit SAT / ASP / QBF Solvern
- Vergleich/Erweiterung von aus den Vorlesungen Logik und DVEW bekannten Logiken
- Einsatz von Sprachmodellen mit Logikbezug
Bei Interesse an einer Masterarbeit schicken Sie bitte eine E-Mail an jean.jungtu-dortmundde. Bitte geben Sie in der Mail an, welche Vorlesungen Sie gehört haben und was Ihre Interessen sind. Wir machen dann einen Termin aus, bei dem wir uns auf ein Thema einigen. Es gibt keine Fristen, aber etwas Vorlauf ist sinnvoll.
Bei Interesse an einer Bachelorarbeit gehen Sie wie folgt vor:
- Sie können sich immer zum 30.01. und 30.06. für eine Arbeit im folgenden Semester bewerben. Wir machen dann einen Termin aus, bei dem wir uns auf ein Thema einigen.
- Bitte senden Sie dafür eine E-Mail an jean.jungtu-dortmundde und nennen Sie darin Ihre eigenen Interessen oder, falls vorhanden, einen eigenen Themenvorschlag. Dazu geben Sie an, ob Sie eher eine theoretische (Literatur-) Arbeit oder eine praktische (Implementierungs-)Arbeit wünschen.
- Bitte senden Sie auch ihr Transcript of Record mit.
- Es ist von Vorteil, wenn Sie die Wahlpflicht-Vorlesung „Darstellung, Verarbeitung und Erwerb von Wissen“ oder ein von der AG angebotenes Proseminar besucht haben – das erleichtert die Themenvergabe sehr.
- Initiales Treffen mit Themenfestlegung
- Selbstständige Einarbeitung in Literatur
- Aktive und regelmäßige Teilnahme am Abschlussarbeiten-Seminar des Lehrstuhl 1
- Einführungsvortrag (15 Minuten Bachelor / 30 Minuten Master) im Seminar
- Hintergrund der Arbeit
- Einführung ins Thema
- Zielsetzung und Methodik
- Zeitplan
- Nach der Anmeldung gibt es keine festen Betreuungstermine. Sie können aber Termine einfordern, um beispielsweise Ihre Gliederung zu besprechen, fachliche und methodische Fragen zu klären, oder Probleme anzusprechen.
- Es gibt außerdem die Möglichkeit, ausführliches Feedback für ein Kapitel der Arbeit zu bekommen. Dieses Feedback können Sie dann auf andere Kapitel anwenden.
- Feedback können Sie auch auf Ihre Folien im Abschlussvortrag bekommen.
- Abschlussvortrag (30 Minuten für Bacher und Master) im Seminar
- Hintergrund der Arbeit und Einführung ins Thema
- Vorstellung der Ergebnisse der Arbeit
- Diskussion
Abschlussarbeiten in der AG Information Engineering
Wir haben ständig Themen für Abschlussarbeiten zu vergeben. Bitte melden Sie sich bei Interesse an Prof. Dr. Gabriele Kern-Isberner oder einen ihrer Mitarbeiter.
Hier finden Sie die Richtlinien zur Erstellung von Bachelorarbeiten der IE-Gruppe.
Hier finden Sie die Richtlinien zur Erstellung von Masterarbeiten der IE-Gruppe.