Situation Calculus Meets Description Logics

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]

Authors

Jens Claßen

This author has not been identified. Look up 'Jens Claßen' in Google

Gerhard Lakemeyer

This author has not been identified. Look up 'Gerhard Lakemeyer' in Google

Benjamin Zarrieß

This author has not been identified. Look up 'Benjamin Zarrieß' in Google