September 18th 2020 - Times are Central European Time (CEST)
14:00-14:10 Opening
Session Chair: Mario Alviano
14:10-14:30 Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub. (slides)
Answer Set Programming Made Easy.
Speaker: Seemran Mishra
14:30-14:50 Michael Bernreiter, Jan Maly, Stefan Woltran. (slides)
Encoding Choice Logics in ASP.
Speaker: Michael Bernreiter
14:50-15:10 Philipp Wanko, Torsten Schaub, Jorge Fandinno, Pedro Cabalar. (slides)
An ASP semantics for Constraints involving Conditional Aggregates.
Speaker: Philipp Wanko
Session Chair: Flavio Everardo
15:10-15:30 Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferriere. (slides)
Implementing Dynamic Answer Set Programming over finite traces.
Speaker: François Laferriere
15:30-15:50 Lukas Chrpa, Wolfgang Faber, Daniel Fišer, Michael Morak. (slides)
Determining Action Reversibility in STRIPS Using Answer Set Programming.
Speaker: Wolfgang Faber
15:50-16:10 Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri. (slides).
A Machine Learning guided Rewriting Approach for ASP Logic Programs.
Speaker: Elena Mastria
16:10-16:25 Break
Session Chair: Markus Hecher
16:25-17:25 Invited talk by Konstantin Schekotihin. (slides)
Stream Reasoning and its Industrial Applications.
Session Chair: Giovambattista Ianni (Gibbì)
17:25-17:45 Jorge Fandinno, Markus Hecher. (slides)
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard.
Speaker: Markus Hecher
17:45-18:05 Flavio Everardo, Markus Hecher, Ankit Shukla. (slides)
Extending XORRO with Approximate Model Counting.
Speaker: Flavio Everardo
18:05-18:20 Break
Session Chair: Konstantin Schekotihin
18:20-18:40 Pierre Tassel, Martin Gebser, Mohamed Rbaia. (slides)
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem.
Speaker: Pierre Tassel
18:40-19:00 Orkunt Sabuncu, Mehmet Cem Şimşek. (slides)
Solving Assembly Line Workload Smoothing Problem via Answer Set Programming.
Speaker: Orkunt Sabuncu
19:00-19:20 Denise Angilica, Aysu Bogatarkan, Giovambattista Ianni, Francesco Pacenza. (slides)
Using rule-based tools for the fast prototyping of artificial players in game development.
Speaker: Denise Angilica
19:20-19:40 Bernardo Cuteri, Kristian Reale, Francesco Ricca. (slides)
A Logic-Based Question Answering System for Cultural Heritage.
Speaker: Francesco Ricca
19:40-19:45 Closing