Almost certain termination for ALC weakening

Conference Paper
Publication Date:
2022
Iris type:
Relazione (in Volume)
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/2145665
Book title:
Progress in Artificial Intelligence

21st EPIA Conference on Artificial Intelligence, EPIA 2022, Lisbon, Portugal, August 31–September 2, 2022, Proceedings