-
2
-
-
49149147322
-
A logic for default reasoning
-
Reiter R. A logic for default reasoning. Artif Intell 1980;13:81-132.
-
(1980)
Artif Intell
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
4
-
-
0002726244
-
On closed world data bases
-
Gallaire H, Minker J, editors, New York: Plenum Press;
-
Reiter R. On closed world data bases. In: Gallaire H, Minker J, editors. Logic and databases. New York: Plenum Press; 1978. pp 55-76.
-
(1978)
Logic and databases
, pp. 55-76
-
-
Reiter, R.1
-
5
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
Meltzer B, Michie D, editors, Edinburgh: Edinburgh University Press;
-
McCarthy J, Hayes P. Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D, editors. Machine intelligence, vol 4, Edinburgh: Edinburgh University Press; 1969. pp 463-502.
-
(1969)
Machine intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.2
-
6
-
-
0000826543
-
Negation as failure
-
Gallaire H, Minker J, editors, New York: Plenum Press;
-
Clark K. Negation as failure. In: Gallaire H, Minker J, editors. Logic and databases. New York: Plenum Press; 1978. pp 293-322.
-
(1978)
Logic and databases
, pp. 293-322
-
-
Clark, K.1
-
7
-
-
0022661717
-
Applications of circumscription to formalizing commonsense knowledge
-
McCarthy J. Applications of circumscription to formalizing commonsense knowledge. Artif Intell 1986;28:89-118.
-
(1986)
Artif Intell
, vol.28
, pp. 89-118
-
-
McCarthy, J.1
-
8
-
-
0042549129
-
Pointwise circumscription
-
Ginsberg M, editor, San Francisco, CA: Morgan Kaufmann;
-
Lifschitz V. Pointwise circumscription. In: Ginsberg M, editor. Readings in nonmonotonic reasoning. San Francisco, CA: Morgan Kaufmann; 1987. pp 179-193.
-
(1987)
Readings in nonmonotonic reasoning
, pp. 179-193
-
-
Lifschitz, V.1
-
12
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
Dung PM. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 1995;77:321-357.
-
(1995)
Artif Intell
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
13
-
-
0000210652
-
Defeasible reasoning
-
Pollock JL. Defeasible reasoning. Cogn Sci 1987;11:481-518.
-
(1987)
Cogn Sci
, vol.11
, pp. 481-518
-
-
Pollock, J.L.1
-
14
-
-
0025792389
-
A theory of defeasible reasoning
-
Pollock JL. A theory of defeasible reasoning. Int J Intell Syst 1991;6:33-54.
-
(1991)
Int J Intell Syst
, vol.6
, pp. 33-54
-
-
Pollock, J.L.1
-
15
-
-
0028446180
-
Justification and defeat
-
Pollock JL. Justification and defeat. Artif Intell 1994;67:377-407.
-
(1994)
Artif Intell
, vol.67
, pp. 377-407
-
-
Pollock, J.L.1
-
16
-
-
0031074495
-
Abstract argumentation systems
-
Vreeswijk GAW. Abstract argumentation systems. Artif Intell 1997;90:225-279.
-
(1997)
Artif Intell
, vol.90
, pp. 225-279
-
-
Vreeswijk, G.A.W.1
-
18
-
-
0031164288
-
An abstract argumentation theoretic framework for default reasoning
-
Bondarenko A, Dung PM, Kowalski RA, Toni F. An abstract argumentation theoretic framework for default reasoning. Artif Intell 1997;93:63-101.
-
(1997)
Artif Intell
, vol.93
, pp. 63-101
-
-
Bondarenko, A.1
Dung, P.M.2
Kowalski, R.A.3
Toni, F.4
-
20
-
-
0011112281
-
Logics for defeasible argumentation
-
Gabbay D, Guenthner F, editors, 2nd ed. Dordrecht: Kluwer;
-
Prakken H, Vreeswijk G. Logics for defeasible argumentation. In: Gabbay D, Guenthner F, editors. Handbook of philosophical logic, vol 4, 2nd ed. Dordrecht: Kluwer; 2002. pp 218-319.
-
(2002)
Handbook of philosophical logic
, vol.4
, pp. 218-319
-
-
Prakken, H.1
Vreeswijk, G.2
-
22
-
-
0036108826
-
A model of reasoning based on the production of acceptable arguments
-
Amgoud L, Cayrol C. A model of reasoning based on the production of acceptable arguments. Ann Math Artif Intell 2002;34:197-216.
-
(2002)
Ann Math Artif Intell
, vol.34
, pp. 197-216
-
-
Amgoud, L.1
Cayrol, C.2
-
23
-
-
26844512585
-
-
Kakas A, Maudet N, Moraitis P. Layered strategies and protocols for argumentation-based agent interaction. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 64-77.
-
Kakas A, Maudet N, Moraitis P. Layered strategies and protocols for argumentation-based agent interaction. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 64-77.
-
-
-
-
24
-
-
0000837367
-
Persuasive argumentation in negotiation
-
Sycara K. Persuasive argumentation in negotiation. Theor Decis 1990;28:203-242.
-
(1990)
Theor Decis
, vol.28
, pp. 203-242
-
-
Sycara, K.1
-
26
-
-
26844478776
-
-
Bentahar J, Moulin B, Chaib-draa B. Specifying and implementing a persuasion dialogue game using commitments and arguments. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 130-148.
-
Bentahar J, Moulin B, Chaib-draa B. Specifying and implementing a persuasion dialogue game using commitments and arguments. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 130-148.
-
-
-
-
31
-
-
26844455359
-
-
Rahwan I, Sonenberg L, McBurney P. Bargaining and argument-based negotiation: Some preliminary comparisons. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 176-191.
-
Rahwan I, Sonenberg L, McBurney P. Bargaining and argument-based negotiation: Some preliminary comparisons. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 176-191.
-
-
-
-
32
-
-
26844509706
-
-
Karuntillake NC, Jennings NR. Is it worth arguing? In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 234-250.
-
Karuntillake NC, Jennings NR. Is it worth arguing? In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 234-250.
-
-
-
-
34
-
-
1842698703
-
-
Toronto: University of Toronto Press;
-
Walton DN. The new dialectic. Toronto: University of Toronto Press; 1998.
-
(1998)
The new dialectic
-
-
Walton, D.N.1
-
35
-
-
84884991034
-
-
Dignum F, Greaves M, editors. Issues in agent communication. Berlin: Springer-Verlag;
-
Dignum FPM, Dunin-Keplicz B, Verbrugge R. Dialogue in team formation. In: Dignum F, Greaves M, editors. Issues in agent communication. Berlin: Springer-Verlag; 2001. pp 264-280.
-
(2001)
Dialogue in team formation
, pp. 264-280
-
-
Dignum, F.P.M.1
Dunin-Keplicz, B.2
Verbrugge, R.3
-
36
-
-
26844469431
-
-
Atkinson K, Bench-Capon T, McBurney P. A dialogue game protocol for multi-agent argument over proposals for action. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 149-161.
-
Atkinson K, Bench-Capon T, McBurney P. A dialogue game protocol for multi-agent argument over proposals for action. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 149-161.
-
-
-
-
38
-
-
85053153541
-
Dialogue frames in agent communication
-
Piscataway, NJ: IEEE Press;
-
Reed CA. Dialogue frames in agent communication. In: Proc 3rd Int Conf on Multi-Agent Systems (ICMAS98). Piscataway, NJ: IEEE Press; 1998. pp 246-253.
-
(1998)
Proc 3rd Int Conf on Multi-Agent Systems (ICMAS98)
, pp. 246-253
-
-
Reed, C.A.1
-
39
-
-
0036361553
-
Desiderata for agent argumentation protocols. In: Castelfranchi C
-
Johnson WL, editors, New York: ACM Press;
-
McBurney P, Parsons S, Wooldridge M. Desiderata for agent argumentation protocols. In: Castelfranchi C, Johnson WL, editors. In: Proc First Int Joint Conf on Autonomous Agents and Multi-Agent Systems (AAMAS'02). New York: ACM Press; 2002. pp 402-409.
-
(2002)
Proc First Int Joint Conf on Autonomous Agents and Multi-Agent Systems (AAMAS'02)
, pp. 402-409
-
-
McBurney, P.1
Parsons, S.2
Wooldridge, M.3
-
40
-
-
33645873464
-
Argument and multi-agent systems
-
Reed C, Norman TJ, editors, Norwell, MA: Kluwer;
-
Norman T, Carbogim D, Krabbe ECW, Walton D. Argument and multi-agent systems. In: Reed C, Norman TJ, editors. Argumentation machines. Norwell, MA: Kluwer; 2003. pp 15-54.
-
(2003)
Argumentation machines
, pp. 15-54
-
-
Norman, T.1
Carbogim, D.2
Krabbe, E.C.W.3
Walton, D.4
-
41
-
-
33645691956
-
Dialogue games in multi-agent systems
-
McBurney P, Parsons S. Dialogue games in multi-agent systems. Informal Logic 2002;22:257-274.
-
(2002)
Informal Logic
, vol.22
, pp. 257-274
-
-
McBurney, P.1
Parsons, S.2
-
42
-
-
85029708112
-
Verifiable semantics for agent communication languages. In: Demazeau Y, editor
-
Piscataway, NJ: IEEE Press;
-
Wooldridge M. Verifiable semantics for agent communication languages. In: Demazeau Y, editor. In: Proc Third Int Conf on Multi-Agent Systems (ICMAS 98). Piscataway, NJ: IEEE Press; 1998. pp 349-356.
-
(1998)
Proc Third Int Conf on Multi-Agent Systems (ICMAS 98)
, pp. 349-356
-
-
Wooldridge, M.1
-
44
-
-
0037570191
-
Formal systems of dialogue rules
-
Krabbe ECW. Formal systems of dialogue rules. Synthese 1985;63:295-328.
-
(1985)
Synthese
, vol.63
, pp. 295-328
-
-
Krabbe, E.C.W.1
-
45
-
-
0042113798
-
Four dialogue systems
-
Mackenzie JD. Four dialogue systems. Studia Logica 1990;49:567-583.
-
(1990)
Studia Logica
, vol.49
, pp. 567-583
-
-
Mackenzie, J.D.1
-
46
-
-
0003197674
-
A social semantics for agent communication languages
-
Berlin: Springer Verlag;
-
Singh MP. A social semantics for agent communication languages. In: Proc IJCAI'99 Workshop on Agent Communication Languages. Berlin: Springer Verlag; 2000. pp 31-45.
-
(2000)
Proc IJCAI'99 Workshop on Agent Communication Languages
, pp. 31-45
-
-
Singh, M.P.1
-
48
-
-
0041784059
-
Verifying compliance with commitment protocols: Enabling open web-based multi-agent systems
-
Venkatraman M, Singh MP. Verifying compliance with commitment protocols: Enabling open web-based multi-agent systems. J Auton Agents Multi Agent Syst 1999;2:217-236.
-
(1999)
J Auton Agents Multi Agent Syst
, vol.2
, pp. 217-236
-
-
Venkatraman, M.1
Singh, M.P.2
-
49
-
-
26844582545
-
-
Bentahar J, Moulin B, Meyer JJCh, Chaib-draa B. A modal semantics for an argumentation-based pragmatics for agent communication. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 44-63.
-
Bentahar J, Moulin B, Meyer JJCh, Chaib-draa B. A modal semantics for an argumentation-based pragmatics for agent communication. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 44-63.
-
-
-
-
50
-
-
0345814989
-
Commitment-based and dialogue-game based protocols - New trends in agent communication language
-
Maudet N, Chaib-draa B. Commitment-based and dialogue-game based protocols - New trends in agent communication language. Knowl Eng 2002;17:157-179.
-
(2002)
Knowl Eng
, vol.17
, pp. 157-179
-
-
Maudet, N.1
Chaib-draa, B.2
-
51
-
-
0041340846
-
Properties and complexity of some formal inter-agent dialogues
-
Parsons S, Wooldridge M, Amgoud L. Properties and complexity of some formal inter-agent dialogues. J Logic Comput 2003;13:347-376.
-
(2003)
J Logic Comput
, vol.13
, pp. 347-376
-
-
Parsons, S.1
Wooldridge, M.2
Amgoud, L.3
-
52
-
-
26844438121
-
-
Wells S, Reed C. Formal dialectic specification. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 31-43.
-
Wells S, Reed C. Formal dialectic specification. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 31-43.
-
-
-
-
53
-
-
26844474722
-
-
Capobianco M, Chesñevar CI, Simari GR. An argument-based framework to model an agent's beliefs in a dynamic environment. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 95-110.
-
Capobianco M, Chesñevar CI, Simari GR. An argument-based framework to model an agent's beliefs in a dynamic environment. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 95-110.
-
-
-
-
54
-
-
84867792989
-
-
Malheiro W, Oliveira E. A reasoning model based on the production of acceptable arguments. In: Progress in Artificial Intelligence Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving (EPIA 2001). Berlin: Springer; 2001. pp 205-218.
-
Malheiro W, Oliveira E. A reasoning model based on the production of acceptable arguments. In: Progress in Artificial Intelligence Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving (EPIA 2001). Berlin: Springer; 2001. pp 205-218.
-
-
-
-
55
-
-
26844579756
-
-
Paglieri F, Castelfranchi C, Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS. In: Rahwan I, Moraitis P, Reed C, editors, Argumentation in multi-agent systems (ArgMAS 2004), Berlin: Springer; 2005. pp 78-94.
-
Paglieri F, Castelfranchi C, Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS. In: Rahwan I, Moraitis P, Reed C, editors, Argumentation in multi-agent systems (ArgMAS 2004), Berlin: Springer; 2005. pp 78-94.
-
-
-
-
56
-
-
26844542042
-
-
Vreeswijk GAW. Argumentation in Bayesian belief networks. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 111-129.
-
Vreeswijk GAW. Argumentation in Bayesian belief networks. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 111-129.
-
-
-
-
59
-
-
26844485159
-
-
Saha S. Sen S. A Bayes net approach to argumentation based negotiation. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 208-222.
-
Saha S. Sen S. A Bayes net approach to argumentation based negotiation. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 208-222.
-
-
-
-
60
-
-
84990576500
-
Defeat among arguments
-
Loui R. Defeat among arguments. Comput Intell 1987;3:100-106.
-
(1987)
Comput Intell
, vol.3
, pp. 100-106
-
-
Loui, R.1
-
61
-
-
33846277459
-
Burden of proof in a computational model of argumentation
-
editors, Sicsat, Amsterdam;
-
Farley AM, Freeman K. Burden of proof in a computational model of argumentation. In: Eemeren FH, Van Grootendorst R, Blair JA, Willard CA, editors. In: Proc Third ISSA Conf on Argumentation, vol III, Sicsat, Amsterdam; 1995. pp 410-422.
-
(1995)
Proc Third ISSA Conf on Argumentation
, vol.3
, pp. 410-422
-
-
Farley, A.M.1
Freeman, K.2
-
62
-
-
0042843617
-
On the logical interpretation of prima facie justified assumptions
-
Verheij B. DefLog; On the logical interpretation of prima facie justified assumptions. J Logic Comput 2003;13:319-346.
-
(2003)
J Logic Comput
, vol.13
, pp. 319-346
-
-
DefLog, V.B.1
-
64
-
-
33846266080
-
-
Walton DN. Legal argumentation and evidence. University Park. PA: Pennsylvania State University Press; 2002.
-
Walton DN. Legal argumentation and evidence. University Park. PA: Pennsylvania State University Press; 2002.
-
-
-
-
65
-
-
26844529352
-
Computational models, argumentation theories and legal practice
-
Reed C, Norman TJ. editors, Norwell, MA: Kluwer;
-
Bench-Capon T, Freeman JB, Hohmann H, Prakken H. Computational models, argumentation theories and legal practice. In: Reed C, Norman TJ. editors. Argumentation machines. Norwell, MA: Kluwer; 2003. pp 85-120.
-
(2003)
Argumentation machines
, pp. 85-120
-
-
Bench-Capon, T.1
Freeman, J.B.2
Hohmann, H.3
Prakken, H.4
-
66
-
-
0034205662
-
Argument-based applications to knowledge engineering
-
Carbogim DV, Robertson D, Lee J. Argument-based applications to knowledge engineering. Knowl Eng Rev 2000;15:119-149.
-
(2000)
Knowl Eng Rev
, vol.15
, pp. 119-149
-
-
Carbogim, D.V.1
Robertson, D.2
Lee, J.3
-
67
-
-
0020295954
-
Argument molecules: A functional representation of argument structure
-
Pittsburgh, PA;
-
Birnbaum L. Argument molecules: A functional representation of argument structure. In: Proc Second Nat Conf on AI (AAAI'82), Pittsburgh, PA; 1982. pp 63-65.
-
(1982)
Proc Second Nat Conf on AI (AAAI'82)
, pp. 63-65
-
-
Birnbaum, L.1
-
69
-
-
0004842497
-
Argumentation, self-inconsistency and multi-dimensional argument strength
-
Sillince JAA, Minors RH. Argumentation, self-inconsistency and multi-dimensional argument strength. Commun Cogn 1992;25:325-338.
-
(1992)
Commun Cogn
, vol.25
, pp. 325-338
-
-
Sillince, J.A.A.1
Minors, R.H.2
-
71
-
-
33846321456
-
Argument representation for dependable computer-based systems
-
Gurr C. Argument representation for dependable computer-based systems. Informal Logic 2002;22:293-321.
-
(2002)
Informal Logic
, vol.22
, pp. 293-321
-
-
Gurr, C.1
-
72
-
-
52549118658
-
Two concepts of argument
-
O'Keefe DJ. Two concepts of argument. J Am Forensic Assoc 1977;13:121-128.
-
(1977)
J Am Forensic Assoc
, vol.13
, pp. 121-128
-
-
O'Keefe, D.J.1
-
73
-
-
1242292834
-
The dialectics of logic
-
Mackenzie JD. The dialectics of logic. Logique Analyse 1981;24:159-177.
-
(1981)
Logique Analyse
, vol.24
, pp. 159-177
-
-
Mackenzie, J.D.1
-
74
-
-
26844511384
-
Arresting circles in formal dialogues
-
Woods J, Walton DN. Arresting circles in formal dialogues. J Philos Logic 1978;7:73-90.
-
(1978)
J Philos Logic
, vol.7
, pp. 73-90
-
-
Woods, J.1
Walton, D.N.2
-
75
-
-
0035303395
-
Dynamic argument systems: A formal model of argumentation processes based on situation calculus
-
Brewka G. Dynamic argument systems: A formal model of argumentation processes based on situation calculus. J Logic Comput 2001;11:257-282.
-
(2001)
J Logic Comput
, vol.11
, pp. 257-282
-
-
Brewka, G.1
-
76
-
-
33846268653
-
-
Gordon TF. Pleadings game: An artificial intelligence model of procedural justice. Boston, MA: Kluwer Academic Publishers; 1995.
-
Gordon TF. Pleadings game: An artificial intelligence model of procedural justice. Boston, MA: Kluwer Academic Publishers; 1995.
-
-
-
-
77
-
-
0004096846
-
-
Cambridge: Cambridge University Press;
-
Toulmin SE. The uses of argument. Cambridge: Cambridge University Press; 1958.
-
(1958)
The uses of argument
-
-
Toulmin, S.E.1
-
78
-
-
84937332719
-
Relating protocols for dynamic dispute with logics for defeasible argumentation
-
Prakken H. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 2001;127:187-219.
-
(2001)
Synthese
, vol.127
, pp. 187-219
-
-
Prakken, H.1
-
80
-
-
0024943961
-
An expert system shell for negotiation support
-
Matwin S, Szpakowicz S, Koperczak Z, Kersten GE, Michalowski W. Negoplan; An expert system shell for negotiation support. IEEE Expert 1989;4:50-62.
-
(1989)
IEEE Expert
, vol.4
, pp. 50-62
-
-
Matwin, S.1
Szpakowicz, S.2
Koperczak, Z.3
Kersten, G.E.4
Michalowski, W.5
Negoplan6
-
81
-
-
18744378243
-
Decision support for practical reasoning
-
Reed C, Norman TJ, editors, Norwell, MA: Kluwer;
-
Girle R, Hitchcock D, McBurney P, Verheij B. Decision support for practical reasoning. In: Reed C, Norman TJ, editors. Argumentation machines. Norwell, MA: Kluwer; 2003, pp 55-84.
-
(2003)
Argumentation machines
, pp. 55-84
-
-
Girle, R.1
Hitchcock, D.2
McBurney, P.3
Verheij, B.4
-
83
-
-
84948953546
-
Discourse support systems for deliberative democracy
-
Traunmüller R, Lenk K, editors, Berlin: Springer Verlag;
-
Gordon TF, Richter G. Discourse support systems for deliberative democracy. In: Traunmüller R, Lenk K, editors. eGovernment: State of the art and perspectives (EGOV). Berlin: Springer Verlag; 2002. pp 248-255.
-
(2002)
eGovernment: State of the art and perspectives (EGOV)
, pp. 248-255
-
-
Gordon, T.F.1
Richter, G.2
-
84
-
-
35048827866
-
-
Atkinson K, Bench-Capon T, McBurney P. PARMENIDES: Facilitating democratic debate. In: Traunmüller R, editor. Electronic Government (EGOV 2004), Zaragoza, Spain; 2004. pp 313-316.
-
Atkinson K, Bench-Capon T, McBurney P. PARMENIDES: Facilitating democratic debate. In: Traunmüller R, editor. Electronic Government (EGOV 2004), Zaragoza, Spain; 2004. pp 313-316.
-
-
-
-
85
-
-
0142237346
-
A simple model to structure the information of parties in online ADR
-
St. Louis, MO;
-
Lodder AR. A simple model to structure the information of parties in online ADR. In: Proc Seventh Int Conf on AI and Law, St. Louis, MO; 2001. pp 233-234.
-
(2001)
Proc Seventh Int Conf on AI and Law
, pp. 233-234
-
-
Lodder, A.R.1
-
86
-
-
0024089371
-
-
Conklin J, Bergman ML. gIBIS: A hypertext tool for exploratory policy discussion. ACM Trans Office Inform Syst 1988;6:303-331.
-
Conklin J, Bergman ML. gIBIS: A hypertext tool for exploratory policy discussion. ACM Trans Office Inform Syst 1988;6:303-331.
-
-
-
-
87
-
-
9944238860
-
Dilemmas in a general theory of planning
-
Rittel HWJ, Webber MM. Dilemmas in a general theory of planning. Pol Sci 1973;4:155-169.
-
(1973)
Pol Sci
, vol.4
, pp. 155-169
-
-
Rittel, H.W.J.1
Webber, M.M.2
-
88
-
-
33846276049
-
Using argumentation analysis to examine history and status of a major debate in artificial intelligence and philosophy
-
Amsterdam;
-
Horn RE. Using argumentation analysis to examine history and status of a major debate in artificial intelligence and philosophy. In: Proc Fourth Conf of the International Society for the Study of Argument (ISSA'98) SicSat, Amsterdam; 1998, pp 375-381.
-
(1998)
Proc Fourth Conf of the International Society for the Study of Argument (ISSA'98) SicSat
, pp. 375-381
-
-
Horn, R.E.1
-
89
-
-
0035272782
-
Learning to think and communicate with diagrams: 14 questions to consider
-
Brna P, Cox R, Good J. Learning to think and communicate with diagrams: 14 questions to consider. Artif Intell Rev 2001;15:115-134.
-
(2001)
Artif Intell Rev
, vol.15
, pp. 115-134
-
-
Brna, P.1
Cox, R.2
Good, J.3
-
91
-
-
2942676347
-
How to improve critical thinking using educational technology
-
Kennedy G, Keppell M, McNaught C, Petrovic T, editors, Melbourne;
-
Van Gelder TJ. How to improve critical thinking using educational technology. In: Kennedy G, Keppell M, McNaught C, Petrovic T, editors. Proc 18th Conf of the Australasian Society for Computers in Learning in Tertiary Education, Melbourne; 2001. pp 539-548.
-
(2001)
Proc 18th Conf of the Australasian Society for Computers in Learning in Tertiary Education
, pp. 539-548
-
-
Van Gelder, T.J.1
-
92
-
-
24144488374
-
Araucaria: Software for argument analysis, diagramming and representation
-
Reed C, Rowe GWA. Araucaria: Software for argument analysis, diagramming and representation. Int J AI Tools 2004;14:961-980.
-
(2004)
Int J AI Tools
, vol.14
, pp. 961-980
-
-
Reed, C.1
Rowe, G.W.A.2
-
93
-
-
0142166342
-
Artificial argument assistants for defeasible argumentation
-
Verheij B. Artificial argument assistants for defeasible argumentation. Artif Intell 2003;150:291-324.
-
(2003)
Artif Intell
, vol.150
, pp. 291-324
-
-
Verheij, B.1
-
94
-
-
84861145516
-
ClaiMaker: Weaving a semantic web of research papers
-
Sardinia;
-
Li G, Uren V, Motta E, Buckingham Shum S, Domingue J. ClaiMaker: Weaving a semantic web of research papers. In: Proc First Int Semantic Web Conf, Sardinia; 2002. pp 436-441.
-
(2002)
Proc First Int Semantic Web Conf
, pp. 436-441
-
-
Li, G.1
Uren, V.2
Motta, E.3
Buckingham Shum, S.4
Domingue, J.5
-
95
-
-
33846296638
-
Modeling naturalistic argumentation in research literatures: Representation and interaction design issues
-
Buckingham Shum SJ, Uren V, Li G, Sereno B, Mancini C. Modeling naturalistic argumentation in research literatures: Representation and interaction design issues. Int J Intell Syst 2007;22:17-47.
-
(2007)
Int J Intell Syst
, vol.22
, pp. 17-47
-
-
Buckingham Shum, S.J.1
Uren, V.2
Li, G.3
Sereno, B.4
Mancini, C.5
-
96
-
-
33846267175
-
-
Mann WC. Dialogue macrogame theory. In: Proc SIGdial Workshop, Philadelphia; 2002. pp 129-141. See also www-rcf.esc.edu/~billmann/dialogue.
-
Mann WC. Dialogue macrogame theory. In: Proc SIGdial Workshop, Philadelphia; 2002. pp 129-141. See also www-rcf.esc.edu/~billmann/dialogue.
-
-
-
-
97
-
-
33644659047
-
Profiles of dialogue
-
Gerbrandy J, Marx M, de Rijke M, Venema Y, editors, Amsterdam: Amsterdam University Press;
-
Krabbe ECW. Profiles of dialogue. In: Gerbrandy J, Marx M, de Rijke M, Venema Y, editors. JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday, vol III. Amsterdam: Amsterdam University Press; 1999. pp 25-36.
-
(1999)
JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday
, vol.3
, pp. 25-36
-
-
Krabbe, E.C.W.1
-
98
-
-
0013274198
-
Learning to argue and arguing to learn: An interface for computer-based dialogue games
-
Pilkington RM, Hartley JR, Hintze D, Moore DJ. Learning to argue and arguing to learn: An interface for computer-based dialogue games. J Artif Intell Educ 1992;3:275-295.
-
(1992)
J Artif Intell Educ
, vol.3
, pp. 275-295
-
-
Pilkington, R.M.1
Hartley, J.R.2
Hintze, D.3
Moore, D.J.4
-
99
-
-
33846296141
-
-
Suthers D, Jones D. An architecture for intelligent collaborative educational systems. In: AI-Ed 97, the Eighth World Conf on Artificial Intelligence in Education, Kobe, Japan; 1997. pp 55-62.
-
Suthers D, Jones D. An architecture for intelligent collaborative educational systems. In: AI-Ed 97, the Eighth World Conf on Artificial Intelligence in Education, Kobe, Japan; 1997. pp 55-62.
-
-
-
-
100
-
-
0343298639
-
Question-begging in non-cumulative systems
-
Mackenzie JD. Question-begging in non-cumulative systems. J Philos Logic 1979;8:117-133.
-
(1979)
J Philos Logic
, vol.8
, pp. 117-133
-
-
Mackenzie, J.D.1
-
101
-
-
26844452213
-
Computational uses of philosophical dialogue theories
-
Hobbs DJ, Moore DJ. Computational uses of philosophical dialogue theories. Informal Logic 1996;18:131-163.
-
(1996)
Informal Logic
, vol.18
, pp. 131-163
-
-
Hobbs, D.J.1
Moore, D.J.2
-
102
-
-
33846307806
-
A human-computer debating system prototype and its dialogue strategies
-
Yuan T, Moore D, Grierson A. A human-computer debating system prototype and its dialogue strategies. Int J Intell Syst 2007;22:133-156.
-
(2007)
Int J Intell Syst
, vol.22
, pp. 133-156
-
-
Yuan, T.1
Moore, D.2
Grierson, A.3
-
103
-
-
84949660740
-
Exploiting uncertainty and incomplete knowledge in deceptive argumentation. In: Proc Workshop on Computational Models of Natural Language Argument
-
Proc Int Conf on Computational Science ICCS'2001, Berlin: Springer Verlag;
-
Carofiglio V, de Rosis F. Exploiting uncertainty and incomplete knowledge in deceptive argumentation. In: Proc Workshop on Computational Models of Natural Language Argument. In: Proc Int Conf on Computational Science (ICCS'2001) Part 1, (LNCS vol 2073). Berlin: Springer Verlag; 2001. pp 1019-1028.
-
(2001)
LNCS
, vol.2073
, Issue.PART 1
, pp. 1019-1028
-
-
Carofiglio, V.1
de Rosis, F.2
-
104
-
-
26844478775
-
-
Sklar E, Parsons S, Davies M. When is it okay to lie? A simple model of contradiction in agent-based dialogues. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 251-262.
-
Sklar E, Parsons S, Davies M. When is it okay to lie? A simple model of contradiction in agent-based dialogues. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 251-262.
-
-
-
-
105
-
-
33846284372
-
Computational models of rhetorical argument
-
Reed C, Norman TJ, editors, Norwell, MA: Kluwer;
-
Crosswhite J, Fox J, Reed C, Scaltsas T, Stumpf S. Computational models of rhetorical argument. In: Reed C, Norman TJ, editors. Argumentation machines. Norwell, MA: Kluwer; 2003. pp 175-210.
-
(2003)
Argumentation machines
, pp. 175-210
-
-
Crosswhite, J.1
Fox, J.2
Reed, C.3
Scaltsas, T.4
Stumpf, S.5
-
106
-
-
0028575247
-
An instructional environment for practising argumentation skills
-
Seattle, WA;
-
Aleven V, Ashley KD. An instructional environment for practising argumentation skills. In: Proc 12th National Conf on AI (AAAI'94), Seattle, WA; 1994. pp 485-492.
-
(1994)
Proc 12th National Conf on AI (AAAI'94)
, pp. 485-492
-
-
Aleven, V.1
Ashley, K.D.2
-
109
-
-
33846315116
-
Argumentation within deductive reasoning
-
Fiedler A, Horacek H. Argumentation within deductive reasoning. Int J Intell Syst 2007;22:49-70.
-
(2007)
Int J Intell Syst
, vol.22
, pp. 49-70
-
-
Fiedler, A.1
Horacek, H.2
-
110
-
-
0343594547
-
Exciting avocados and dull pears: Combining behavioural and argumentative theory for producing effective advice
-
Wisconsin;
-
Grasso F. Exciting avocados and dull pears: Combining behavioural and argumentative theory for producing effective advice. In: Proc 20th Annual Meeting of the Cognitive Science Society (COG-SCI'98), Wisconsin; 1998. pp 436-441.
-
(1998)
Proc 20th Annual Meeting of the Cognitive Science Society (COG-SCI'98)
, pp. 436-441
-
-
Grasso, F.1
-
111
-
-
0034498090
-
Dialectical argumentation to solve conflicts in advice giving: A case study in the promotion of healthy nutrition
-
Grasso F, Cawsey A, Jones R. Dialectical argumentation to solve conflicts in advice giving: A case study in the promotion of healthy nutrition. Int J Hum Comput Stud 2000;53:1077-1115.
-
(2000)
Int J Hum Comput Stud
, vol.53
, pp. 1077-1115
-
-
Grasso, F.1
Cawsey, A.2
Jones, R.3
-
113
-
-
0037373007
-
Lessons from a failure: Generating tailored smoking cessation letters
-
Reiter E, Robertson R, Osman L. Lessons from a failure: Generating tailored smoking cessation letters. Artif Intell 2003;144:41-58.
-
(2003)
Artif Intell
, vol.144
, pp. 41-58
-
-
Reiter, E.1
Robertson, R.2
Osman, L.3
-
114
-
-
33846331132
-
-
Kamp H. Enthymemes. TM Series Report TM-4168 SDC. Santa Monica, CA: System Development Corporation; 1969.
-
Kamp H. Enthymemes. TM Series Report TM-4168 SDC. Santa Monica, CA: System Development Corporation; 1969.
-
-
-
-
115
-
-
23944525076
-
Enthymematic arguments
-
Hitchcock D. Enthymematic arguments. Informal Logic 1985;7:83-97.
-
(1985)
Informal Logic
, vol.7
, pp. 83-97
-
-
Hitchcock, D.1
-
117
-
-
84934349595
-
Analyzing the structure of argumentative discourse
-
Cohen R. Analyzing the structure of argumentative discourse. Comput Ling 1987;13:11-24.
-
(1987)
Comput Ling
, vol.13
, pp. 11-24
-
-
Cohen, R.1
-
118
-
-
0027705738
-
Communicative acts for generating natural language arguments
-
Washington, DC;
-
Maybury MT. Communicative acts for generating natural language arguments. In: Proc Nat Conf on Artificial Intelligence (AAAI'93), Washington, DC; 1993. pp 357-364.
-
(1993)
Proc Nat Conf on Artificial Intelligence (AAAI'93)
, pp. 357-364
-
-
Maybury, M.T.1
-
119
-
-
84880685699
-
The role of saliency in generating natural language arguments
-
San Francisco, CA: Morgan Kaufmann;
-
Reed CA. The role of saliency in generating natural language arguments. In: Proc 16th Int Joint Conf on AI (IJCAI'99). San Francisco, CA: Morgan Kaufmann; 1999. pp 876-881.
-
(1999)
Proc 16th Int Joint Conf on AI (IJCAI'99)
, pp. 876-881
-
-
Reed, C.A.1
-
120
-
-
0342970517
-
Using argumentation in text generation
-
Elhadad M. Using argumentation in text generation. J Pragmatics 1995;24:189-220.
-
(1995)
J Pragmatics
, vol.24
, pp. 189-220
-
-
Elhadad, M.1
-
122
-
-
33846289451
-
The persuasion machine
-
Reed C, Norman TJ, editors, Norwell, MA: Kluwer;
-
Gilbert MA, Grasso F, Groarke L, Gurr C, Gerlofs JM. The persuasion machine. In: Reed C, Norman TJ, editors. Argumentation machines. Norwell, MA: Kluwer; 2003. pp 121-174.
-
(2003)
Argumentation machines
, pp. 121-174
-
-
Gilbert, M.A.1
Grasso, F.2
Groarke, L.3
Gurr, C.4
Gerlofs, J.M.5
-
123
-
-
0005007644
-
Exploratory interaction with a Bayesian argumentation system. In: Dean T, editor
-
San Francisco, CA: Morgan Kaufmann;
-
Zukerman I, McConachy R. Korb KB, Pickett D. Exploratory interaction with a Bayesian argumentation system. In: Dean T, editor. In: Proc 19th Int Joint Conf on AI (IJCAI'99). San Francisco, CA: Morgan Kaufmann; 1999. pp 1274-1279.
-
(1999)
Proc 19th Int Joint Conf on AI (IJCAI'99)
, pp. 1274-1279
-
-
Zukerman, I.1
McConachy, R.2
Korb, K.B.3
Pickett, D.4
-
124
-
-
84949640941
-
-
Carenini G. GEA: A complete, modular system for generating evaluative arguments. In: Proc Workshop on Computational Models of Natural Language Argument. In: Proc Int Conf on Computational Science (ICCS'2001) Part 1, (LNCS 2073). Berlin: Springer Verlag; 2001. pp 959-968.
-
Carenini G. GEA: A complete, modular system for generating evaluative arguments. In: Proc Workshop on Computational Models of Natural Language Argument. In: Proc Int Conf on Computational Science (ICCS'2001) Part 1, (LNCS vol 2073). Berlin: Springer Verlag; 2001. pp 959-968.
-
-
-
-
125
-
-
33846268447
-
A study of argumentation in a causal probabilistic humanistic domain: Genetic counseling
-
Green N. A study of argumentation in a causal probabilistic humanistic domain: Genetic counseling. Int J Intell Syst 2007;22:71-93.
-
(2007)
Int J Intell Syst
, vol.22
, pp. 71-93
-
-
Green, N.1
-
127
-
-
0008275714
-
The landscape of persuasive technologies
-
King P, Tester J. The landscape of persuasive technologies. Commun ACM 1999;42:31-38.
-
(1999)
Commun ACM
, vol.42
, pp. 31-38
-
-
King, P.1
Tester, J.2
-
128
-
-
29144527824
-
Towards computational rhetoric
-
Grasso F. Towards computational rhetoric. Informal Logic 2002;22:195-230.
-
(2002)
Informal Logic
, vol.22
, pp. 195-230
-
-
Grasso, F.1
-
129
-
-
33646126637
-
Agreeing to differ: Modelling persuasive dialogue between parties with different values
-
Bench-Capon TJM. Agreeing to differ: Modelling persuasive dialogue between parties with different values. Informal Logic 2002;22:231-246.
-
(2002)
Informal Logic
, vol.22
, pp. 231-246
-
-
Bench-Capon, T.J.M.1
-
130
-
-
0041340842
-
Persuasion in practical argument using value based argumentation frameworks
-
Bench-Capon T. Persuasion in practical argument using value based argumentation frameworks. J Logic Comput 2003;13:429-448.
-
(2003)
J Logic Comput
, vol.13
, pp. 429-448
-
-
Bench-Capon, T.1
-
132
-
-
0003426356
-
Affective natural language generation
-
Paiva A, editor, Berlin: Springer-Verlag;
-
de Rosis F, Grasso F. Affective natural language generation. In: Paiva A, editor. Affective interactions. Berlin: Springer-Verlag; 2000. pp 204-218.
-
(2000)
Affective interactions
, pp. 204-218
-
-
de Rosis, F.1
Grasso, F.2
-
133
-
-
33846291618
-
-
Gilbert MA, Reed C. E-motion: Moving towards the utilization of artificial emotion. Informal Logic 2002;22:275-292.
-
Gilbert MA, Reed C. E-motion: Moving towards the utilization of artificial emotion. Informal Logic 2002;22:275-292.
-
-
-
-
135
-
-
84856261852
-
-
Carofiglio V, de Rosis F. In favour of cognitive models of emotions. Proc Workshop on Mind-Minding Agents at AISB'05, Hatfield, UK, April 2005. pp 171-176.
-
Carofiglio V, de Rosis F. In favour of cognitive models of emotions. Proc Workshop on Mind-Minding Agents at AISB'05, Hatfield, UK, April 2005. pp 171-176.
-
-
-
-
137
-
-
0344494144
-
State of the art: The structure of argumentation
-
Snoeck Henkemanns AF. State of the art: The structure of argumentation. Argumentation 2000;14:447-473.
-
(2000)
Argumentation
, vol.14
, pp. 447-473
-
-
Snoeck Henkemanns, A.F.1
-
139
-
-
0344925171
-
Dependent and independent reasons
-
Yanal R. Dependent and independent reasons. Informal Logic 1991;13:137-144.
-
(1991)
Informal Logic
, vol.13
, pp. 137-144
-
-
Yanal, R.1
-
140
-
-
84886441909
-
Getting good value: Facts, values and goals in computational linguistics. In: Proc Workshop on Computational Models of Natural Language Argument
-
Proc Int Conf on Computational Science ICCS'2001, Berlin: Springer Verlag;
-
Gilbert MA. Getting good value: Facts, values and goals in computational linguistics. In: Proc Workshop on Computational Models of Natural Language Argument. In: Proc Int Conf on Computational Science (ICCS'2001) Part 1, (LNCS vol 2073). Berlin: Springer Verlag; 2001. pp 989-998
-
(2001)
LNCS
, vol.2073
, Issue.PART 1
, pp. 989-998
-
-
Gilbert, M.A.1
-
141
-
-
26844440445
-
-
Amgoud L, Kaci S. On the generation of bipolar goals in argumentation-based negotiation. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 192-207.
-
Amgoud L, Kaci S. On the generation of bipolar goals in argumentation-based negotiation. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 192-207.
-
-
-
-
143
-
-
18744367295
-
Towards a formal account of reasoning about evidence: Argument schemes and generalisations
-
Bex F, Prakken H, Reed C, Walton D. Towards a formal account of reasoning about evidence: Argument schemes and generalisations. Artif Intell Law 2003;11:125-165.
-
(2003)
Artif Intell Law
, vol.11
, pp. 125-165
-
-
Bex, F.1
Prakken, H.2
Reed, C.3
Walton, D.4
-
144
-
-
26844532571
-
-
Reed C, Walton D. Towards a formal and implemented model of argumentation schemes in agent communication. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 19-30.
-
Reed C, Walton D. Towards a formal and implemented model of argumentation schemes in agent communication. In: Rahwan I, Moraitis P, Reed C, editors. Argumentation in multi-agent systems (ArgMAS 2004). Berlin: Springer; 2005. pp 19-30.
-
-
-
-
145
-
-
18744400085
-
Dialectical argumentation with argumentation schemes: Towards a methodology for the investigation of argumentation schemes. In: van Eemeren FH
-
Blair JA, Willard CA, Snoeck Henkemans F, editors, Amsterdam;
-
Verheij B. Dialectical argumentation with argumentation schemes: Towards a methodology for the investigation of argumentation schemes. In: van Eemeren FH, Blair JA, Willard CA, Snoeck Henkemans F, editors. In: Proc Fifth Conf of the International Society for the Study of Argumentation (ISSA 2002) Sic Sat, Amsterdam; 2003. pp 1033-1037.
-
(2003)
Proc Fifth Conf of the International Society for the Study of Argumentation (ISSA 2002) Sic Sat
, pp. 1033-1037
-
-
Verheij, B.1
|