메뉴 건너뛰기




Volumn , Issue , 2001, Pages 119-128

Modelling reasoning about evidence in legal procedure

Author keywords

[No Author keywords available]

Indexed keywords

ARGUMENTATIVE DIALOGUES; CURRENT MODELS; DIALOGUE GAME;

EID: 77950575298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/383535.383550     Document Type: Conference Paper
Times cited : (43)

References (19)
  • 1
    • 0008914009 scopus 로고    scopus 로고
    • Specification and implementation of Toulmin dialogue game
    • Nijmegen, Gerard Noodt Instituut
    • T. Bench-Capon. Specification and implementation of Toulmin dialogue game. In Legal Knowledge-Based Systems. JURIX: The Eleventh Conference, pages 5-19, Nijmegen, 1998. Gerard Noodt Instituut.
    • (1998) Legal Knowledge-Based Systems. JURIX: The Eleventh Conference , pp. 5-19
    • Bench-Capon, T.1
  • 2
    • 0035303395 scopus 로고    scopus 로고
    • Dynamic argument systems: A formal model of argumentation processes based on situation calculus
    • To appear
    • G. Brewka. Dynamic argument systems: a formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 2001. To appear.
    • (2001) Journal of Logic and Computation
    • Brewka, G.1
  • 3
    • 0003168575 scopus 로고
    • The Pleadings Game: An exercise in computational dialectics
    • T. Gordon. The Pleadings Game: an exercise in computational dialectics. Artificial Intelligence and Law, 2:239-292, 1994.
    • (1994) Artificial Intelligence and Law , vol.2 , pp. 239-292
    • Gordon, T.1
  • 9
    • 0031999134 scopus 로고    scopus 로고
    • Process and policy: Resource-bounded non-demonstrative reasoning
    • R. Loui. Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence, 14:1-38, 1998.
    • (1998) Computational Intelligence , vol.14 , pp. 1-38
    • Loui, R.1
  • 11
    • 0343298639 scopus 로고
    • Question-begging in non-cumulative systems
    • J. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117-133, 1979.
    • (1979) Journal of Philosophical Logic , vol.8 , pp. 117-133
    • MacKenzie, J.1
  • 13
    • 84943191446 scopus 로고    scopus 로고
    • On dialogue systems with speech acts, arguments, and counterarguments
    • number 1919 in Springer Lecture Notes in AI, Berlin, Springer Verlag
    • H. Prakken. On dialogue systems with speech acts, arguments, and counterarguments. In Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA'2000), number 1919 in Springer Lecture Notes in AI, pages 224-238, Berlin, 2000. Springer Verlag.
    • (2000) Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA'2000) , pp. 224-238
    • Prakken, H.1
  • 14
    • 0035518459 scopus 로고    scopus 로고
    • Modelling defeasibility in law: Logic or procedure?
    • To appear
    • H. Prakken. Modelling defeasibility in law: logic or procedure? Fundamenta Informaticae, 2001. To appear.
    • (2001) Fundamenta Informaticae
    • Prakken, H.1
  • 15
    • 84937332719 scopus 로고    scopus 로고
    • Relating protocols for dynamic dispute with logics for defeasible argumentation
    • H. Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187-219, 2001.
    • (2001) Synthese , vol.127 , pp. 187-219
    • Prakken, H.1
  • 17
    • 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, 4:331-368, 1996.
    • (1996) Artificial Intelligence and Law , vol.4 , pp. 331-368
    • Prakken, H.1    Sartor, G.2
  • 18
    • 0010278821 scopus 로고
    • The computational value of debate in defeasible reasoning
    • G. Vreeswijk. The computational value of debate in defeasible reasoning. Argumentation, 9:305-341, 1995.
    • (1995) Argumentation , vol.9 , pp. 305-341
    • Vreeswijk, G.1


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