메뉴 건너뛰기




Volumn 1325, Issue , 1997, Pages 590-599

Completeness for linear regular negation normal form inference systems

Author keywords

Completeness; Logic for artificial intelligence; Negation normal form; Non clausal inference; Resolution; Tableau method

Indexed keywords

BIOMINERALIZATION; INTELLIGENT SYSTEMS; OPTICAL RESOLVING POWER;

EID: 84947792202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63614-5_57     Document Type: Conference Paper
Times cited : (2)

References (15)
  • 1
    • 0014812158 scopus 로고
    • A linear format for resolution with merging and a new technique for establishing completeness
    • Anderson, R., and Bledsoe, W., A linear format for resolution with merging and a new technique for establishing completeness, J. ACM 17(3) (1970), 525-534.
    • (1970) J. ACM , vol.17 , Issue.3 , pp. 525-534
    • Anderson, R.1    Bledsoe, W.2
  • 3
    • 0019625888 scopus 로고
    • On matrices with connections
    • Bibel, W, On matrices with connections, J. ACM 28 (1981), 633-645.
    • (1981) J. ACM , vol.28 , pp. 633-645
    • Bibel, W.1
  • 4
    • 84881072062 scopus 로고
    • A computing procedure for quantification theory
    • Davis, M. and Putnam, H. A computing procedure for quantification theory. J. ACM7, 1960, 201-215.
    • (1960) J. ACM7 , pp. 201-215
    • Davis, M.1    Putnam, H.2
  • 6
    • 0008267175 scopus 로고
    • Linear Resolution with Selection Function
    • Kowalski, R. and Kuehner D., Linear Resolution with Selection Function. Artificial Intelligence, 2(3), (1971), 227-260.
    • (1971) Artificial Intelligence , vol.2 , Issue.3 , pp. 227-260
    • Kowalski, R.1    Kuehner, D.2
  • 9
    • 0023331292 scopus 로고
    • Inference with path resolution and semantic graphs
    • Murray, N. V., and Rosenthal, E., Inference with path resolution and semantic graphs. J. ACM 34, 2 (1987), 225-254.
    • (1987) J. ACM , vol.34 , Issue.2 , pp. 225-254
    • Murray, N.V.1    Rosenthal, E.2
  • 10
    • 0027627288 scopus 로고
    • Dissolution: Making paths vanish
    • July
    • Murray, N. V., and Rosenthal, E. Dissolution: Making paths vanish. J. ACM 40, 3 (July 1993), 504-535.
    • (1993) J. ACM , vol.40 , Issue.3 , pp. 504-535
    • Murray, N.V.1    Rosenthal, E.2
  • 13
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • Reiter, R., A theory of diagnosis from first principles. A. I. Journal, 32 (1987), 57-95.
    • (1987) A.I. Journal , vol.32 , pp. 57-95
    • Reiter, R.1
  • 15
    • 9544233449 scopus 로고
    • Regressive merging in model elimination tableaubased theorem provers
    • (Special Issue: Selected Papers from Tableaux'94), 3 (Oct
    • Wallace, K. and Wrightson, G. Regressive merging in model elimination tableaubased theorem provers, Journal of the Interest Group in Pure and Applied Logics, (Special Issue: Selected Papers from Tableaux'94), 3 (Oct. 1995), 921-938.
    • (1995) Journal of the Interest Group in Pure and Applied Logics , pp. 921-938
    • Wallace, K.1    Wrightson, G.2


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