-
2
-
-
0011112281
-
Logics for defeasible argumentation
-
Kluwer Academic Publishers
-
nd edition. Kluwer Academic Publishers (2002) 219-318
-
(2002)
nd Edition
, vol.4
, pp. 219-318
-
-
Prakken, A.1
Vreeswijk, G.2
-
3
-
-
0031164288
-
An abstract, argumentation-theoretic approach to default reasoning
-
Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Art. Intelligence 93 (1997) 63-101
-
(1997)
Art. Intelligence
, vol.93
, pp. 63-101
-
-
Bondarenko, A.1
Dung, P.M.2
Kowalski, R.3
Toni, F.4
-
4
-
-
0032642028
-
Computing argumentation in logic programming
-
Kakas, A., Toni, F.: Computing argumentation in logic programming. J. of Logic and Computation 9 (1999) 515-562
-
(1999)
J. of Logic and Computation
, vol.9
, pp. 515-562
-
-
Kakas, A.1
Toni, F.2
-
5
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Art. Intelligence 77 (1995) 321-358
-
(1995)
Art. Intelligence
, vol.77
, pp. 321-358
-
-
Dung, P.M.1
-
6
-
-
0026924985
-
How to reason defeasibly
-
Pollock, J.: How to reason defeasibly. Art. Intelligence 57 (1992) 1-42
-
(1992)
Art. Intelligence
, vol.57
, pp. 1-42
-
-
Pollock, J.1
-
7
-
-
0026817743
-
A mathematical treatment of defeasible reasoning and its implementation
-
Simari, G., Loui, R.: A mathematical treatment of defeasible reasoning and its implementation. Art. Intelligence 53 (1992) 125-157
-
(1992)
Art. Intelligence
, vol.53
, pp. 125-157
-
-
Simari, G.1
Loui, R.2
-
8
-
-
85015631566
-
Acceptability of arguments as logical uncertainty
-
ECSQARU'93
-
Elvang-Gøransson, M., Fox, J., Krause, P.: Acceptability of arguments as logical uncertainty. In: ECSQARU'93. Volume 747 of LNCS. (1993) 85-90
-
(1993)
LNCS
, vol.747
, pp. 85-90
-
-
Elvang-Gøransson, M.1
Fox, J.2
Krause, P.3
-
9
-
-
0141474674
-
Dialectic reasoning with inconsistent information
-
Elvang-Gøransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. In: UAI'93. (1993) 114-121
-
(1993)
UAI'93
, pp. 114-121
-
-
Elvang-Gøransson, M.1
Fox, J.2
Krause, P.3
-
10
-
-
0029352639
-
Argumentative logics: Reasoning with classically inconsistent information
-
Elvang-Gøransson, M., Hunter, A.: Argumentative logics: Reasoning with classically inconsistent information. Data and Knowledge Engineering 16 (1995) 125-145
-
(1995)
Data and Knowledge Engineering
, vol.16
, pp. 125-145
-
-
Elvang-Gøransson, M.1
Hunter, A.2
-
11
-
-
0031074495
-
Abstract argumentation systems
-
Vreeswijk, G.: Abstract argumentation systems. Art. Intelligence 90 (1997) 225-279
-
(1997)
Art. Intelligence
, vol.90
, pp. 225-279
-
-
Vreeswijk, G.1
-
12
-
-
0035338876
-
A logic-based theory of deductive arguments
-
Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Art. Intelligence 128 (2001) 203-235
-
(2001)
Art. Intelligence
, vol.128
, pp. 203-235
-
-
Besnard, P.1
Hunter, A.2
-
13
-
-
0036949765
-
Inferring from inconsistency in preference-based argumentation frameworks
-
Amgoud, L., Cayrol, C.: Inferring from inconsistency in preference-based argumentation frameworks. J. of Automated Reasoning 29 (2002) 125-169
-
(2002)
J. of Automated Reasoning
, vol.29
, pp. 125-169
-
-
Amgoud, L.1
Cayrol, C.2
-
15
-
-
84860551963
-
From non-monotonic syntax-based entailment to preference-based argumentation
-
ECSQARU'95
-
Cayrol, C.: From non-monotonic syntax-based entailment to preference-based argumentation. In: ECSQARU'95. Volume 946 of LNAI. (1995)
-
(1995)
LNAI
, vol.946
-
-
Cayrol, C.1
-
16
-
-
0036783872
-
On the computional complexity of assumption-based argumentation for default reasoning
-
Dimopoulos, Y., Nebel, B., Toni, F.: On the computional complexity of assumption-based argumentation for default reasoning. Art. Intelligence 141 (2002) 57-78
-
(2002)
Art. Intelligence
, vol.141
, pp. 57-78
-
-
Dimopoulos, Y.1
Nebel, B.2
Toni, F.3
-
17
-
-
0001627973
-
Extending abstract argumentation systems theory
-
Baroni, P., Giacomin, M., G.Guida: Extending abstract argumentation systems theory. Art. Intelligence 120 (2000) 251-270
-
(2000)
Art. Intelligence
, vol.120
, pp. 251-270
-
-
Baroni, P.1
Giacomin, M.2
Guida, G.3
-
18
-
-
8344269402
-
Solving semantic problems with odd-length cycles in argumentation
-
ECSQARU'03
-
Baroni, P., Giacomin, M.: Solving semantic problems with odd-length cycles in argumentation. In: ECSQARU'03. Volume 2711 of LNAI. (2003) 440-451
-
(2003)
LNAI
, vol.2711
, pp. 440-451
-
-
Baroni, P.1
Giacomin, M.2
-
19
-
-
33745468093
-
A recursive approach to argumentation: Motivation and perspectives
-
Baroni, P., Giacomin, M.: A recursive approach to argumentation: motivation and perspectives. In: NMR'04. (2004) 50-58
-
(2004)
NMR'04
, pp. 50-58
-
-
Baroni, P.1
Giacomin, M.2
-
20
-
-
33745441783
-
Minimal defence: A refinement of the preferred semantics for argumentation frameworks
-
Cayrol, C., Doutre, S., Lagasquie-Schiex, M.C., Mengin, J.: Minimal defence: a refinement of the preferred semantics for argumentation frameworks. In: NMR'02. (2002) 408-415
-
(2002)
NMR'02
, pp. 408-415
-
-
Cayrol, C.1
Doutre, S.2
Lagasquie-Schiex, M.C.3
Mengin, J.4
-
21
-
-
33745434295
-
Gradual handling of contradiction in argumentation frameworks
-
Cayrol, C., Lagasquie-Schiex, M.C.: Gradual handling of contradiction in argumentation frameworks. In: IPMU'02. (2002) 83-90
-
(2002)
IPMU'02
, pp. 83-90
-
-
Cayrol, C.1
Lagasquie-Schiex, M.C.2
-
22
-
-
33745469101
-
Complexity and combinatorial properties of argument systems
-
Dept. of Computer Science, Univ. of Liverpool
-
Dunne, P., Bench-Capon, T.: Complexity and combinatorial properties of argument systems. Technical report, Dept. of Computer Science, Univ. of Liverpool (2001)
-
(2001)
Technical Report
-
-
Dunne, P.1
Bench-Capon, T.2
-
25
-
-
26944492173
-
Symmetric argumentation frameworks
-
ECSQARU'05
-
Coste-Marquis, S., Devred, C., Marquis, P.: Symmetric argumentation frameworks. In: ECSQARU'05. Volume 3571 of LNCS. (2005) 317-328
-
(2005)
LNCS
, vol.3571
, pp. 317-328
-
-
Coste-Marquis, S.1
Devred, C.2
Marquis, P.3
-
26
-
-
0030408302
-
Graph theoretical structures in logic programs and default theories
-
Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theoretical Computer Science 170 (1996) 209-244
-
(1996)
Theoretical Computer Science
, vol.170
, pp. 209-244
-
-
Dimopoulos, Y.1
Torres, A.2
-
27
-
-
0036783490
-
Coherence in finite argument system
-
Dunne, P., Bench-Capon, T: Coherence in finite argument system. Art. Intelligence 141 (2002) 187-203
-
(2002)
Art. Intelligence
, vol.141
, pp. 187-203
-
-
Dunne, P.1
Bench-Capon, T.2
-
28
-
-
0010363558
-
Credulous and sceptical argument games for preferred semantics
-
Vreeswijk, G., Prakken, H.: Credulous and sceptical argument games for preferred semantics. In: JELIA'00. (2000) 224-238
-
(2000)
JELIA'00
, pp. 224-238
-
-
Vreeswijk, G.1
Prakken, H.2
-
29
-
-
0041841546
-
On decision problems related to the preferred semantics for argumentation frameworks
-
Cayrol, C., Doutre, S., Mengin, J.: On decision problems related to the preferred semantics for argumentation frameworks. J. of Logic and Computation 13 (2003) 377-403
-
(2003)
J. of Logic and Computation
, vol.13
, pp. 377-403
-
-
Cayrol, C.1
Doutre, S.2
Mengin, J.3
-
30
-
-
33745451424
-
On sceptical vs credulous acceptance for abstract argument systems
-
Doutre, S., Mengin, J.: On sceptical vs credulous acceptance for abstract argument systems. In: NMR'04. (2004) 134-139
-
(2004)
NMR'04
, pp. 134-139
-
-
Doutre, S.1
Mengin, J.2
-
31
-
-
26944495285
-
On the acceptability of arguments in bipolar argumentation framework
-
ECSQARU'05
-
Cayrol, C., Lagasquie-Schiex, M.: On the acceptability of arguments in bipolar argumentation framework. In: ECSQARU'05. Volume 3571 of LNCS. (2005) 378-389
-
(2005)
LNCS
, vol.3571
, pp. 378-389
-
-
Cayrol, C.1
Lagasquie-Schiex, M.2
|