Pedro Cabalar, Torsten Schaub. Temporal Logic Programs with Temporal Description Logic Axioms. 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 174-186, Springer, 2019. [doi]
Abstract is missing.