메뉴 건너뛰기




Volumn 5663 LNAI, Issue , 2009, Pages 261-276

Fair derivations in monodic temporal reasoning

Author keywords

[No Author keywords available]

Indexed keywords

FIRST-ORDER TEMPORAL LOGIC; INFERENCE RULES; RESOLUTION-BASED CALCULI; TEMPORAL REASONING; THEOREM PROVERS;

EID: 69949129857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02959-2_21     Document Type: Conference Paper
Times cited : (9)

References (15)
  • 1
    • 0009858375 scopus 로고    scopus 로고
    • Resolution theorem proving
    • Robinson, J.A, Voronkov, A, eds, Elsevier, Amsterdam
    • Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 19-99. Elsevier, Amsterdam (2001)
    • (2001) Handbook of Automated Reasoning , vol.1 , pp. 19-99
    • Bachmair, L.1    Ganzinger, H.2
  • 2
    • 69949191570 scopus 로고    scopus 로고
    • Behdenna, A, Dixon, C, Fisher, M, Deductive verification of simple foraging robotic behaviours under review
    • Behdenna, A., Dixon, C., Fisher, M.: Deductive verification of simple foraging robotic behaviours (under review)
  • 3
    • 7044221793 scopus 로고    scopus 로고
    • Degtyarev, A., Fisher, M., Konev, B.: Monodic temporal resolution. In: Baader, F. (ed.) CADE 2003. LNCS (LNAI), 2741, pp. 397-411. Springer, Heidelberg (2003)
    • Degtyarev, A., Fisher, M., Konev, B.: Monodic temporal resolution. In: Baader, F. (ed.) CADE 2003. LNCS (LNAI), vol. 2741, pp. 397-411. Springer, Heidelberg (2003)
  • 5
    • 69949133210 scopus 로고    scopus 로고
    • Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Semantics, B, pp. 995-1072 (1990)
    • Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 995-1072 (1990)
  • 7
    • 66749148424 scopus 로고    scopus 로고
    • Gago, M.C.F., Fisher, M., Dixon, C.: Algorithms for guiding clausal temporal resolution. In: Jarke, M., Koehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS, 2479, pp. 235-252. Springer, Heidelberg (2002)
    • Gago, M.C.F., Fisher, M., Dixon, C.: Algorithms for guiding clausal temporal resolution. In: Jarke, M., Koehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS, vol. 2479, pp. 235-252. Springer, Heidelberg (2002)
  • 9
    • 9444227097 scopus 로고    scopus 로고
    • Hustadt, U., Konev, B., Riazanov, A., Voronkov, A.: TeMP: A temporal monodic prover. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), 3097, pp. 326-330. Springer, Heidelberg (2004)
    • Hustadt, U., Konev, B., Riazanov, A., Voronkov, A.: TeMP: A temporal monodic prover. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097, pp. 326-330. Springer, Heidelberg (2004)
  • 10
    • 26944441270 scopus 로고    scopus 로고
    • Hustadt, U., Konev, B., Schmidt, R.A.: Deciding monodic fragments by temporal resolution. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), 3632, pp. 204-218. Springer, Heidelberg (2005)
    • Hustadt, U., Konev, B., Schmidt, R.A.: Deciding monodic fragments by temporal resolution. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 204-218. Springer, Heidelberg (2005)
  • 11
    • 84944075546 scopus 로고    scopus 로고
    • Towards the implementation of first-order temporal resolution: The expanding domain case
    • IEEE Computer Society, Los Alamitos
    • Konev, B., Degtyarev, A., Dixon, C., Fisher, M., Hustadt, U.: Towards the implementation of first-order temporal resolution: the expanding domain case. In: Proc. TIME-ICTL 2003, pp. 72-82. IEEE Computer Society, Los Alamitos (2003)
    • (2003) Proc. TIME-ICTL , pp. 72-82
    • Konev, B.1    Degtyarev, A.2    Dixon, C.3    Fisher, M.4    Hustadt, U.5
  • 13
    • 77950251065 scopus 로고    scopus 로고
    • Implementing a fair monodic temporal logic prover
    • to appear
    • Ludwig, M., Hustadt, U.: Implementing a fair monodic temporal logic prover. AI Communications (to appear)
    • AI Communications
    • Ludwig, M.1    Hustadt, U.2
  • 14
    • 35148829967 scopus 로고    scopus 로고
    • Weidenbach, C, Schmidt, R, Hillenbrand, T, Rusev, R, Topic, D, System description: SPASS version 3.0. In: Pfenning, F, ed, CADE 2007. LNCS (LNAI, 4603, pp. 514-520. Springer, Heidelberg 2007
    • Weidenbach, C., Schmidt, R., Hillenbrand, T., Rusev, R., Topic, D.: System description: SPASS version 3.0. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 514-520. Springer, Heidelberg (2007)
  • 15
    • 0036885383 scopus 로고    scopus 로고
    • Axiomatizing the monodic fragment of first-order temporal logic
    • Wolter, F., Zakharyaschev, M.: Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied logic 118, 133-145 (2002)
    • (2002) Annals of Pure and Applied logic , vol.118 , pp. 133-145
    • Wolter, F.1    Zakharyaschev, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.