On the generation of bipolar goals in argumentation-based negotiation
Leila Amgoud, Souhila Kaci
In the proceedings of the 1st International Workshop on Argumentation in
Multi-Agents Systems (ArgMAS 2004) , New York, USA
2004
25
On the search of a consensus between autonomous agents
Henri Prade, Leila Amgoud, Sihem Belabbes
Proc. of the International Conference in Advances in Intelligent Systems
- Theory and Applications (AISTA'04), Luxembourg
2004
26
On the use of an ATMS for handling conflicting desires
Leila Amgoud, Claudette Cayrol
9th International Conference on the Principles of Knowledge
Representation and Reasoning, KR' 2004, Whistler, Canada, pp. 194-201,
AAAI Press
2004
27
Outline of a multi-agent system for regulated information exchange in
crime investigations
P. Dijkstra, F.J. Bex, H. Prakken, C.N.J. De Vey, Mestdagh
Proceedings of the ICAIL-05 workshop on Argumentation in A.I. and Law,
Bologna, 2005
2005
28
Reaching agreement through argumentation: A possibilistic approach
Henri Prade, Leila Amgoud
Proc. of the 9th International Conference on Principles of Knowledge
Representation and Reasoning (KR'04), Whistler, BC, Canada
2004
29
Reinterpreting arguments in dialogue: an application to evidential
reasoning
Henry Prakken, Floris Bex
In T.F. Gordon (ed.), Legal Knowledge and Information Systems. JURIX
2004: The Seventeenth Annual Conference. Amsterdam etc, IOS Press
(2004), 119-129
2004
30
Threats, rewards and explanatory arguments: generation and evaluation
Henri Prade,Leila Amgoud
Proc. of the 16th European Conference on Artificial Intelligence
(ECAI'04), Valencia, Spain
2004
31
Using arguments for making decisions: A possibilistic logic approach
Henri Prade, Leila Amgoud
Proceeding of the 20th Conference of Uncertainty in Artificial
Intelligence (UAI'04), Banff, Canada, pp. 10-17, AUAI Press
2004
32
Argumentation
T.J.M. Bench-Capon, H. Prakken
Information Technology Lawyers: Advanced technology in the legal domain,
from challenges to daily routine. Berlin: Springer Verlag, 2005, 61-80
2005
33
Computational models, argumentation theories and legal practice
T.J.M. Bench-Capon, J.B. Freeman, H. Hohmann and H. Prakken
Argumentation Machines. New Frontiers in Argument and Computation.
Kluwer Argumentation Library, Kluwer Academic Publishers,
Boston/Dordrecht/London 2004, 85-120
2004
34
A Guardian Agent Approach to Safety in Medical Multi-agent Systems
S.Modgil and J.Fox
Proc. of the First International Workshop on Safety and Security in
Multi-Agent Systems (SAEMAS'04 at AAMAS 2004),New York, July, 2004
2004
35
Nested Argumentation and its Application to Decision Making over Actions
S. Modgil
Proc. Second International Workshop on Argumentation in Multi-Agent
Systems (ArgMAS 2005 at AAMAS 2005), Utrecht, Netherlands, July, 2004
2004
36
Towards Formalising Agent Argumentation over the Viability of Human
Organs for Transplantation
Sanjay Modgil, Pancho Tolchinsky, Ulises Cortes
Proc. MICAI 2005: Advances in Artificial Intelligence: 4th Mexican
International Conference on Artificial Intelligence, Monterrey, Mexico,
November 14-18, 2005,Lecture Notes in Computer Science, Volume 3789, Nov
2005
2005
37
Argument Schemes and Critical Questions for Heterogeneous Agents to
Argue Over the Viability of a Human Organ
P. Tolchinsky, S. Modgil, U. Cortes
Accepted for publication in Argumentation for Consumers of Healthcare -
AAAI 2006 Spring Symposia Stanford University, Stan ford, California,
March 27-29, 2006
2006
38
Towards a general model for argumentation services
John Fox, Liz Black, David Glasspool, Sanjay Modgil, Ayelet Oettinger,
Vivek Patkar, Matt Williams
Accepted for publication in Argumentation for Consumers of Healthcare -
AAAI 2006 Spring Symposia
2006
39
Argumentation in AI and Law (no link)
Paul E. Dunne and Trevor Bench-Capon
IAAIL Workshop series 2, Wolff Publishers, Nijmegan, 2005
2005
40
Persuasion and Value in Legal Argument
T.Bench-Capon, K. Atkinson, A Chorley
Journal of Logic and Computation 15:1075-97
2005
41
Computational Representation of Practical Argument (no link)
K. Atkinson, T. Bench-Capon and P. McBurney
Accepted for publication to appear. W. van der Hoek (editor): Knowledge,
Rationality and Action, part of the Synthese journal. Â In press
2005
42
Generating intentions through argumentation
Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney
AAMAS 2005: 1261-1262
2005
43
Determining Preferences through Argumentation (no link)
S. Doutre, T.J.M. Bench-Capon and P. E. Dunne
Proc. AI*IA'05, Milan, September 2005, LNAI 3673, Springer-Verlag, pages
98--109
2005
44
Multi-Agent Argumentation for eDemocracy
Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney
EUMAS 2005: 35-46
2005
45
Explaining preferences with argument positions
S. Doutre, T.J.M. Bench-Capon and P. E. Dunne
Proc. IJCAI-05, August 2005. pp 1560-1
2005
46
Discovering Inconsistency through Examination Dialogue
P.E. Dunne, S. Doutre, and T.J.M. Bench-Capon
Proc. IJCAI-05, August 2005 , pp 1680-1
2005
47
Arguing about cases as practical reasoning (no link)
K. Atkinson, T. Bench-Capon and P. McBurney
Proceedings of the Tenth International Conference on AI and Law (ICAIL
2005), Bologna, Italy, pp. 35-44. ACM Press, New York, NY, USA
2005
48
AGATHA: Automated Construction of Case Law Theories Through Heuristic
Search (no link)
A. Chorley and T. Bench-Capon
Proceedings of the Tenth International Conference on AI and Law (ICAIL
2005), Bologna, Italy, pp. 45-54. ACM Press, New York, NY, USA. Alison
Chorley was awarded the Donald Berman Prize for best student paper on
the basis of this paper
2005
49
Argument Based Machine Learning Applied to Law (no link)
M. Mozina. J. Zabkar, T. Bench-Capon and I. Bratko
Proceedings of the Tenth International Conference on AI and Law (ICAIL
2005), Bologna, Italy, pp. 248-9. ACM Press, New York, NY, USA
2005
50
AGATHA: Automation of the Construction of Theories in Case Law Domains
A. Chorley and T. Bench-Capon
In T. Gordon (ed), Legal Knowledge and Information Systems, Proceedings
of Jurix 2004, IOS Press, Amsterdam. pp89-98
2004
51
Complexity in Value-Based Argumentation Systems (no link)
P. E. Dunne and T.J.M. Bench-Capon
In J.Alferes and J. Leite (eds) Logics in Artificial Intelligence (JELIA
04). Lecture Notes in Artificial Intelligence 3229. Springer: Berlin.
pp360-371
2004
52
Support for Constructing Theories in Case Law Domains (no link)
A. Chorley and T. Bench-Capon
In F. Galindo, M. Takizawa and R. Traunmuller (eds) Proceedings of DEXA
2004. LNCS 3180. Springer Verlag: Berlin. pp508-517
2004
53
Identifying Audience Preferences in Legal and Social Domains
P. E. Dunne and T.J.M. Bench-Capon
In F. Galindo, M. Takizawa and R. Traunmuller (eds) Proceedings of DEXA
2004. LNCS 3180. Springer Verlag: Berlin. pp518-527
2004
54
Levels of reasoning with legal cases
K. Atkinson and T. Bench-Capon
In P. E. Dunne and T. Bench-Capon (Editors): Proceedings of the ICAIL
2005 Workshop on Argumentation in AI and Law, Bologna, Italy, pp.
1-11. IAAIL Workshop Series, Wolf Legal Publishers, Nijmegan
2005
55
Constructing Theories of Case Law Through Argumentation (no link)
A. Chorley and T. Bench-Capon
In P. E. Dunne and T. Bench-Capon (Editors): Proceedings of the ICAIL
2005 Workshop on Argumentation in AI and Law, Bologna, Italy, pp.
13-25. IAAIL Workshop Series, Wolf Legal Publishers, Nijmegan
2005
56
Decision support for healthcare: the PROforma evidence base
John Fox, Vivek Patkar, Richard Thomson
57
Capturing expert knowledge with argumentation: a case study in
bioinformatics
Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox,
Michael J. E. Sternberg
Oxford University Press, 29 January 2006
2006
58
Knowledge, arguments, and intentions in clinical decision-making
John Fox, David Glasspool
Multidisciplinary Approaches to Theory in Medicine, Volume 3
2005
59
An ontological approach to modeling tasks and goals
John Fox, Alyssa Alabassi, Vivek Patkar, Tony Rose, Elizabeth Black
Accepted for publication in Computers in Biology and Medicine. Special
Issue: Ontologies in Medicine
2005
60
From arguments to agents: extending the Toulmin view
John Fox, Sanjay Modgil
2004
61
From arguments to decisions: extending the Toulmin view
John Fox, Sanjay Modgil
2005
62
An Axiomatic Account of Formal Argumentation
Martin Caminada, Leila Amgound
In 20th National Conference on Artificial Intelligence, AAAI'2005,
Pittsburgh, 09 - 13 July 2005. AAAI, p. 608-613
2005
63
On the study of negotiation strategies
Leila Amgoud, Souhila Kaci
In AAMAS 2005 Workshop on Agent Communication (AC’05), Utrecht, 25
July 2005. Rogier van Eijk, Roberto Flores , Marc-Philippe Huget (Eds.),
p. 3-16
2005
64
A Semantics for Agent Communication Languages based on commitments and
penalties
Leila Amgoud, Florence Dupin de Saint-Cyr
In Sixth International Workshop on Computational Logic in Multi-Agent
Systems, CLIMA'05, London, 27 - 29 June 2005. Springer LNAI, p. 28-39
2005
65
Handling threats, rewards and explanatory arguments in a unified setting
Leila Amgoud, Henri Prade
In International Journal Of Intelligent Systems, Wiley periodical Inc.,
V. 20 N. 12, p. 1195-1218, 2005
2005
66
Formal Handling of Threats and Rewards in a Negotiation Dialogue
Leila Amgoud, Henri Prade
In the proceedings of the 4th International joint Conference on
Autonomous Agents and Multi-Agent Systems, AAMAS'2005, Utrecht, 25 - 29
July 2005. Franck Dignum, Michael Wooldridge, Sven Koenig, Sarit Kraus
(Eds.), ACM Press, p. 529-536
2005
67
Towards a Formal Framework for the Search of a Consensus Between
Autonomous Agents (no link)
Leila Amgoud, Sihem Belabbes, Henri Prade
In the proceedings of the 4th International joint Conference on
Autonomous Agents and Multi-Agent Systems, AAMAS'2005, Utrecht, 25 - 29
July 2005. Franck Dignum, Michael Wooldridge, Sven Koenig, Sarit Kraus
(Eds.), ACM Press, p. 537-543
2005
68
An Argumentation-based Approach for Practical Reasoning
Leila Amgoud, Iyad Rahwan
Accepted for Publication - AAMAS'06 conference, 8-12 May 2006, Hakodate,
Japan
2006
69
A unified setting for inference and decision: An argumentation-based
approach
Leila Amgoud
Proceedings of the 5th Workshop on Computational Models of Natural
Argument (CMNA’05). Collocated with IJCAI'05, Edinburgh, Chris Reed
(Eds.), p. 40-43.30 July- 5 August 2005
2005
70
Coherence and flexibility in dialogue games for argumentation
Henry Prakken
Journal of Logic and Computation 15 (2005): 1009-1040
2005
71
Towards a multi-agent system for regulated information exchange in crime
investigations. Artificial Intelligence and Law
P. Dijkstra, F.J. Bex, H. Prakken & C.N.J. De Vey Mestdagh
Artificial Intelligence and Law, 13 (2005): 133-151.
2005
72
AI & Law, logic and argument schemes
Henry Prakken
Argumentation 19 (2005): 303-320. (special issue on The Toulmin model
today).
2005
73
A protocol for arguing about rejections in negotiation
Jelle van Veenen, Henry Prakken
Proceedings of the Second International Workshop on Argumentation in
Multi-Agent Systems (ArgMas-05), Utrecht, 2005
2005
74
Using arguing agents to increase the human organ pool for
transplantation
Pancho Tolchinsky, Ulises Cortes, Juan Carlos Nieves, Antonio Lopez-Navidad,
Francisco Caballero
Proceedings of the 3rd Workshop on Agents Applied in Health Care
(IJCAI-05), 2005
2005
75
Argument Based Rule Learning
Martin Mozina, Jure Zabkar, Ivan Bratko
Proceedings of ECAI, Riva del Garda
2006
76
Why Is Rule Learning Optimistic and How to Correct It
Martin Mozina, Janez Demsar, Jure Zabkar, Ivan Bratko
Proceedings of ECML, Berlin 2006
2006
77
Argument Based Machine Learning in medical domain (no link)
Jure Zabkar, Martin Mozina, Jarneja Videcnik, Ivan Bratko
To be published at proceedings of COMMA'06, Liverpool, UK
2006
78
Argument Based Machine Learning
Ivan Bratko, Martin Mozina, Jure Zabkar
Proceedidngs of ISMIS 2006, Bari
2006
79
An Abstract Theory of Argumentation That Accommodates Defeasible
Reasoning About Preferences
Sanjay Modgil
9th European Conference on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty
2007
80
Agents Deliberating Over Action Proposals Using the ProCLAIM Model
P. Tolchinsky, K. Atkinson, P. McBurney, S. Modgil and U. Cortes
5th International Central and Eastern European Conference on Multi-Agent
Systems
2007
81
Towards Characterising Argumentation Based Dialogue in the Argument
Interchange Format
S. Modgil and J. McGinnis
Proc. 4th International Workshop on Argumentation in Multi-Agent Systems
(ArgMAS 2007)
2007
82
Hierarchical Argumentation
Sanjay Modgil
Proc. 10th European Conference on Logics in Artificial Intelligence
2006
83
Value Based Argumentation in Hierarchical Argumentation Frameworks
Sanjay Modgil
Proc. 1st International Conference on Computational Models of Argument
2006
84
Argumentation for Decision Support
Katie Atkinson, Trevor Bench-Capon, Sanjay Modgil
Published In - 17th International Conference on Database and Expert
Systems Applications DEXA 2006
2006
85
A canonical agent model for healthcare applications (no link)
J. Fox, D. Glasspool, S. Modgil
Published In - IEEE Journal. Special Issue on Intelligent Agents in
Healthcare
2006
86
Towards a canonical framework for designing agents to support healthcare
organisations (no link)
John Fox, David Glasspool, Sanjay Modgil, Pancho Tolchinksy, Liz Black
ECAI-06 Workshop on Agents Applied in HealthCare, 17th European
Conference on Artificial Intelligence, ECAI-2006
2006
87
Towards a general model for argumentation services
Fox J, Black E, Glasspool D, Modgil S, Oettinger A, Patkar V, Williams M
Published In - AAAI 2006 Spring Symposium Series; Argumentation for
Consumers of Healthcare
2006
88
CBR and argument schemes for collaborative decision making
P. Tolchinsky, S. Modgil, U. Cortes, and M.Sanchez-Marre
Published In - Proc. 1st International Conference on Computational
Models of Argument
2006
89
Increasing the Availability of Human Organs for Transplantation Through
Argumentation Based Deliberation Among Agents
Pancho Tolchinsky, Ulises Cortes, Sanjay Modgil, Francisco Caballero and
Antonio Lopez-Navidad
Published In - IEEE Journal. Special Issue on Intelligent Agents in
Healthcare
2006
90
Towards an Argument Interchange Format
Carlos Chesnevar, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris
Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, Steven Willmott
Published In - The Knowledge Engineering Review
2006
91
An algorithm to compute minimally grounded and
admissible defence sets in argument systems
Vreeswijk, G.A.W
In P.E. Dunne & T.J.M. Bench-Capon (Eds.), Proc. of the First Int.
Conference on Computational Models of Argument (COMMA06) (Frontiers in
Artificial Intelligence and Applications, 144) (pp. 109-129). IOS Press
2006
92
Argue tuProlog: A Lightweight Argumentation Engine for Agent
Applications
Bryant, D., Krause, P., & Vreeswijk, G.A.W.
In P.E. Dunne & T.J.M. Bench-Capon (Eds.), Proc. of 1st Int. Conference
on Computational Models of Argument (COMMA06) (Frontiers in Artificial
Intelligence and Applications, 144) (pp. 27-32). IOS Press
2006
93
Towards an online arbitration environment based on the design principles
simplicity, awareness, orientation, and timeliness
Vreeswijk, G.A.W., & Lodder, A.R.
Artificial Intelligence and Law Journal, 13, 297-321.
2006
94
Towards an Argument Interchange Format
Chesnevar, C., McGinnis, J., Modgil, S., Rahwan, I., Reed, C., Simari,
G., South, M., Vreeswijk, G.A.W., & Willmott, S.
The knowledge engineering review, 21, 293-316
2006
95
Argumentation in Bayesian Belief Networks
Vreeswijk, G.A.W.
In I. Rahwan, P. Moraitis, & C. Reed (Eds.), Argumentation in
Multi-Agent Systems, First International Workshop, ArgMas 2004
2004
96
Addressing moral problems through practical reasoning (no link)
K. Atkinson, T. Bench-Capon
In L. Globe and J-J, Ch. Meyer (editors): Deontic Logic and Artificial
Normative Systems, pp. 8-23. Lecture Notes in Artificial Intelligence (LNAI)
4048, Springer, Berlin. Eighth International Workshop on Deontic Logic
in Computer Science (DEON 2006), Utrecht, The Netherlands.
2006
97
Zeno revisited: Representation of persuasive argument. (no link)
K. Atkinson, T. Bench-Capon
In: Proceedings of Nineteenth Annual Conference on Legal Knowledge and
Information Systems (JURIX 2006). pp. 1-10
2006
98
Computational representation of practical argument (no link)
K. Atkinson, T. Bench-Capon, P. McBurney
Synthese Journal, 152 (2): 157-206. (knowledge, Rationality and Action,
191-240)
2006
99
Parmenides: Facilitating deliberation in democracies (no link)
K. Atkinson, T. Bench-Capon, P. McBurney
Artificial Intelligence And Law Journal, 14(4): 261-275
2006
100
Computational Models of Argument. (no link)
T. J. M. Bench-Capon, P. E. Dunne (Editors)
Proceedings of COMMA 2006.Amsterdam, the Netherlands: IOS Press
2006
101
Justifying actions by accruing arguments. (no link)
T. J. M. Bench-Capon, H. Prakken
In: T. J. M. Bench-Capon and P. E. Dunne (Editors): Computational Models
of Argument. Proceedings of COMMA 2006. Amsterdam, the Netherlands: IOS
Press. pp. 247-258
2006
102
Modelling state intervention in cases of conflicting interests. (no
link)
A. Chorley, T.J. M. Bench-Capon
In: Proceedings of Nineteenth Annual Conference on Legal Knowledge and
Information Systems (JURIX 2006), Paris, France, December 2006.
2006
103
Automating argumentation for deliberation in cases of conflict of
interest. (no link)
A. Chorley, T.J. M. Bench-Capon, P. McBurney
In: T. J. M. Bench-Capon and P. E. Dunne (Editors): Computational Models
of Argument. Proceedings of COMMA 2006. Amsterdam, the Netherlands: IOS
Press. pp. 279-290
2006
104
Argumentation over ontology correspondences in MAS.(no link)
L. Laera, V. Tamma, J. Euzenat, T. Bench-Capon
In: Proceedings of the Sixth International Joint Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Honolulu,
Hawaii, USA
2006
105
Reaching agreement over ontology alignments. (no link)
L. Laera, V. Tamma, J. Euzenat, T. Bench-Capon, T.Payne
In Proceedings of the 5th International Semantic Web Conference (ISWC
2006), Athens, GA, USA, November 2006.
2006
106
An application of formal argumentation: fusing Bayesnets in MAS. (no
link)
S. H.
Nielsen and S. Parsons
In: T. J. M. Bench-Capon and P. E. Dunne (Editors): Computational
Models of Argument. Proceedings of COMMA 2006. Amsterdam, the
Netherlands: IOS Press. pp. 33-44.
2006
107
Computing preferred extensions for argumentation systems with sets of
attacking arguments. (no link)
S. H.
Nielsen and S. Parsons
In: T.
J. M. Bench-Capon and P. E. Dunne (Editors): Computational Models of
Argument. Proceedings of COMMA 2006. Amsterdam, the Netherlands: IOS
Press. pp. 97-108.
2006
108
Addressing moral problems through practical reasoning. (no link)
K.
Atkinson, T. Bench-Capon
Journal
of Applied Logic
2007
109
Practical reasoning as presumptive argumentation using action based
alternating transition systems. (no link)
Arguing
for gaining access to information. (no link)
S.
Doutre, P. McBurney, L. Perrussel, J-M. Thévenin
Proceedings of the Sixth International Joint Conference on Autonomous
Agents and Multi Agent Systems (AAMAS 2007), Hawaii, USA, May 2007
2007
116
The
eightfold way of deliberation dialogue. (no link)
P.
McBurney, D. Hitchcock, S. Parsons
International Journal of Intelligent Systems, 22 (1): 95-132.
2007
117
Retraction and revocation in agent deliberation dialogs. (no
link)
P.
McBurney, S. Parsons
Argumentation Journal, 21 (4).
2007
118
Using
constraints and process algebra for specification of first-class agent
interaction protocols, pp. 245--264. (no link)
T.
Miller, P. McBurney
In: G.
O'Hare, M. O'Grady, O. Dikenelli and A. Ricci (Editors): Engineering
Societies for the Agents World: Post-Proceedings of the Seventh
International Workshop. Lecture Notes in Artificial Intelligence 4457.
Berlin, Germany: Springer (In press).
2007
119
First-class protocols for agent based co-ordination of scientific
instruments. (no link)
T.
Miller, P. McBurney, J. McGinnis, K. Stathis
Proceedings of the Fifth International Workshop on Agent-based Computing
for Enterprise Collaboration (ACEC), 16th International IEEE Workshops
on Enabling Technologies and Infrastructures for Collaborative
Enterprises (WETICE 2007), Paris, France
2007
120
An
application of formal argumentation: Fusing Bayesian networks in
multi-agent systems. (no link)
Co-argumentation artifact for agent societies (no link)
E.
Oliva, P. McBurney, A. Omicini
In: I.
Rahwan, C. Reed and S. Parsons (Editors): Proceedings of the Fourth
International Workshop on Argumentation in Multi-Agent Systems (ArgMAS
2007), Honolulu, USA, May 2007
2007
122
On the
Relevance of Utterances in Formal Inter-agent Dialogues (no link)
S.
Parsons, P. McBurney, E. Sklar, M. Wooldridge
In
Proceedings of the Sixth International Conference on Autonomous Agents
and Multi Agent Systems (AAMAS-2007), Honolulu, Hawaii, May 2007
2007
123
A
persuasion dialog for gaining access to information. (no link)
L.
Perrussel, S. Doutre, J-M.
Thevenin, P. McBurney
In: I.
Rahwan, C. Reed and S. Parsons (Editors): Proceedings of the Fourth
International Workshop on Argumentation in Multi-Agent Systems (ArgMAS
2007), Honolulu, USA, May
2007
2007
124
Un
dialogue de persuasion pour l'accès et l'obtention d'informations.(no link)
L.
Perrussel, S. Doutre, J.-M. Thevenin,
P.
J. McBurney
Models
Formels de l'Interaction, Quatriemes Journees Francophones (MFI 2007).
Paris, France, May-June 2007.
2007
125
Special
issue
on Argumentation Technologies.
(no link)
I.
Rahwan, P. McBurney
Editors
of a special issue of "IEEE
Intelligent Systems Journal" on Argumentation Technologies.
2007
126
STRATUM: A methodology for designing heuristic agent negotiation
strategies. (no link)
I.
Rahwan, L. Sonenberg, N. R. Jennings, P. McBurney
Agents
deliberating over action proposals using the ProCLAIM model. (no
link)
P.
Tolchinsky, K. Atkinson, P. McBurney, S. Modgil, U. Cortes
In: L.
Z. Varga, H.-D. Burkhard and R. Verbrugge (Editors): Proceedings of the
Fifth International Central and Eastern European Conference on
Multi-Agent Systems (CEEMAS 2007). Leipzig, Germany, September 2007. To
appear in: Lecture Notes in Artificial Intelligence Series. Germany:
Springer.
2007
128
On the
formal semantics of speech-act based communication in an agent oriented
programming language. (no link)
R.
Vieira, A. F. Moreira, M. Wooldridge, R. H. Bordini
Journal
of Artificial Intelligence Research (JAIR), 29: 221-267
2007
129
Formal systems for
persuasion dialogue.
H. Prakken
The Knowledge Engineering Review 21 (2006): 163-188.
2006
130
Formalizing
arguments about the burden of persuasion.
H. Prakken, G. Sartor
Proceedings of the
11th International Conference on Artificial Intelligence and Law,
Stanford, 2007. New York: ACM Press 2007, 97-106.
2007
131
Formalizing
argumentative story-based analysis of evidence
F.J. Bex, H. Prakken, B. Verheij
Proceedings of the
11th International Conference on Artificial Intelligence and Law,
Stanford, 2007. New York: ACM Press 2007, 1-10.
2007
132
AVERs: An argument
visualization tool for representing stories about evidence
S.W. van den Braak,
G. Vreeswijk,
H. Prakken
Proceedings of the 11th International Conference on Artificial
Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 11-15.
2007
133
An implementation of
norm-based agent negotiation.
P. Dijkstra, H.
Prakken & C.N.J. De Vey Mestdagh
Proceedings of the 11th International Conference on Artificial
Intelligence and Law, Stanford, 2007. New York: ACM Press 2007, 167-175.
2007
134
Presumptions and
burdens of proof
H. Prakken & G.
Sartor
In T.M. van Engers (ed.), Legal Knowledge and Information Systems. JURIX
2006: The Nineteenth Annual Conference. Amsterdam etc, IOS Press (2006),
21-30.
2006
135
Anchored narratives
in reasoning about evidence
F.J. Bex, H. Prakken
& B. Verheij
In T.M. van Engers (ed.), Legal Knowledge and Information Systems. JURIX
2006: The Nineteenth Annual Conference. Amsterdam etc, IOS Press
(2006), 11-20.
2006
136
Justifying actions
by accruing arguments
T.J.M. Bench-Capon &
H. Prakken
In P.E. Dunne and T.J.M. Bench-Capon (eds.),
Computational Models of Argument. Proceedings of COMMA-06. Amsterdam
etc, IOS Press 2006, 247-258.
2006
137
Combining sceptical
epistemic reasoning with credulous practical reasoning
H. Prakken
In P.E. Dunne and T.J.M. Bench-Capon (eds.),
Computational Models of Argument. Proceedings of COMMA-06. Amsterdam
etc, IOS Press 2006, 311-322.
2006
138
A critical review of
argument visualization tools: Do users become better reasoners?
S.W. Van den Braak,
H. Van Oostendorp, H., Prakken & G. Vreeswijk
Workshop Notes of
the ECAI-06 Workshop on Computational Models of Natural Argument, Riva
del Garda (Italy), 28-29 August, 2006.
2006
139
On formalizing
dialogue systems for argumentation in the event calculus
L. Bodenstaff, H.
Prakken & G. Vreeswijk
Proceedings of the Eleventh International Workshop on
Nonmonotonic Reasoning, Windermere (UK), 2006, 374-382.
2006
140
A formal model of
adjudication
H. Prakken
To appear in S. Rahman (ed.): Argumentation, Logic and Law. Dordrecht:
Springer Verlag, 2007.
2007
141
An Algorithm for
Computing Semi-Stable Semantics
M.W.A. Caminada
ECSQARU 2007 (approved)
2007
142
On the evaluation of
argumentation formalisms
M.W.A. Caminada and
L. Amgoud
Artificial
Intelligence 171(5-6):286-310 (2007)
2007
143
On the Existence of
Answer Sets in Normal Extended Logic Programs
M.W.A. Caminada and
Ch. Sakama
NRAC 2007
2007
144
On the Issue of
Reinstatement in Argumentation
M.W.A. Caminada
JELIA 2006, pages 111-123
2006
145
Semi-Stable
Semantics
M.W.A. Caminada
COMMA 2006, pages
121-130
2006
146
On the Existence of
Answer Sets in Normal Extended Logic Programs
M.W.A. Caminada and
Ch. Sakama
ECAI 2006, pages 743-744 (short paper)
2006
147
Well-Founded
semantics for Semi-Normal Extended Logic Programs
M.W.A. Caminada
NMR 2006, pages
103-108
2006
148
Contamination in
Formal Argumentation Systems
M.W.A. Caminada
Proceedings of the seventh Belgian-Netherlands
Conference on Artificial Intelligence (BNAIC), pages 59-65 (2005)
