메뉴 건너뛰기




Volumn , Issue , 2003, Pages 873-878

Weak conditional logics of normality

Author keywords

[No Author keywords available]

Indexed keywords

NON-MONOTONIC INFERENCE; PROOF THEORY; RULE BASED; SEMANTIC FRAMEWORK;

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

References (19)
  • 1
    • 0004250885 scopus 로고
    • D. Reidel Publishing Co., Dordrecht, Holland
    • E. Adams. The Logic of Conditionals. D. Reidel Publishing Co., Dordrecht, Holland, 1975.
    • (1975) The Logic of Conditionals
    • Adams, E.1
  • 2
    • 0013383199 scopus 로고
    • On the logic of theory change: Safe contraction
    • C.E. Alchourron and D. Makinson. On the logic of theory change: Safe contraction. Studia Logica, 44:405-422,1985.
    • (1985) Studia Logica , vol.44 , pp. 405-422
    • Alchourron, C.E.1    Makinson, D.2
  • 4
    • 0001245395 scopus 로고
    • Possibilistic logic
    • Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Nonmonotonic Reasoning and Uncertain Reasoning, Oxford
    • D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook of Logic in Artifical Intelligence and Logic Programming, pages 439-513. Oxford, 1994.
    • (1994) Handbook of Logic in Artifical Intelligence and Logic Programming , vol.3 , pp. 439-513
    • Dubois, D.1    Lang, J.2    Prade, H.3
  • 6
    • 0042644865 scopus 로고    scopus 로고
    • Plausibility measures and default reasoning
    • N. Friedman and J. Halpern. Plausibility measures and default reasoning. JACM, 48(4):649-685,2001.
    • (2001) JACM , vol.48 , Issue.4 , pp. 649-685
    • Friedman, N.1    Halpern, J.2
  • 7
    • 0003750418 scopus 로고
    • Handbook of logic in artificial intelligence and logic programming
    • Oxford Science Publications
    • P. Gardenfors and H. Rott. Handbook of logic in artificial intelligence and logic programming, volume 4 of Epistemic and Temporal Reasoning. Oxford Science Publications, 1995.
    • (1995) Epistemic and Temporal Reasoning , vol.4
    • Gardenfors, P.1    Rott, H.2
  • 8
    • 0026821714 scopus 로고
    • Conditional entailment: Bridging two approaches to default reasoning
    • H. Geffner and J. Pearl. Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence, 53(2-3):209-244,1992.
    • (1992) Artificial Intelligence , vol.53 , Issue.2-3 , pp. 209-244
    • Geffner, H.1    Pearl, J.2
  • 9
    • 0001157048 scopus 로고
    • Some direct theories of nonmonotonic inheritance
    • D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Nonmonotonic Reasoning and Uncertain Reasoning, Oxford: Clarendon Press
    • J.F. Horty. Some direct theories of nonmonotonic inheritance. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook of Logic in Artifical Intelligence and Logic Programming, pages 111-187. Oxford: Clarendon Press, 1994.
    • (1994) Handbook of Logic in Artifical Intelligence and Logic Programming , vol.3 , pp. 111-187
    • Horty, J.F.1
  • 10
    • 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(1-2): 167-207, 1990. (Pubitemid 20719858)
    • (1990) Artificial Intelligence , vol.44 , Issue.1-2 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 11
    • 0026867827 scopus 로고
    • What does a conditional knowledge base entail?
    • D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55(1): 1-60, 1992.
    • (1992) Artificial Intelligence , vol.55 , Issue.1 , pp. 1-60
    • Lehmann, D.1    Magidor, M.2
  • 12
  • 14
    • 0022661717 scopus 로고
    • APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON-SENSE KNOWLEDGE.
    • DOI 10.1016/0004-3702(86)90032-9
    • J. McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28:89-116, 1986. (Pubitemid 16503926)
    • (1986) Artificial Intelligence , vol.28 , Issue.1 , pp. 89-116
    • McCarthy, J.1
  • 17
    • 0002634765 scopus 로고
    • System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning
    • R. Parikh, editor, Pacific Grove, Ca., Morgan Kaufmann Publishers
    • J. Pearl. System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In R. Parikh, editor, Proc. of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, pages 121-135, Pacific Grove, Ca., 1990. Morgan Kaufmann Publishers.
    • (1990) Proc. of the Third Conference on Theoretical Aspects of Reasoning about Knowledge , pp. 121-135
    • Pearl, J.1
  • 18
    • 0026153420 scopus 로고
    • The effect of knowledge on belief: Conditioning, specificity, and the lottery paradox in default reasoning
    • D.L.Poole. The effect of knowledge on belief: Conditioning, specificity, and the lottery paradox in default reasoning. Artificial Intelligence, 49(1-3):281-307,1991.
    • (1991) Artificial Intelligence , vol.49 , Issue.1-3 , pp. 281-307
    • Poole, D.L.1
  • 19


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