(local time at Santiago: CEST = UTC+2)
Saturday, August 29th, 2020
13:45 Welcome
Session 1 [>>> video (1st presentation missing)]
14:00 Tobias Philipp, Valentin Roland and Lukas Schweizer: Smoke Test Planning using Answer Set Programming [slides]
14:30 Stefania Costantini: Microservices in Answer Set Programming
15:00 Pedro Cabalar, Martín Diéguez, Torsten Schaub and Anna Schuhmann: Towards Metric Temporal Answer Set Programming: Preliminary Report
15:30 ------ Break ------
Session 2 [>>> video]
15:45 Gauthier Picard and Pierre Rust: Assessing Performances of Incomplete DCOP Solvers on HetNet User Association Problems
16:15 Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero and Torsten Schaub: A solver for Epistemic Specifications under Gelfond 1991 semantics [slides]
17:00 ------ end of first session
Sunday, August 30th, 2020
Session 3 [>>> video]
09:00 Pedro Cabalar, Jorge Fandinno and Brais Muñiz: A System for Explainable Answer Set Programming
09:30 Rachel Ben-Eliyahu-Zohary: Splitting a Logic Program Efficiently
10:00 Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko: A Uniform Treatment of Aggregates and Constraints in Hybrid ASP [slides]
10:30 ------ Break ------
Session 4 [>>> video]
10:45 Markus Hecher, Patrick Thier and Stefan Woltran: Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology
11:15 Jorge Fandinno, Seemran Mishra, Javier Romero and Torsten Schaub: Answer Set Programming Made Easy: Preliminary Report
11:45 ------ Lunch break ------
Session 5 [>>> video]
14:00 Francesca Alessandra Lisi: Declarative Problem Solving for Learning and Mining in Complex Domains
14:30 Philippe Besnard and Thomas Guyet: Declarative mining of negative sequential patterns [slides]
15:00 Robert Mercer: Preparing Scholarly Scientific Text for Argumentation Mining [slides]
15:30 ------ Break ------
Session 6 [>>> video]
15:45 Invited talk:
Vladimir Lifschitz Program Completion in 2020 [slides]
16:45 ------ Closing