-
1
-
-
0008914009
-
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
-
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
-
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
-
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
-
10
-
-
0030713232
-
Progress on Room 5: A testbed for public interactive semi-formal legal argumentation
-
New York, ACM Press
-
R. Loui, J. Norman, J. Alpeter, D. Pinkard, D. Craven, J. Linsday, and M. Foltz. Progress on Room 5: A testbed for public interactive semi-formal legal argumentation. In Proceedings of the Sixth International Conference on Artificial Intelligence and Law, pages 207-214, New York, 1997. ACM Press.
-
(1997)
Proceedings of the Sixth International Conference on Artificial Intelligence and Law
, pp. 207-214
-
-
Loui, R.1
Norman, J.2
Alpeter, J.3
Pinkard, D.4
Craven, D.5
Linsday, J.6
Foltz, M.7
-
11
-
-
0343298639
-
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
-
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
-
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
-
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
-
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
-
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
|