-
3
-
-
0036949765
-
Inferring from inconsistency in preference-based argumentation frameworks
-
Amgoud, L., Cayrol, C.: Inferring from inconsistency in preference-based argumentation frameworks. J. Autom. Reason. 29(2), 125-169 (2002).
-
(2002)
J. Autom. Reason.
, vol.29
, Issue.2
, pp. 125-169
-
-
Amgoud, L.1
Cayrol, C.2
-
4
-
-
0036108826
-
A reasoning model based on the production of acceptable arguments
-
Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 34, 197-216 (2002).
-
(2002)
Ann. Math. Artif. Intell.
, vol.34
, pp. 197-216
-
-
Amgoud, L.1
Cayrol, C.2
-
5
-
-
58549099648
-
Using arguments for making and explaining decisions
-
Amgoud, L., Prade, H.: Using arguments for making and explaining decisions. Artif. Intell. J. 173, 413-436 (2009).
-
(2009)
Artif. Intell. J.
, vol.173
, pp. 413-436
-
-
Amgoud, L.1
Prade, H.2
-
10
-
-
0030383593
-
Comparing arguments using preference orderings for argument-based reasoning
-
Amgoud, L., Cayrol, C., LeBerre, D.: Comparing arguments using preference orderings for argument-based reasoning. In: Proceedings of the 8th International Conference on Tools with Artificial Intelligence (ICTAI'96), pp. 400-403 (1996).
-
(1996)
Proceedings of the 8th International Conference On Tools With Artificial Intelligence (ICTAI'96)
, pp. 400-403
-
-
Amgoud, L.1
Cayrol, C.2
Leberre, D.3
-
11
-
-
84962076528
-
Modelling dialogues using argumentation
-
Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS'00), pp. 31-38 (2000).
-
(2000)
Proceedings of the 4th International Conference On Multi-Agent Systems (ICMAS'00)
, pp. 31-38
-
-
Amgoud, L.1
Maudet, N.2
Parsons, S.3
-
12
-
-
29344454444
-
-
Technical report. In: Deliverable D2. 2: Draft Formal Semantics for Inference and Decision-Making. ASPIC Project
-
Amgoud, L., Caminada, M., Cayrol, C., Lagasquie, M. C., Prakken, H.: Towards a consensual formal model: inference part. Technical report. In: Deliverable D2. 2: Draft Formal Semantics for Inference and Decision-Making. ASPIC Project (2004).
-
(2004)
Towards a Consensual Formal Model: Inference Part
-
-
Amgoud, L.1
Caminada, M.2
Cayrol, C.3
Lagasquie, M.C.4
Prakken, H.5
-
13
-
-
71549162346
-
Making decisions through preference-based argumentation
-
Amgoud, L., Dimopoulos, Y., Moraitis, P.: Making decisions through preference-based argumentation. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp. 113-123 (2008).
-
(2008)
Proceedings of the International Conference On Principles of Knowledge Representation and Reasoning (KR'08)
, pp. 113-123
-
-
Amgoud, L.1
Dimopoulos, Y.2
Moraitis, P.3
-
15
-
-
34548038125
-
On principle-based evaluation of extension-based argumentation semantics
-
Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell. J. 171, 675-700 (2007).
-
(2007)
Artif. Intell. J.
, vol.171
, pp. 675-700
-
-
Baroni, P.1
Giacomin, M.2
-
16
-
-
25144470160
-
Scc-recursiveness: a general schema for argumentation semantics
-
Baroni, P., Giacomin, M., Guida, G.: Scc-recursiveness: a general schema for argumentation semantics. Artif. Intell. J. 168, 162-210 (2005).
-
(2005)
Artif. Intell. J.
, vol.168
, pp. 162-210
-
-
Baroni, P.1
Giacomin, M.2
Guida, G.3
-
17
-
-
0041340842
-
Persuasion in practical argument using value-based argumentation frameworks
-
Bench-Capon, T. J. M.: Persuasion in practical argument using value-based argumentation frameworks. J. Log. Comput. 13(3), 429-448 (2003).
-
(2003)
J. Log. Comput.
, vol.13
, Issue.3
, pp. 429-448
-
-
Bench-Capon, T.J.M.1
-
18
-
-
0002892424
-
Argumentative inference in uncertain and inconsistent knowledge bases
-
Benferhat, S., Dubois, D., Prade, H.: Argumentative inference in uncertain and inconsistent knowledge bases. In: Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (UAI'93), pp. 411-419 (1993).
-
(1993)
Proceedings of the 9th Conference On Uncertainty In Artificial Intelligence (UAI'93)
, pp. 411-419
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
22
-
-
0033522718
-
Preferred answer sets for extended logic programs
-
Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. J. 109, 297-356 (1999).
-
(1999)
Artif. Intell. J.
, vol.109
, pp. 297-356
-
-
Brewka, G.1
Eiter, T.2
-
23
-
-
58649096599
-
Preferences and nonmonotonic reasoning
-
Brewka, G., Niemela, I., Truszczynski, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69-78 (2008).
-
(2008)
AI Mag.
, vol.29
, Issue.4
, pp. 69-78
-
-
Brewka, G.1
Niemela, I.2
Truszczynski, M.3
-
24
-
-
34147136754
-
On the evaluation of argumentation formalisms
-
Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. J. 171(5-6), 286-310 (2007).
-
(2007)
Artif. Intell. J.
, vol.171
, Issue.5-6
, pp. 286-310
-
-
Caminada, M.1
Amgoud, L.2
-
27
-
-
84988820761
-
Management of preferences in assumption-based reasoning
-
Cayrol, C., Royer, V., Saurel, C.: Management of preferences in assumption-based reasoning. Lect. Notes Comput. Sci. 682, 13-22 (1993).
-
(1993)
Lect. Notes Comput. Sci.
, vol.682
, pp. 13-22
-
-
Cayrol, C.1
Royer, V.2
Saurel, C.3
-
28
-
-
71549156865
-
Extending argumentation to make good decisions
-
LNCS 5783
-
Dimopoulos, Y., Moraitis, P., Amgoud, L.: Extending argumentation to make good decisions. In: Proceedings of the 1st International Conference on Algorithmic Decision Theory (ADT'09). LNCS 5783, pp. 225-236 (2009).
-
(2009)
Proceedings of the 1st International Conference On Algorithmic Decision Theory (ADT'09)
, pp. 225-236
-
-
Dimopoulos, Y.1
Moraitis, P.2
Amgoud, L.3
-
29
-
-
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. Artif. Intell. J. 77, 321-357 (1995).
-
(1995)
Artif. Intell. J.
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
30
-
-
34548024853
-
Computing ideal skeptical argumentation
-
Dung, P. M., Mancarella, P., Toni, F.: Computing ideal skeptical argumentation. Artif. Intell. J. 171, 642-674 (2007).
-
(2007)
Artif. Intell. J.
, vol.171
, pp. 642-674
-
-
Dung, P.M.1
Mancarella, P.2
Toni, F.3
-
31
-
-
34548021202
-
Computational properties of argument systems satisfying graph-theoretic constraints
-
Dunne, P.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell. J. 171(10-15), 701-729 (2007).
-
(2007)
Artif. Intell. J.
, vol.171
, Issue.10-15
, pp. 701-729
-
-
Dunne, P.1
-
32
-
-
85015631566
-
Acceptability of arguments as 'logical uncertainty'
-
Elvang-Gøransson, M., Fox, J., Krause, P.: Acceptability of arguments as 'logical uncertainty'. In: Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'93), pp. 85-90 (1993).
-
(1993)
Proceedings of the 2nd European Conference On Symbolic and Quantitative Approaches to Reasoning With Uncertainty (ECSQARU'93)
, pp. 85-90
-
-
Elvang-Gøransson, M.1
Fox, J.2
Krause, P.3
-
34
-
-
45149118114
-
Preference-based argumentation: arguments supporting multiple values
-
Kaci, S., van der Torre, L.: Preference-based argumentation: arguments supporting multiple values. J. of Approx. Reas. 48(3), 730-751 (2008).
-
(2008)
J. Of Approx. Reas.
, vol.48
, Issue.3
, pp. 730-751
-
-
Kaci, S.1
van der Torre, L.2
-
35
-
-
84886044606
-
Acyclic argumentation: Attack = conflict + preference
-
Kaci, S., van der Torre, L., Weydert, E.: Acyclic argumentation: attack = conflict + preference. In: Proceedings of the European Conference on Artificial Intelligence (ECAI'06), pp. 725-726 (2006).
-
(2006)
Proceedings of the European Conference On Artificial Intelligence (ECAI'06)
, pp. 725-726
-
-
Kaci, S.1
van der Torre, L.2
Weydert, E.3
-
36
-
-
0032156107
-
Reaching agreements through argumentation: a logical model and implementation
-
Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. J. Artif. Intell. 104, 1-69 (1998).
-
(1998)
J. Artif. Intell.
, vol.104
, pp. 1-69
-
-
Kraus, S.1
Sycara, K.2
Evenchik, A.3
-
37
-
-
38149035863
-
On defense strength of blocking defeaters in admissible sets
-
Martinez, G., Garcia, A., Simari, G.: On defense strength of blocking defeaters in admissible sets. In: Proceedings of KSEM'07. LNAI 4798, pp. 140-152 (2007).
-
(2007)
Proceedings of KSEM'07. LNAI 4798
, pp. 140-152
-
-
Martinez, G.1
Garcia, A.2
Simari, G.3
-
38
-
-
64549136645
-
Reasoning about preferences in argumentation frameworks
-
Modgil, S.: Reasoning about preferences in argumentation frameworks. Artif. Intell. J. 173(9-10), 901-934 (2009).
-
(2009)
Artif. Intell. J.
, vol.173
, Issue.9-10
, pp. 901-934
-
-
Modgil, S.1
-
40
-
-
34548011440
-
Argument based machine learning
-
Mozina, M., Zabkar, J., Bratko, I.: Argument based machine learning. Artif. Intell. J. 171(10-15), 922-937 (2007).
-
(2007)
Artif. Intell. J.
, vol.171
, Issue.10-15
, pp. 922-937
-
-
Mozina, M.1
Zabkar, J.2
Bratko, I.3
-
41
-
-
0026924985
-
How to reason defeasibly
-
Pollock, J.: How to reason defeasibly. Artif. Intell. J. 57, 1-42 (1992).
-
(1992)
Artif. Intell. J.
, vol.57
, pp. 1-42
-
-
Pollock, J.1
-
42
-
-
29144432372
-
Coherence and flexibility in dialogue games for argumentation
-
Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Log. Comput. 15, 1009-1040 (2005).
-
(2005)
J. Log. Comput.
, vol.15
, pp. 1009-1040
-
-
Prakken, H.1
-
43
-
-
78049417080
-
An abstract framework for argumentation with structured arguments
-
Prakken, H.: An abstract framework for argumentation with structured arguments. J. of Arg. and Comp. 1, 93-124 (2010).
-
(2010)
J. Of Arg. And Comp.
, vol.1
, pp. 93-124
-
-
Prakken, H.1
-
44
-
-
0343036648
-
Argument-based extended logic programming with defeasible priorities
-
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-class. Log. 7, 25-75 (1997).
-
(1997)
J. Appl. Non-Class. Log.
, vol.7
, pp. 25-75
-
-
Prakken, H.1
Sartor, G.2
-
45
-
-
0000482243
-
On inference from inconsistent premises
-
Rescher, N., Manor, R.: On inference from inconsistent premises. J. Theory Decis. 1, 179-219 (1970).
-
(1970)
J. Theory Decis.
, vol.1
, pp. 179-219
-
-
Rescher, N.1
Manor, R.2
-
46
-
-
0026817743
-
A mathematical treatment of defeasible reasoning and its implementation
-
Simari, G. R., Loui, R. P.: A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell. J. 53, 125-157 (1992).
-
(1992)
Artif. Intell. J.
, vol.53
, pp. 125-157
-
-
Simari, G.R.1
Loui, R.P.2
-
47
-
-
0000837367
-
Persuasive argumentation in negotiation
-
Sycara, K.: Persuasive argumentation in negotiation. Theory Decis. 28, 203-242 (1990).
-
(1990)
Theory Decis.
, vol.28
, pp. 203-242
-
-
Sycara, K.1
-
48
-
-
80054055923
-
-
Logic, Semantics, Metamathematic. Edited and Translated by J. H. Woodger. Oxford University Press
-
Tarski, A.: On Some Fundamental Concepts of Metamathematics. Logic, Semantics, Metamathematic. Edited and Translated by J. H. Woodger. Oxford University Press (1956).
-
(1956)
On Some Fundamental Concepts of Metamathematics
-
-
Tarski, A.1
|