Design a site like this with
Get started


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
%d bloggers like this: