Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, konkrete Aufgaben in Teilgebieten der Computational Logic zu loesen. Die Loesungen der Aufgaben koennen Implementierungen, Experimente oder theoretische Ausarbeitungen erfordern.
Es werden Themen aus den Bereichen Informationssysteme, Wissensrepräsentation, Deduktion, Mobile Roboter, logische Programmierung, Programmsynthese und vieles mehr behandelt.
Unterstuetzung bei der Lösung der Aufgabe
Bewertung der Lösung
siehe LVA Homepage