TRP++ 2.0: A temporal resolution prover

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2741, Issue , 2003, Pages 274-278

  Hustadt, Ullrich ^a   Konev, Boris ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 7044249055     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45085-6_21     Document Type: Conference Paper

References (15)

1. J. Bentley and R. Sedgewick. Fast algorithms for sorting and searching strings. In SODA: ACM-SIAM Symposium on Discrete Algorithms, 1997.
2. C. Dixon. Search strategies for resolution in temporal logics. In Proc. CADE-13, volume 1104 of LNAI, pages 673-687. Springer, 1996.
3. C. Dixon. Using Otter for temporal resolution. In Advances in Temporal Logic, pages 149-166. Kluwer, 2000.
4. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, chapter 16, pages 997-1072. Elsevier, 1990.
5. M. Fisher. A resolution method for temporal logic. In Proc. IJCAI’91, pages 99-104. Morgan Kaufman, 1991.
6. M. Fisher, C. Dixon, and M. Peim. Clausal temporal resolution. ACM Transactions on Computational Logic, 2(1):12-56, 2001.
7. J.-H. Hoepman. Uniform deterministic self-stabilizing ring-orientation on oddlength rings. In WDAG’94, volume 857 of LNCS, pages 265-279. Springer, 1994.
8. G. J. Holzmann. The model checker Spin. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
9. U. Hustadt and B. Konev. TRP++: A temporal resolution prover. In Proc. WIL’02. Available as http://www.lsi.upc.es/∼roberto/wilproceedings.html.
10. U. Hustadt and R. A. Schmidt. Scientific benchmarking with temporal logic decision procedures. In Proc. KR2002, pages 533-544. Morgan Kaufmann, 2002.
11. D. E. Knuth. The Art of Computer Programming. Volume III: Sorting and Searching. Addison-Wesley, 1973.
12. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-343, June 1998.
13. A. Riazanov and A. Voronkov. Limited resource strategy in resolution theorem proving. Journal of Symbolic Computation, to appear.
14. M. P. Shanahan. Solving the Frame Problem. MIT Press, 1997.
15. A. Tansel, editor. Temporal Databases: theory, design, and implementation. Benjamin/ Cummings, 1993.