The workshop is spread over two days, and will be run using Zoom. Pre-recorded video talks will be played (approx 8-10 mins) followed by 5 mins of Q&A.
The Zoom link will be made available via the official channels of the AixiA conference, so make sure to register!
November 26, 2020
02.00 – 04.00 (PM – CET)
- Welcome
- Improving the efficiency of Euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints, Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli and Riccardo Zese
- Interleaving levels of consistency enforcement for singleton arc consistency in CSPs, with a new best (N)SAC algorithm, Richard Wallace
- On Formal Reasoning about Explanations, Alexey Ignatiev, Nina Narodytska and Joao Marques-Silva
- On Relating “Why?” and “Why Not?” Explanations, Alexey Ignatiev, Nina Narodytska, Nicholas Asher and Joao Marques-Silva
- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics, Nick Hippen and Yuliya Lierler
- Optimizations in SAT and ASP via an Abstract Lens, Yuliya Lierler
Friday; November, 27
09.00 – 10.00 (AM – CET)
- Answer Set Programming in Healthcare: Extended Overview, Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro and Marco Schouten
- Search-Guidance Mechanisms for Numeric Planning through Subgoaling Relaxation, Enrico Scala, Alessandro Saetti, Ivan Serina and Alfonso E. Gerevini
- Generating and Exploiting Cost Predictions in Heuristic State-Space Planning, Francesco Percassi, Alfonso E. Gerevini, Enrico Scala, Ivan Serina and Mauro Vallati