메뉴 건너뛰기




Volumn 1, Issue , 1997, Pages 150-155

Circumscribing inconsistency

Author keywords

[No Author keywords available]

Indexed keywords

INCONSISTENT INFORMATION; LOGICAL APPROACHES; MONOTONICITY; PROOF SYSTEM; THREE-VALUED MODELS; TRUTH VALUES;

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

References (24)
  • 3
    • 0030402090 scopus 로고    scopus 로고
    • Automatic diagnoses for properly stratified knowledge-bases
    • IEEE Press
    • O. Arieli and A. Avron. Automatic diagnoses for properly stratified knowledge-bases. In Int. Conf. on Tools with Artificial Intelligence, pp 392-399. IEEE Press, 1996.
    • (1996) Int. Conf. On Tools with Artificial Intelligence , pp. 392-399
    • Arieli, O.1    Avron, A.2
  • 4
    • 0001842932 scopus 로고
    • A useful four-valued logic
    • J. Dunn and G. Epstein, eds, Reidel
    • N. Belnap. A useful four-valued logic. In J. Dunn and G. Epstein, eds, Modern Uses of Multiple-Valued Logic. Reidel, 1977.
    • (1977) Modern Uses of Multiple-Valued Logic
    • Belnap, N.1
  • 9
    • 0024752094 scopus 로고
    • Paraconsistent logic programming
    • DOI 10.1016/0304-3975(89)90126-6
    • H. Blair and V.S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68(2):135-154,1989. (Pubitemid 20675597)
    • (1989) Theoretical Computer Science , vol.68 , Issue.2 , pp. 135-154
    • Blair, H.A.1    Subrahmanian, V.S.2
  • 11
    • 0029352639 scopus 로고
    • Argumentative logics: Reasoning with classically inconsistent information
    • M. Elvang and A. Hunter. Argumentative logics: reasoning with classically inconsistent information. Journal of Knowledge and Data Engineering, 16:125-145,1995.
    • (1995) Journal of Knowledge and Data Engineering , vol.16 , pp. 125-145
    • Elvang, M.1    Hunter, A.2
  • 14
    • 0024876283 scopus 로고
    • RI: A logic for reasoning with inconsistency
    • M, Kifer and E. Lozinskii. RI: A logic for reasoning with inconsistency. In Logic in Computer Science, pp 253-262,1989.
    • (1989) Logic in Computer Science , pp. 253-262
    • Kifer, M.1    Lozinskii, E.2
  • 15
    • 0348122238 scopus 로고
    • Reasoning in the presence of inconsistency
    • AAAI/MIT Press
    • F. Lin. Reasoning in the presence of inconsistency. In AAAI Nat. Conf on Artificial Intelligence, pp 139-143. AAAI/MIT Press, 1987.
    • (1987) AAAI Nat. Conf on Artificial Intelligence , pp. 139-143
    • Lin, F.1
  • 16
    • 0030244768 scopus 로고    scopus 로고
    • A semantics for reasoning consistently in the presence of inconsistency
    • DOI 10.1016/0004-3702(95)00100-X
    • J. Lin. A semantics for reasoning consistently in the presence of inconsistency. Artificial Intelligence, 86(1-2):75-95, 1996. (Pubitemid 126364349)
    • (1996) Artificial Intelligence , vol.86 , Issue.1 , pp. 75-95
    • Lin, J.1
  • 17
    • 37349044608 scopus 로고
    • Circumscription - A form of nonmonotonic reasoning
    • J. McCarthy. Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence, 13(1-2):27-39,1980.
    • (1980) Artificial Intelligence , vol.13 , Issue.1-2 , pp. 27-39
    • McCarthy, J.1
  • 20
    • 0024681617 scopus 로고
    • Reasoning about truth
    • G. Priest. Reasoning about truth. Artificial Intelligence, 39:231-244,1989.
    • (1989) Artificial Intelligence , vol.39 , pp. 231-244
    • Priest, G.1
  • 21
    • 0026925452 scopus 로고
    • A logic for reasoning with inconsistent knowledge
    • N.Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57:69-103,1992.
    • (1992) Artificial Intelligence , vol.57 , pp. 69-103
    • Roos, N.1
  • 22
    • 84990623190 scopus 로고
    • A functional approach to non-monotonic logic
    • E. Sandewall. A functional approach to non-monotonic logic. Computational Intelligence, 1:80-87,1985.
    • (1985) Computational Intelligence , vol.1 , pp. 80-87
    • Sandewall, E.1


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