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