Answer Set Navigation alongside Quantitative Reasoning

Talk by Dominik Rusovac

Location: APB room 3027
Start: 15. February 2024 at 11:00 am
End: 15. February 2024 at 12:00 pm
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