Answer Set Navigation alongside Quantitative Reasoning
Aus International Center for Computational Logic
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