Best paper award EPIA Conference on Artificial Intelligence (EPIA22).

Here is the paper:

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard.
Almost Certain Termination for ALC Weakening. EPIA 2022: 663-675

 

Here is an article about the paper:

https://www.unibz.it/it/home/newsroom/news/best-paper-for-an-impossible-event

 

:  )