메뉴 건너뛰기




Volumn 65, Issue 3, 2000, Pages 1321-1337

On representation theorems for nonmonotonic consequence relations

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0034258657     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586702     Document Type: Article
Times cited : (12)

References (11)
  • 1
    • 8744300892 scopus 로고    scopus 로고
    • Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations
    • H. BEZZAZI, D. MAKINSON, and R. PINO PÉREZ, Beyond rational monotony: some strong non-Horn rules for nonmonotonic inference relations, Journal of Logic and Computation, vol. 7 (1997), pp. 605-631.
    • (1997) Journal of Logic and Computation , vol.7 , pp. 605-631
    • Bezzazi, H.1    Makinson, D.2    Pino Pérez, R.3
  • 3
    • 0000855965 scopus 로고
    • Infective models and disjunctive relations
    • M. FREUND, Infective models and disjunctive relations, Journal of Logic and Computation, vol. 3 (1993), pp. 231-247.
    • (1993) Journal of Logic and Computation , vol.3 , pp. 231-247
    • Freund, M.1
  • 4
    • 0002355873 scopus 로고
    • Rationality, transitivity and contraposition
    • M. FREUND, D. LEHMANN, and P. MORRIS, Rationality, transitivity and contraposition, Artificial Intelligence, vol. 52 (1991), pp. 191-203.
    • (1991) Artificial Intelligence , vol.52 , pp. 191-203
    • Freund, M.1    Lehmann, D.2    Morris, P.3
  • 5
    • 0028379075 scopus 로고
    • Nonmonotonic inferences based on expectations
    • P. GÄRDENFORS and D. MAKINSON, Nonmonotonic inferences based on expectations, Artificial Intelligence, vol. 65 (1994), pp. 197-245.
    • (1994) Artificial Intelligence , vol.65 , pp. 197-245
    • Gärdenfors, P.1    Makinson, D.2
  • 6
    • 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, vol. 14 (1990), no. 1, pp. 167-207.
    • (1990) Artificial Intelligence , vol.14 , Issue.1 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 7
    • 0026867827 scopus 로고
    • What does a conditional knowledge base entail?
    • D. LEHMANN and M. MAGIDOR, What does a conditional knowledge base entail?, Artificial Intelligence, vol. 55 (1992), pp. 1-60.
    • (1992) Artificial Intelligence , vol.55 , pp. 1-60
    • Lehmann, D.1    Magidor, M.2
  • 8
    • 0030677744 scopus 로고    scopus 로고
    • Abductive consequence relations
    • J. LOBO and C. UZCÁTEGUI, Abductive consequence relations, Artificial Intelligence, vol. 89 (1997), pp. 149-171.
    • (1997) Artificial Intelligence , vol.89 , pp. 149-171
    • Lobo, J.1    Uzcátegui, C.2
  • 9
    • 0003093745 scopus 로고
    • General patterns in nonmonotonic reasoning
    • (C. Hogger, D. Gabbay, and J. Robinson, editors), Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press
    • D. MAKINSON, General patterns in nonmonotonic reasoning, Handbook of Logic in Artificial Intelligence and Logic Programming (C. Hogger, D. Gabbay, and J. Robinson, editors), vol. III, Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, 1994.
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.3
    • Makinson, D.1
  • 10
    • 0032621875 scopus 로고    scopus 로고
    • Jumping to explanations vs. jumping to conclusions
    • R. PINO PÉREZ and C. UZCÁTEGUI, Jumping to explanations vs. jumping to conclusions, Artificial Intelligence, vol. 111 (1999), no. 2, pp. 131-169.
    • (1999) Artificial Intelligence , vol.111 , Issue.2 , pp. 131-169
    • Pino Pérez, R.1    Uzcátegui, C.2
  • 11
    • 0002331391 scopus 로고
    • A probabilistic interpretation for lazy nonmonotonic reasoning
    • (Boston), August
    • KEN SATOH, A probabilistic interpretation for lazy nonmonotonic reasoning, Proceedings of AAAI-90 (Boston), August 1990, pp. 659-664.
    • (1990) Proceedings of AAAI-90 , pp. 659-664
    • Satoh, K.E.N.1


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