Temporal Description Logics: A Survey

2008 15th International Symposium on Temporal Representation and Reasoning Pub Date : 2008-06-16 DOI:10.1109/TIME.2008.14

C. Lutz, F. Wolter, M. Zakharyaschev

引用次数: 240

Abstract

We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.

查看原文本刊更多论文

时间描述逻辑:综述

我们研究了基于标准时间逻辑(如LTL和CTL)的时间描述逻辑。特别地，我们专注于可满足性问题的计算复杂性和决定它的算法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2008 15th International Symposium on Temporal Representation and Reasoning

自引率

0.00%

发文量