Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß. Situation Calculus Meets Description Logics. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, editors, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Volume 11560 of Lecture Notes in Computer Science, pages 240-265, Springer, 2019. [doi]
@inproceedings{ClassenLZ19, title = {Situation Calculus Meets Description Logics}, author = {Jens Claßen and Gerhard Lakemeyer and Benjamin Zarrieß}, year = {2019}, doi = {10.1007/978-3-030-22102-7_11}, url = {https://doi.org/10.1007/978-3-030-22102-7_11}, researchr = {https://researchr.org/publication/ClassenLZ19}, cites = {0}, citedby = {0}, pages = {240-265}, booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, editor = {Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni-Yasmin Turhan and Frank Wolter}, volume = {11560}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-22102-7}, }