Almost certain termination for ALC weakening

Contributo in Atti di convegno
Data di Pubblicazione:
2022
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/2145665
Titolo del libro:
Progress in Artificial Intelligence

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