메뉴 건너뛰기




Volumn 31, Issue 1, 2003, Pages 11-21

Theorem Proving Based on the Extension Rule

Author keywords

Complementary factor; Extension rule; Inclusion exclusion principle; Theorem proving

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; PROBLEM SOLVING;

EID: 0344927110     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1027339205632     Document Type: Article
Times cited : (69)

References (7)
  • 1
    • 0033907490 scopus 로고    scopus 로고
    • On some tractable classes in deduction and abduction
    • del Val, A.: On some tractable classes in deduction and abduction, Artificial Intelligence 116 (2000), 297-313.
    • (2000) Artificial Intelligence , vol.116 , pp. 297-313
    • Del Val, A.1
  • 2
    • 0036577293 scopus 로고    scopus 로고
    • Partial instantiation methods for inference in first-order logic
    • Hooker, J. N., Rago, G., Chandru, V. and Shrivastava, A.: Partial instantiation methods for inference in first-order logic, J. Automated Reasoning 28(4) (2002), 371-396.
    • (2002) J. Automated Reasoning , vol.28 , Issue.4 , pp. 371-396
    • Hooker, J.N.1    Rago, G.2    Chandru, V.3    Shrivastava, A.4
  • 3
    • 85026919405 scopus 로고
    • Knowledge compilation using Horn approximation
    • Selman, B. and Kautz, H. A.: Knowledge compilation using Horn approximation, in Proc. of AMI-1991, 1991, pp. 904-909.
    • (1991) Proc. of AMI-1991 , pp. 904-909
    • Selman, B.1    Kautz, H.A.2
  • 7
    • 0003329841 scopus 로고    scopus 로고
    • Bucket elimination: A unifying framework for structure-driven inference
    • Dechter, R.: Bucket elimination: A unifying framework for structure-driven inference, in Learning and Inference in Graphical Models, 1998.
    • (1998) Learning and Inference in Graphical Models
    • Dechter, R.1


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