Home » Publication » 19590

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.

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma