-
1
-
-
0042908709
-
Alternating-time temporal logic
-
Alur, R. Henzinger, T. Kupferman, O: "Alternating-time temporal logic"; Journal of ACM, 49(5), 672-713, (2002).
-
(2002)
Journal of ACM
, vol.49
, Issue.5
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.2
Kupferman, O.3
-
3
-
-
58549099648
-
Using arguments for making and explaining decisions
-
Amgoud, L. Prade, H.: "Using arguments for making and explaining decisions"; Artif. Intell. 173 (3-4), 413-436, (2009).
-
(2009)
Artif. Intell
, vol.173
, Issue.3-4
, pp. 413-436
-
-
Amgoud, L.1
Prade, H.2
-
4
-
-
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. 171, 675-700, (2007).
-
(2007)
Artif. Intell
, vol.171
, pp. 675-700
-
-
Baroni, P.1
Giacomin, M.2
-
5
-
-
36849056581
-
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
-
Barringer, H. Gabbay, D. M. Woods, J.: "Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology"; Mechanizing Mathematical Reasoning, 59-98, (2005).
-
(2005)
Mechanizing Mathematical Reasoning
, pp. 59-98
-
-
Barringer, H.1
Gabbay, D.M.2
Woods, J.3
-
6
-
-
34548021635
-
Argumentation in artificial intelligence
-
Bench-Capon, T. J. M. Dunne, P. E.: "Argumentation in artificial intelligence"; Artif. Intell. 171(10-15): 619-641, (2007).
-
(2007)
Artif. Intell
, vol.171
, Issue.10-15
, pp. 619-641
-
-
Bench-Capon, T.J.M.1
Dunne, P.E.2
-
12
-
-
3142750497
-
Tropos: An Agent-Oriented Software Development Methodology
-
Bresciani, P. Perini, A. Giorgini, P. Giunchiglia, F. Mylopoulos, J.: "Tropos: An Agent-Oriented Software Development Methodology"; Autonomous Agents and Multi-Agent Systems Journal, 8, 203-236, (2004).
-
(2004)
Autonomous Agents and Multi-agent Systems Journal
, vol.8
, pp. 203-236
-
-
Bresciani, P.1
Perini, A.2
Giorgini, P.3
Giunchiglia, F.4
Mylopoulos, J.5
-
16
-
-
26844476699
-
The micro-macro constitution of power
-
Castelfranchi, C.: "The micro-macro constitution of power, Protosociology", 18, 208-269, (2003).
-
(2003)
Protosociology
, vol.18
, pp. 208-269
-
-
Castelfranchi, C.1
-
17
-
-
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. 77(2),321-357, (1995).
-
(1995)
Artif. Intell
, vol.77
, Issue.2
, pp. 321-357
-
-
Dung, P.M.1
-
20
-
-
0032637180
-
Robust Semantics for Argumentation Frameworks
-
Jakobovits, H. Vermeir, D.: "Robust Semantics for Argumentation Frameworks", J. Log. Comput. 9(2), 215-261, (1999).
-
(1999)
J. Log. Comput
, vol.9
, Issue.2
, pp. 215-261
-
-
Jakobovits, H.1
Vermeir, D.2
-
23
-
-
0036466117
-
A Modal Logic for Coalitional Power in Games
-
Pauly, M.: "A Modal Logic for Coalitional Power in Games"; J. of Logic and Computation, 12, 146-166, (2002).
-
(2002)
J. of Logic and Computation
, vol.12
, pp. 146-166
-
-
Pauly, M.1
-
25
-
-
84933477376
-
DEPINT: Dependence-Based Coalition Formation in an Open Multi-Agent Scenario
-
Sichman, J. S.: "DEPINT: Dependence-Based Coalition Formation in an Open Multi-Agent Scenario"; J. of Artificial Societies and Social Simulation 1(2), (1998).
-
(1998)
J. of Artificial Societies and Social Simulation
, vol.1
, Issue.2
-
-
Sichman, J.S.1
-
27
-
-
0032074719
-
Methods for task allocation via agent coalition formation
-
Shehory, O. Kraus, S.: "Methods for task allocation via agent coalition formation"; Artif. Intell. 101, 165-200, (1998).
-
(1998)
Artif. Intell
, vol.101
, pp. 165-200
-
-
Shehory, O.1
Kraus, S.2
|