NAVAS Workshop 2022 in Wien
Aus International Center for Computational Logic
The first international Workshop on Navigation Approaches for Answer Sets (NAVAS) in joint venture with the [www.tuwien.at TU Wien] will take place in Vienna, may 23-25, 2022.
The NaVAS workshop will take place from Monday, May 21th until Wednesday May 23th of 2022.
Monday, May 23th:
- 09:15 Welcome
- 09:20 Talk: NAVAS - Navigation in the solution space of answer sets and Visualization for Argument Frameworks - Sarah Alice Gaggl
- 09:45 Talk: Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy - Elisa Böhl
- 10:15 Coffee break
- 10:30 Talk: Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation - Martin Diller
- 11:30 Talk: Rushing and Strolling among Answer Sets - Navigation Made Easy Dominik Rusovac
Tuesday, May 24th:
- 14:00 - 19:00 CAIML Event (external)- Edward A. Lee, Pedro Cabalar
Organization
