메뉴 건너뛰기




Volumn 77, Issue 1, 1995, Pages 43-94

Abduction as belief revision

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; COMPUTER SOFTWARE; FORMAL LOGIC;

EID: 0029350819     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)00025-V     Document Type: Article
Times cited : (68)

References (58)
  • 9
    • 0028466425 scopus 로고
    • Unifying default reasoning and belief revision in a modal framework
    • (1994) Artif. Intell. , vol.68 , pp. 33-85
    • Boutilier1
  • 12
    • 0000342173 scopus 로고
    • Preferred subtheories: an extended logical framework for default reasoning
    • Detroit, MI
    • (1989) Proceedings IJCAI-89 , pp. 1043-1048
    • Brewka1
  • 14
    • 0021593920 scopus 로고
    • Diagnostic reasoning based on structure and behavior
    • (1984) Artif. Intell. , vol.24 , pp. 347-410
    • Davis1
  • 18
    • 0024065845 scopus 로고
    • An approach to default reasoning based on a first-order conditional logic: revised report
    • (1988) Artif. Intell. , vol.36 , pp. 63-90
    • Delgrande1
  • 43
  • 46
    • 0002125156 scopus 로고
    • Representing diagnostic knowledge for probabilistic Horn abduction
    • Sydney, NSW
    • (1991) Proceedings IJCAI-91 , pp. 1129-1135
    • Poole1
  • 49
  • 53
    • 84979122215 scopus 로고
    • Modal logics with linear alternative relations
    • (1970) Theoria , vol.36 , pp. 310-322
    • Segerberg1
  • 55
    • 38249018719 scopus 로고
    • Nonmonotonic reasoning and causation
    • (1990) Cogn. Sci. , vol.14 , pp. 213-252
    • Shoham1
  • 56
    • 4544230503 scopus 로고
    • Nonmonotonic reasoning and causation: comment
    • (1991) Cogn. Sci. , vol.15 , pp. 293-300
    • Simon1
  • 57
    • 0000619896 scopus 로고
    • A theory of conditionals
    • W. Harper, R. Stalnaker, G. Pearce, D. Reidel, Dordrecht
    • (1968) Ifs , pp. 41-55
    • Stalnaker1


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