-
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. Artificial Intelligence 93 (1997) 63-101
-
(1997)
Artificial Intelligence
, vol.93
, pp. 63-101
-
-
Bondarenko, A.1
Dung, P.M.2
Kowalski, R.3
Toni, F.4
-
4
-
-
0032089494
-
Agents that reason and negotiate by arguing
-
Parsons, S., Sierra, C., Jennings, N.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8 (1998) 261-292
-
(1998)
Journal of Logic and Computation
, vol.8
, pp. 261-292
-
-
Parsons, S.1
Sierra, C.2
Jennings, N.3
-
5
-
-
0041340846
-
Properties and complexity of some formal inter-agent dialogues
-
Parsons, S., Wooldrige, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13 (2003) 348-376
-
(2003)
Journal of Logic and Computation
, vol.13
, pp. 348-376
-
-
Parsons, S.1
Wooldrige, M.2
Amgoud, L.3
-
6
-
-
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. Artificial Intelligence 77 (1995) 321-358
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-358
-
-
Dung, P.M.1
-
8
-
-
0026924985
-
How to reason defeasibly
-
Pollock, J.: How to reason defeasibly. Artificial Intelligence 57 (1992) 1-42
-
(1992)
Artificial Intelligence
, vol.57
, pp. 1-42
-
-
Pollock, J.1
-
9
-
-
0026817743
-
A mathematical treatment of defeasible reasoning and its implementation
-
Simari, G., Loui, R.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53 (1992) 125-157
-
(1992)
Artificial Intelligence
, vol.53
, pp. 125-157
-
-
Simari, G.1
Loui, R.2
-
10
-
-
0031074495
-
Abstract argumentation systems
-
Vreeswijk, G.: Abstract argumentation systems. Artificial Intelligence 90 (1997) 225-279
-
(1997)
Artificial Intelligence
, vol.90
, pp. 225-279
-
-
Vreeswijk, G.1
-
12
-
-
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
-
13
-
-
0035338876
-
A logic-based theory of deductive arguments
-
Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artificial Intelligence 128 (2001) 203-235
-
(2001)
Artificial Intelligence
, vol.128
, pp. 203-235
-
-
Besnard, P.1
Hunter, A.2
-
15
-
-
0036949765
-
Inferring from inconsistency in preference-based argumentation frameworks
-
Amgoud, L., Cayrol, C.: Inferring from inconsistency in preference-based argumentation frameworks. Journal of Automated Reasoning 29 (2002) 125-169
-
(2002)
Journal of Automated Reasoning
, vol.29
, pp. 125-169
-
-
Amgoud, L.1
Cayrol, C.2
-
17
-
-
84860551963
-
From non-monotonie syntax-based entailment to preference-based argumentation
-
rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
-
rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Volume 946 of Lecture Notes on Artificial Intelligence. (1995)
-
(1995)
Lecture Notes on Artificial Intelligence
, vol.946
-
-
Cayrol, C.1
-
19
-
-
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. Artificial Intelligence 141 (2002) 57-78
-
(2002)
Artificial Intelligence
, vol.141
, pp. 57-78
-
-
Dimopoulos, Y.1
Nebel, B.2
Toni, F.3
-
21
-
-
8344269402
-
Solving semantic problems with odd-length cycles in argumentation
-
th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty.
-
th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Volume 2711 of Lecture Notes on Artificial Intelligence. (2003) 440-451
-
(2003)
Lecture Notes on Artificial Intelligence
, vol.2711
, pp. 440-451
-
-
Baroni, P.1
Giacomin, M.2
-
25
-
-
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
|