On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski

Browse the full IJCAI paper archive.