메뉴 건너뛰기




Volumn 172, Issue 1, 2008, Pages 109-115

On the issue of contraposition of defeasible rules

Author keywords

constitutive reasoning; contraposition; epistemical reasoning

Indexed keywords

APPLICATIONS DOMAINS; CONSTITUTIVE REASONING; CONTRAPOSITION; DEFEASIBLE REASONING; DEFEASIBLE RULES; DESIGN CONSIDERATIONS; DIFFERENT DOMAINS; EPISTEMICAL REASONING; FORMAL ARGUMENTATION; SIMPLE++;

EID: 76349104796     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (17)

References (25)
  • 1
    • 25144470160 scopus 로고    scopus 로고
    • Scc-recursiveness: A general schema for argumentation semantics
    • P. Baroni, M. Giacomin, and G. Guida. Scc-recursiveness: a general schema for argumentation semantics. Artificial Intelligence, 168(1-2):165-210, 2005.
    • (2005) Artificial Intelligence , vol.168 , Issue.1-2 , pp. 165-210
    • Baroni, P.1    Giacomin, M.2    Guida, G.3
  • 2
    • 38049148691 scopus 로고    scopus 로고
    • Comparing argumentation semantics with respect to skepticism
    • Pietro Baroni and Massimiliano Giacomin. Comparing argumentation semantics with respect to skepticism. In Proc. ECSQARU 2007, pages 210-221, 2007.
    • (2007) Proc. ECSQARU 2007 , pp. 210-221
    • Baroni, P.1    Giacomin, M.2
  • 3
    • 34548038125 scopus 로고    scopus 로고
    • On principle-based evaluation of extension-based argumentation semantics
    • Pietro Baroni and Massimiliano Giacomin. On principle-based evaluation of extension-based argumentation semantics. Artificial Intelligence, 171(10-15):675-700, 2007.
    • (2007) Artificial Intelligence , vol.171 , Issue.10-15 , pp. 675-700
    • Baroni, P.1    Giacomin, M.2
  • 4
    • 0041340842 scopus 로고    scopus 로고
    • Persuasion in practical argument using value-based argumentation frameworks
    • T. J. M. Bench-Capon. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation, 13(3):429-448, 2003.
    • (2003) Journal of Logic and Computation , vol.13 , Issue.3 , pp. 429-448
    • Bench-Capon, T.J.M.1
  • 5
    • 0035338876 scopus 로고    scopus 로고
    • A logic-based theory of deductive arguments
    • Ph. Besnard and A. Hunter. A logic-based theory of deductive arguments. Artificial Intelligence, 128 (1-2):203-235, 2001.
    • (2001) Artificial Intelligence , vol.128 , Issue.1-2 , pp. 203-235
    • Besnard, Ph.1    Hunter, A.2
  • 6
    • 34147136754 scopus 로고    scopus 로고
    • On the evaluation of argumentation formalisms
    • Martin Caminada and Leila Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171(5-6):286-310, 2007.
    • (2007) Artificial Intelligence , vol.171 , Issue.5-6 , pp. 286-310
    • Caminada, M.1    Amgoud, L.2
  • 7
    • 33750054273 scopus 로고    scopus 로고
    • For the sake of the argument
    • Doctoral dissertation Free University Amsterdam
    • M.W.A. Caminada. For the sake of the Argument. Explorations into argument-based reasoning. Doctoral dissertation Free University Amsterdam, 2004.
    • (2004) Explorations into Argument-based Reasoning
    • Caminada, M.W.A.1
  • 8
    • 84940516232 scopus 로고    scopus 로고
    • P.E. Dunne and TJ.M. Bench-Capon, editors Computational Models of Argument Proceedings of COMMA IOS Press
    • M.W.A. Caminada. Semi-stable semantics. In P.E. Dunne and TJ.M. Bench-Capon, editors, Computational Models of Argument; Proceedings of COMMA 2006, pages 121-130. IOS Press, 2006.
    • (2006) Semi-stable Semantics , pp. 121-130
    • Caminada, M.W.A.1
  • 9
    • 0029368659 scopus 로고
    • On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
    • P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
    • (1995) Artificial Intelligence , vol.77 , pp. 321-357
    • Dung, P.M.1
  • 10
    • 0012792762 scopus 로고
    • Ai and nonmonotonic reasoning
    • D. Gabbay, C. J. Hogger, and J. A. Robinson, editors Clarendon Press, Oxford
    • M.L. Ginsberg. Ai and nonmonotonic reasoning. In D. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 1-33. Clarendon Press, Oxford, 1994.
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming , pp. 1-33
    • Ginsberg, M.L.1
  • 13
    • 0030233112 scopus 로고    scopus 로고
    • A theory of legal reasoning and a logic to match
    • J.C. Hage. A theory of legal reasoning and a logic to match. Artificial Intelligence and Law, 4:199-273, 1996.
    • (1996) Artificial Intelligence and Law , vol.4 , pp. 199-273
    • Hage, J.C.1
  • 15
    • 38049138858 scopus 로고    scopus 로고
    • An abstract theory of argumentation that accommodates defeasible reasoning about preferences
    • Sanjay Modgil. An abstract theory of argumentation that accommodates defeasible reasoning about preferences. In Proc. ECSQARU 2007, pages 648-659, 2007.
    • (2007) Proc. ECSQARU 2007 , pp. 648-659
    • Modgil, S.1
  • 17
    • 84875965907 scopus 로고
    • Epsilon-semantics
    • S C. Shapiro, editor Wiley
    • J. Pearl. Epsilon-semantics. In S.C. Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 468-475. Wiley, 1992.
    • (1992) Encyclopedia of Artificial Intelligence , pp. 468-475
    • Pearl, J.1
  • 19
    • 0030234961 scopus 로고    scopus 로고
    • A dialectical model of assessing conflicting arguments in legal reasoning
    • H. Prakken and G. Sartor. A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law, pages 331-368, 1996.
    • (1996) Artificial Intelligence and Law , pp. 331-368
    • Prakken, H.1    Sartor, G.2
  • 20
    • 0343036648 scopus 로고    scopus 로고
    • Argument-based extended logic programming with defeasible priorities
    • H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7:25-75, 1997.
    • (1997) Journal of Applied Non-Classical Logics , vol.7 , pp. 25-75
    • Prakken, H.1    Sartor, G.2
  • 21
    • 0004048289 scopus 로고    scopus 로고
    • Oxford University Press, Oxford revised edition
    • J. Rawls. A Theory of Justice. Oxford University Press, Oxford, 2000. revised edition.
    • (2000) A Theory of Justice
    • Rawls, J.1
  • 22
    • 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
  • 24
    • 0001547494 scopus 로고
    • A taxonomy of illocutionary acts
    • Cambridge University Press
    • J.R. Searle. A taxonomy of illocutionary acts. In Expression and Meaning, pages 1-29. Cambridge University Press, 1979.
    • (1979) Expression and Meaning , pp. 1-29
    • Searle, J.R.1


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