Answer Set Navigation alongside Quantitative Reasoning

Vortrag von Dominik Rusovac

Veranstaltungsort: APB room 3027
Beginn: 15. Februar 2024 um 11:00
Ende: 15. Februar 2024 um 12:00
Event series: Research Seminar Logic and AI
iCal

Abstract: This is a so called status talk of PhD student Dominik Rusovac, supervised by Sarah Alice Gaggl. The main goal of the thesis is to study the concept of answer set navigation. Essentially, aiming at a systematic framework that consists of efficient and from the ground up characterised methods to deal with a large amount of answer sets (solutions) of a logic program (problem).

The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:

https://bbb.tu-dresden.de/b/pio-zwt-smp-aus