Practical First-Order Temporal Reasoning

Authors:
Clare Dixon;Michael Fisher;Boris Konev;Alexei Lisitsa
Affiliations:
-;-;-;-
Venue:
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Year:
2008

Citing 0
Cited 3

Implementing a fair monodic temporal logic prover

AI Communications - Practical Aspects of Automated Reasoning
A logical approach to data-aware automated sequence generation

Transactions on Computational Science XV
A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

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.