메뉴 건너뛰기




Volumn 1, Issue , 1999, Pages 30-35

Credulous nonmonotonic inference

Author keywords

[No Author keywords available]

Indexed keywords

EPISTEMIC STATE; NON-MONOTONIC INFERENCE; SEMANTIC REPRESENTATION;

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

References (13)
  • 2
    • 0346231037 scopus 로고
    • Foundations of conditional logic
    • J. Van Benthem. Foundations of conditional logic. J. of Philosophical Logic, 13:303-349, 1984.
    • (1984) J. of Philosophical Logic , vol.13 , pp. 303-349
    • Van Benthem, J.1
  • 3
    • 0001260586 scopus 로고
    • On the semantics of supernormal defaults
    • S. Brass. On the semantics of supernormal defaults. In Proceedings IJCAI-93, pages 578-583, 1993.
    • (1993) Proceedings IJCAI-93 , pp. 578-583
    • Brass, S.1
  • 4
    • 84957619276 scopus 로고
    • Non-monotonic syntax-based entailment: A classification of consequence relations
    • C. Froidevaux and J. Kohlas, editors, Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, Fribourg, Switzerland, July Springer Verlag
    • C. Cayrol and M.-C, Lagasquie-Shiex. Non-monotonic syntax-based entailment: A classification of consequence relations. In C. Froidevaux and J. Kohlas, editors, Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, pages 107-114, Fribourg, Switzerland, July 1995. Springer Verlag. Lecture Notes in AI, 946.
    • (1995) Lecture Notes in AI , vol.946 , pp. 107-114
    • Cayrol, C.1    Lagasquie-Shiex, M.-C.2
  • 5
    • 0042157871 scopus 로고
    • The relationship between KLM and MAK models for nonmonotonic inference operations
    • J. Dix and D. Makinson. The relationship between KLM and MAK models for nonmonotonic inference operations. J. of Logic and Computation, 1:131-140, 1992.
    • (1992) J. of Logic and Computation , vol.1 , pp. 131-140
    • Dix, J.1    Makinson, D.2
  • 6
    • 0028379075 scopus 로고
    • Nonmonotonic inference based on expectations
    • P. Gardenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245, 1994.
    • (1994) Artificial Intelligence , vol.65 , pp. 197-245
    • Gardenfors, P.1    Makinson, D.2
  • 8
    • 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. (Pubitemid 20719858)
    • (1990) Artificial Intelligence , vol.44 , Issue.1-2 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 10
    • 35348901949 scopus 로고    scopus 로고
    • Circumscriptions from what they cannot do
    • (Preliminary report). University of London
    • Y. Moinard and R. Rolland. Circumscriptions from what they cannot do (Preliminary report). In Working papers of Common Sense'98, pages 20-41, University of London, 1998.
    • (1998) Working Papers of Common Sense'98 , pp. 20-41
    • Moinard, Y.1    Rolland, R.2
  • 11
    • 0006665530 scopus 로고
    • Defeasible logic and the frame problem
    • R. Loui H. Kyburg and G. Carlson, editors, Kluwer Academic Publishers, Boston MA
    • D. Nute. Defeasible logic and the frame problem. In R. Loui H. Kyburg and G. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 3-24. Kluwer Academic Publishers, Boston MA, 1990.
    • (1990) Knowledge Representation and Defeasible Reasoning , pp. 3-24
    • Nute, D.1
  • 12
    • 49149147322 scopus 로고
    • A logic for default reasoning
    • R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1


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