Combining Terminological Logics with Tense Logic

Klaus Schild. Combining Terminological Logics with Tense Logic. In Miguel Filgueiras, Luís Damas, editors, Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA 93, Porto, Portugal, October 6-8, 1993, Proceedings. Volume 727 of Lecture Notes in Computer Science, pages 105-120, Springer, 1993.

Abstract

Abstract is missing.