메뉴 건너뛰기




Volumn 1531, Issue , 1998, Pages 122-133

Reasoning without minimality

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

EID: 84958043169     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0095263     Document Type: Conference Paper
Times cited : (4)

References (12)
  • 1
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • Carlos E. Alchourrón, Peter Gädenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
    • (1985) Journal of Symbolic Logic , vol.50 , pp. 510-530
    • Alchourrón, C.E.1    Peter, G.2    Makinson, D.3
  • 4
    • 0028379075 scopus 로고
    • Nonmonotonic inference based on expectations
    • Peter Gärdenfors and David Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245, 1994.
    • (1994) Artificial Intelligence , vol.65 , pp. 197-245
    • Gärdenfors, P.1    Makinson, D.2
  • 5
    • 0000874592 scopus 로고
    • Two modellings for theory change
    • Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.
    • (1988) Journal of Philosophical Logic , vol.17 , pp. 157-170
    • Grove, A.1
  • 7
    • 0025462359 scopus 로고
    • Nonmonotonic reasoning, preferential models and cumulative logics
    • S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial intelligence, 44:167-207, 1990.
    • (1990) Artificial Intelligence , vol.44 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 8
    • 0001697333 scopus 로고
    • On the difference between updating a knowledge base and revising it
    • editor, Belief Revision, Cambridge University Press
    • Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In Peter Gödenfors, editor, Belief Revision, pages 183-203. Cambridge University Press, 1992.
    • (1992) Peter Gödenfors , pp. 183-203
    • Katsuno, H.1    Mendelzon, A.O.2
  • 12
    • 0003606771 scopus 로고
    • MIT Press, Cambridge, Massachusetts
    • Yoav Shoham. Reasoning About Change. MIT Press, Cambridge, Massachusetts, 1988.
    • (1988) Reasoning about Change
    • Shoham, Y.1


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