Optimised functional translation and resolution

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

Volumn 1397 LNAI, Issue , 1998, Pages 36-37

  Hustadt, Ullrich ^a   Schmidt, Renate A ^a   Weidenbach, Christoph ^b  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84886292117     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69778-0_9     Document Type: Conference Paper

References (4)

1. U. Hustadt and R. A. Schmidt. On evaluating decision procedures for modal logics. In Proc. IJCAI'97, pages 202-207, 1997.
2. H. J. Ohlbach and R. A. Schmidt. Functional translation and second-order frame properties of modal logics. Res. Report MPI-I-95-2-002, MPI f. Informatik, Saarbrücken, 1995.
3. R. A. Schmidt. Resolution is a decision procedure for many propositional modal logics: Extended abstract. To appear in Proc. AiML'96, 1997.
4. C. Weidenbach, B. Gaede, and G. Rock. SPASS & FLOTTER version 0.42. In Proc. CADE-13, LNAI 1104, pages 141-145, 1996.