Complexity-Sensitive Decision Procedures for Abstract Argumentation

被引：0
作者：
Dvorak, Wolfgang [1 ]
Jarvisalo, Matti [2 ]
Wallner, Johannes Peter [3 ]
Woltran, Stefan [3 ]
机构：
[1] Univ Vienna, Fac Comp Sci, Vienna, Austria
[2] Univ Helsinki, Dept Comp Sci, HIIT, Helsinki, Finland
[3] Vienna Univ Technol, Inst Informat Syst, Vienna, Austria
来源：
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) | 2015年
基金：
芬兰科学院; 奥地利科学基金会;
关键词：
FRAMEWORKS; SEMANTICS; SYSTEMS; SAT;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：4173 / 4177
页数：5
相关论文
共 24 条
  • [1] Amgoud L., 2008, INT J INTELL SYST, V23, P1
  • [2] Bang-Jensen J, 2009, SPRINGER MONOGR MATH, P1, DOI 10.1007/978-1-84800-998-1_1
  • [3] An introduction to argumentation semantics
    Baroni, Pietro
    Caminada, Martin
    Giacomin, Massimiliano
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) : 365 - 410
  • [4] Brewka Gerhard., 2013, 23rd International Joint Conference on Artificial Intelligence, P803
  • [5] Cerutti Federico, 2014, Theory and Applications of Formal Argumentation. Second International Workshop, TAFA 2013. Revised Selected papers: LNCS 8306, P176, DOI 10.1007/978-3-642-54373-9_12
  • [6] Cerutti F, 2014, FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, P42
  • [7] Methods for solving reasoning problems in abstract argumentation - A survey
    Charwat, Guenther
    Dvorak, Wolfgang
    Gaggl, Sarah A.
    Wallner, Johannes P.
    Woltran, Stefan
    [J]. ARTIFICIAL INTELLIGENCE, 2015, 220 : 28 - 63
  • [8] Coste-Marquis S, 2005, LECT NOTES COMPUT SC, V3571, P317
  • [9] de Haan R, 2014, LECT NOTES COMPUT SC, V8561, P85, DOI 10.1007/978-3-319-09284-3_8
  • [10] Graph theoretical structures in logic programs and default theories
    Dimopoulos, Y
    Torres, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 209 - 244
123