-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510-530.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0036949765
-
Inferring from inconsistency in preference-based argumentation frameworks
-
Amgoud, L., & Cayrol, C. (2002). Inferring from inconsistency in preference-based argumentation frameworks. Journal of Automated Reasoning, 29, 125-169.
-
(2002)
Journal of Automated Reasoning
, vol.29
, pp. 125-169
-
-
Amgoud, L.1
Cayrol, C.2
-
3
-
-
6344243930
-
Strategical considerations for argumentative agents (preliminary report)
-
Amgoud, L., & Maudet, N. (2002). Strategical considerations for argumentative agents (preliminary report). In Proc. of NMR, pp. 409-417.
-
(2002)
Proc. of NMR
, pp. 409-417
-
-
Amgoud, L.1
Maudet, N.2
-
4
-
-
84962076528
-
Modelling dialogues using argumentation
-
Amgoud, L., Maudet, N., & Parsons, S. (2000). Modelling dialogues using argumentation. In Proc. of ICMAS, pp. 31-38.
-
(2000)
Proc. of ICMAS
, pp. 31-38
-
-
Amgoud, L.1
Maudet, N.2
Parsons, S.3
-
5
-
-
69049096214
-
On revising argumentation-based decision systems
-
Springer-Verlag
-
Amgoud, L., & Vesic, S. (2009). On Revising Argumentation-Based Decision Systems. In Proc. of ECSQARU, Vol.LNAI 5590, pp. 71-82. Springer-Verlag.
-
(2009)
Proc. of ECSQARU
, vol.LNAI 5590
, pp. 71-82
-
-
Amgoud, L.1
Vesic, S.2
-
6
-
-
25144470160
-
Scc-recursiveness: A general schema for argumentation semantics
-
Baroni, P., Giacomin, M., & Guida, G. (2005). Scc-recursiveness: A general schema for argumentation semantics. Artifical Intelligence, 168, 162-210.
-
(2005)
Artifical Intelligence
, vol.168
, pp. 162-210
-
-
Baroni, P.1
Giacomin, M.2
Guida, G.3
-
7
-
-
0008914009
-
Specification and implementation of Toulmin dialogue game
-
Bench-Capon, T. (1998). Specification and implementation of Toulmin dialogue game. In Proc. of JURIX, pp. 5-20.
-
(1998)
Proc. of JURIX
, pp. 5-20
-
-
Bench-Capon, T.1
-
9
-
-
69049092888
-
Dynamics in argumentation with single extensions: Abstraction principles and the grounded extension
-
Boella, G., Kaci, S., & van der Torre, L. (2009a). Dynamics in argumentation with single extensions: Abstraction principles and the grounded extension. In Proc. of ECSQARU (LNAI 5590), pp. 107-118.
-
(2009)
Proc. of ECSQARU (LNAI 5590)
, pp. 107-118
-
-
Boella, G.1
Kaci, S.2
Van Der Torre, L.3
-
10
-
-
84899847287
-
Dynamics in argumentation with single extensions: Attack refinement and the grounded extension
-
Boella, G., Kaci, S., & van der Torre, L. (2009b). Dynamics in argumentation with single extensions: Attack refinement and the grounded extension. In Proc. of AAMAS, pp. 1213-1214.
-
(2009)
Proc. of AAMAS
, pp. 1213-1214
-
-
Boella, G.1
Kaci, S.2
Van Der Torre, L.3
-
11
-
-
0031164288
-
An abstract, argumentationtheoretic approach to default reasoning
-
Bondarenko, A., Dung, P., Kowalski, R., & Toni, F. (1997). An abstract, argumentationtheoretic approach to default reasoning. Artificial Intelligence, 93, 63-101.
-
(1997)
Artificial Intelligence
, vol.93
, pp. 63-101
-
-
Bondarenko, A.1
Dung, P.2
Kowalski, R.3
Toni, F.4
-
12
-
-
34147180038
-
Semi-stable semantics
-
Caminada, M. (2006). Semi-stable semantics. In Proc. of COMMA, pp. 121-128.
-
(2006)
Proc. of COMMA
, pp. 121-128
-
-
Caminada, M.1
-
13
-
-
78049295942
-
Revision of an argumentation system
-
AAAI Press
-
Cayrol, C., Dupin de Saint-Cyr, F., & Lagasquie-Schiex, M. (2008). Revision of an argumentation system. In Proc. of KR 2008, pp. 124-134. AAAI Press.
-
(2008)
Proc. of KR
, vol.2008
, pp. 124-134
-
-
Cayrol, C.1
Dupin De Saint-Cyr, F.2
Lagasquie-Schiex, M.3
-
14
-
-
0000232248
-
Logical models of argument
-
Chesnevar, C., Maguitman, A., & Loui, R. (2000). Logical models of argument. ACM Computing surveys, 32 (4), 337-383.
-
(2000)
ACM Computing Surveys
, vol.32
, Issue.4
, pp. 337-383
-
-
Chesnevar, C.1
Maguitman, A.2
Loui, R.3
-
15
-
-
34548032549
-
On the merging of Dung's argumentation systems
-
Coste-Marquis, S., Devred, C., Konieczny, S., Lagasquie-Schiex, M., & Marquis, P. (2007). On the merging of Dung's argumentation systems. Artificial Intelligence, Argumentation in Artificial Intelligence, 171 (10-15), 730-753.
-
(2007)
Artificial Intelligence, Argumentation in Artificial Intelligence
, vol.171
, Issue.10-15
, pp. 730-753
-
-
Coste-Marquis, S.1
Devred, C.2
Konieczny, S.3
Lagasquie-Schiex, M.4
Marquis, P.5
-
16
-
-
33845863905
-
Prudent semantics for argumentation frameworks
-
Coste-Marquis, S., Devred, C., & Marquis, P. (2005). Prudent semantics for argumentation frameworks. In Proc. of ICTAI, pp. 568-572.
-
(2005)
Proc. of ICTAI
, pp. 568-572
-
-
Coste-Marquis, S.1
Devred, C.2
Marquis, P.3
-
17
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77, 321-357.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
18
-
-
84940557687
-
A dialectic procedure for sceptical assumption-based argumentation
-
Dung, P. M., Mancarella, P., & Toni, F. (2006). A dialectic procedure for sceptical assumption-based argumentation. In Proc. of COMMA, pp. 145-156.
-
(2006)
Proc. of COMMA
, pp. 145-156
-
-
Dung, P.M.1
Mancarella, P.2
Toni, F.3
-
20
-
-
0036783490
-
Coherence in finite argument system
-
Dunne, P., & Bench-Capon, T. (2002). Coherence in finite argument system. Artificial Intelligence, 141 (1-2), 187-203.
-
(2002)
Artificial Intelligence
, vol.141
, Issue.1-2
, pp. 187-203
-
-
Dunne, P.1
Bench-Capon, T.2
-
21
-
-
77957883648
-
Belief dynamics and defeasible argumentation in rational agents
-
Falappa, M., García, A., & Simari, G. (2004). Belief dynamics and defeasible argumentation in rational agents. In Proc. of NMR, pp. 164-170.
-
(2004)
Proc. of NMR
, pp. 164-170
-
-
Falappa, M.1
García, A.2
Simari, G.3
-
22
-
-
9444231679
-
Making argumentation more believable
-
Hunter, A. (2004). Making argumentation more believable. In Proc. of AAAI, pp. 269-274.
-
(2004)
Proc. of AAAI
, pp. 269-274
-
-
Hunter, A.1
-
23
-
-
1142304634
-
Argumentation based decision making for autonomous agents
-
Kakas, A. C., & Moraïtis, P. (2003). Argumentation based decision making for autonomous agents. In Proc. of AAMAS, pp. 883-890.
-
(2003)
Proc. of AAMAS
, pp. 883-890
-
-
Kakas, A.C.1
Moraïtis, P.2
-
24
-
-
56649121754
-
A game-theoretic measure of argument strength for abstract argumentation
-
Matt, P., & Toni, F. (2008). A game-theoretic measure of argument strength for abstract argumentation. In Proc. of JELIA (LNAI 5293), pp. 285-297.
-
(2008)
Proc. of JELIA (LNAI 5293)
, pp. 285-297
-
-
Matt, P.1
Toni, F.2
-
26
-
-
26844579756
-
Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS
-
Springer
-
Paglieri, F., & Castelfranchi, C. (2005). Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS. In Argumentation in Multi- Agent Systems, pp. 78-94. Springer.
-
(2005)
Argumentation in Multi- Agent Systems
, pp. 78-94
-
-
Paglieri, F.1
Castelfranchi, C.2
-
27
-
-
26844534600
-
Belief revision and epistemology
-
Pollock, J., & Gillies, A. (2000). Belief revision and epistemology. Synthese, 122 (1-2), 69-92.
-
(2000)
Synthese
, vol.122
, Issue.1-2
, pp. 69-92
-
-
Pollock, J.1
Gillies, A.2
-
28
-
-
0026924985
-
How to reason defeasibly
-
Pollock, J. L. (1992). How to reason defeasibly. Artificial Intelligence, 57, 1-42.
-
(1992)
Artificial Intelligence
, vol.57
, pp. 1-42
-
-
Pollock, J.L.1
-
29
-
-
0011112281
-
Logics for defeasible argumentation
-
Kluwer Academic
-
Prakken, H., & Vreeswijk, G. (2002). Logics for defeasible argumentation. In Handbook of Philosophical Logic, Vol.4, pp. 218-319. Kluwer Academic.
-
(2002)
Handbook of Philosophical Logic
, vol.4
, pp. 218-319
-
-
Prakken, H.1
Vreeswijk, G.2
-
30
-
-
84875943707
-
Heuristics in argumentation: A game-theoretical investigation
-
Riveret, R., Prakken, H., Rotolo, A., & Sartor, G. (2008). Heuristics in argumentation: A game-theoretical investigation. In Proc. of COMMA, pp. 324-335.
-
(2008)
Proc. of COMMA
, pp. 324-335
-
-
Riveret, R.1
Prakken, H.2
Rotolo, A.3
Sartor, G.4
-
31
-
-
84875922665
-
Argument theory change: Revision upon warrant
-
IOS Press
-
Rotstein, N. D., Moguillansky, M. O., Falappa, M. A., García, A. J., & Simari, G. R. (2008a). Argument theory change: Revision upon warrant. In Proc. of COMMA, pp. 336-347. IOS Press.
-
(2008)
Proc. of COMMA
, pp. 336-347
-
-
Rotstein, N.D.1
Moguillansky, M.O.2
Falappa, M.A.3
García, A.J.4
Simari, G.R.5
-
32
-
-
69049109777
-
An abstract argumentation framework for handling dynamics
-
Rotstein, N. D., Moguillansky, M. O., García, A. J., & Simari, G. R. (2008b). An abstract argumentation framework for handling dynamics. In Proc. of NMR, pp. 131-139.
-
(2008)
Proc. of NMR
, pp. 131-139
-
-
Rotstein, N.D.1
Moguillansky, M.O.2
García, A.J.3
Simari, G.R.4
-
34
-
-
84946738424
-
A general framework for revising nonmonotonic theories
-
Springer
-
Witteveen, C., & van der Hoek, W. (1997). A general framework for revising nonmonotonic theories. In Proc. of LPNMR (LNAI 1265), pp. 258-272. Springer.
-
(1997)
Proc. of LPNMR (LNAI 1265)
, pp. 258-272
-
-
Witteveen, C.1
Van Der Hoek, W.2
|