Dettaglio pubblicazione
2020, ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, Pages 623-640 (volume: 88)
Non-terminating processes in the situation calculus (01a Articolo in rivista)
De Giacomo G., Ternovska E., Reiter R.
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords