Home » Publication » 14336

Dettaglio pubblicazione

2015, Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015, Pages 2840-2846 (volume: 2015)

On the undecidability of the situation calculus extended with description logic ontologies (04b Atto di convegno in volume)

Calvanese Diego, DE GIACOMO Giuseppe, Soutchanski Mikhail

ISBN: 978-1-57735-738-4
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma