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

Calvanese et al. "On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies." International Joint Conference on Artificial Intelligence, 2015.

[Calvanese et al. "On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/calvanese2015ijcai-undecidability/)

@inproceedings{calvanese2015ijcai-undecidability,
  title     = {{On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies}},
  author    = {Calvanese, Diego and De Giacomo, Giuseppe and Soutchanski, Mikhail},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2840-2846},
  url       = {https://mlanthology.org/ijcai/2015/calvanese2015ijcai-undecidability/}
}