메뉴 건너뛰기




Volumn , Issue , 2003, Pages 1400-1401

Coherence of laws

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL TEST; LOW-COHERENCE; MODULARIZATIONS; NEW APPROACHES; PHILOSOPHY OF SCIENCE; SCIENTIFIC THEORIES; THEORETICAL TERMS; TIGHTLY-COUPLED;

EID: 84880798686     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (1)

References (4)
  • 2
    • 0001828076 scopus 로고
    • On axiomatizability within a system
    • W. Craig. On axiomatizability within a system. In The Journal of Symbolic Logic, 18, pages 30-32, 1953.
    • (1953) The Journal of Symbolic Logic , vol.18 , pp. 30-32
    • Craig, W.1
  • 3
    • 78649864834 scopus 로고    scopus 로고
    • Coherence Measure Based on Average Use of Formulas
    • Proceedings of the Fifth Pacific Rim Conference on Artificial Intelligence, Springer Verlag
    • R.B.H. Kwok, A.C. Nayak, N. Foo. Coherence Measure Based on Average Use of Formulas. Proceedings of the Fifth Pacific Rim Conference on Artificial Intelligence, 553-564, LNCS v. 1531, Springer Verlag, 1998.
    • (1998) LNCS , vol.1531 , pp. 553-564
    • Kwok, R.B.H.1    Nayak, A.C.2    Foo, N.3
  • 4
    • 84880813123 scopus 로고    scopus 로고
    • (full version). Available as Postscipt file via
    • R.B.H. Kwok, N. Foo and A.C. Nayak, Coherence of Theories (full version). Available as Postscipt file via FTP ftp://ftp.cse.unsw.edu.au/pub/users/ksg/ Confercnce/ijcai03-Coherence.ps.gz.
    • Coherence of Theories
    • Kwok, R.B.H.1    Foo, N.2    Nayak, A.C.3


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