论文信息 - TRP++2.0: A Temporal Resolution Prover

TRP++2.0: A Temporal Resolution Prover

Temporal logics are extensions of classical logic with operators that deal with time. They have been used in a wide variety of areas within Computer Science and Artificial Intelligence, for example robotics [14], databases [15], hardware verification [8] and agent-based systems [12].

Boris Konev | Ullrich Hustadt | B. Konev | U. Hustadt

[1] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[2] David Thomas,et al. The Art in Computer Programming , 2001 .

[3] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4] Clare Dixon,et al. Using Otter for Temporal Resolution , 2000 .

[5] Sushil Jajodia,et al. Temporal Databases: Theory, Design, and Implementation , 1993 .

[6] M. Shanahan. Solving the frame problem , 1997 .

[7] Michael Fisher,et al. A Resolution Method for Temporal Logic , 1991, IJCAI.

[8] U. Hustadt,et al. TRP + + : A temporal resolution prover ⋆ , 2002 .

[9] Robert Sedgewick,et al. Fast algorithms for sorting and searching strings , 1997, SODA '97.

[10] Jaap-Henk Hoepman,et al. Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings , 1994, WDAG.

[11] Andrei Voronkov,et al. Limited resource strategy in resolution theorem proving , 2003, J. Symb. Comput..

[12] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[13] Clare Dixon,et al. Clausal temporal resolution , 1999, TOCL.

[14] Clare Dixon,et al. Search Strategies for Resolution in Temporal Logics , 1996, CADE.

[15] Ullrich Hustadt,et al. Scientific Benchmarking with Temporal Logic Decision Procedures , 2002, KR.

[16] Donald E. Knuth,et al. The Art of Computer Programming: Volume 3: Sorting and Searching , 1998 .