메뉴 건너뛰기




Volumn 5663 LNAI, Issue , 2009, Pages 157-162

Divvy: An ATP meta-system based on axiom relevance ordering

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEM-BASED;

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

References (11)
  • 1
    • 0004357651 scopus 로고
    • Gazing: An Approach to the Problem of Definition and Lemma Use
    • Barker-Plummer, D.: Gazing: An Approach to the Problem of Definition and Lemma Use. Journal of Automated Reasoning 8(3), 311-344 (1992)
    • (1992) Journal of Automated Reasoning , vol.8 , Issue.3 , pp. 311-344
    • Barker-Plummer, D.1
  • 4
    • 0001368373 scopus 로고
    • Et́ude Comparative de la Distribution Florale Dans une Portion des Alpes et des Jura
    • Jaccard, P.: Et́ude Comparative de la Distribution Florale Dans une Portion des Alpes et des Jura. Bulletin del la Société Vaudoise des Sciences Naturelles 37, 547-579 (1901)
    • (1901) Bulletin del la Société Vaudoise des Sciences Naturelles , vol.37 , pp. 547-579
    • Jaccard, P.1
  • 6
    • 0037371961 scopus 로고    scopus 로고
    • A Relevance Restriction Strategy for Automated Deduction
    • Plaisted, D.A., Yahya, A.: A Relevance Restriction Strategy for Automated Deduction. Artificial Intelligence 144(1-2), 59-93 (2003)
    • (2003) Artificial Intelligence , vol.144 , Issue.1-2 , pp. 59-93
    • Plaisted, D.A.1    Yahya, A.2
  • 8
    • 0036323940 scopus 로고    scopus 로고
    • E: A Brainiac Theorem Prover
    • Schulz, S.: E: A Brainiac Theorem Prover. AI Communications 15(2-3), 111-126 (2002)
    • (2002) AI Communications , vol.15 , Issue.2-3 , pp. 111-126
    • Schulz, S.1
  • 10
    • 35148848079 scopus 로고    scopus 로고
    • Proving Harder Theorems by Axiom Reduction
    • Russell, I, Haller, S, eds, AAAI Press, Menlo Park
    • Sutcliffe, G., Dvorsky, A.: Proving Harder Theorems by Axiom Reduction. In: Russell, I., Haller, S. (eds.) Proceedings of the 16th International FLAIRS Conference, pp. 108-112. AAAI Press, Menlo Park (2003)
    • (2003) Proceedings of the 16th International FLAIRS Conference , pp. 108-112
    • Sutcliffe, G.1    Dvorsky, A.2
  • 11
    • 53049092451 scopus 로고    scopus 로고
    • Urban, J., Sutcliffe, G., Pudlak, P., Vyskocil, J.: MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In: Baumgartner, P., Armando, A., Gilles, D. (eds.) IJCAR 2008. LNCS (LNAI), 5195, pp. 441-456. Springer, Heidelberg (2008)
    • Urban, J., Sutcliffe, G., Pudlak, P., Vyskocil, J.: MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In: Baumgartner, P., Armando, A., Gilles, D. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 441-456. Springer, Heidelberg (2008)


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