메뉴 건너뛰기




Volumn 6929 LNAI, Issue , 2011, Pages 163-176

Argumentation frameworks with necessities

Author keywords

abstract argumentation; acceptability semantics; bipolarity; logic programming; necessity relation

Indexed keywords

ABSTRACT ARGUMENTATION; ACCEPTABILITY SEMANTICS; ARGUMENTATION FRAMEWORKS; BIPOLARITY; LOGIC PROGRAMS; NECESSITY RELATION; SUPPORT RELATIONS;

EID: 80054077396     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23963-2_14     Document Type: Conference Paper
Times cited : (68)

References (20)
  • 1
    • 70350440476 scopus 로고    scopus 로고
    • Bridging the gap between abstract argumentation systems and logic
    • Godo, L., Pugliese, A. (eds.) SUM 2009. Springer, Heidelberg
    • Amgoud, L., Besnard, P.: Bridging the gap between abstract argumentation systems and logic. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 12-27. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5785 , pp. 12-27
    • Amgoud, L.1    Besnard, P.2
  • 4
    • 0031164288 scopus 로고    scopus 로고
    • 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, 63-101 (1997)
    • (1997) Artificial Intelligence , vol.93 , pp. 63-101
    • Bondarenko, A.1    Dung, P.M.2    Kowalski, R.3    Toni, F.4
  • 5
    • 77951134941 scopus 로고    scopus 로고
    • Towards a unified model of preference-based argumentation
    • Link, S., Prade, H. (eds.) FoIKS 2010. Springer, Heidelberg
    • Bourguet, J., Amgoud, L., Thomapoulos, R.: Towards a unified model of preference-based argumentation. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 326-344. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.5956 , pp. 326-344
    • Bourguet, J.1    Amgoud, L.2    Thomapoulos, R.3
  • 7
    • 26944495285 scopus 로고    scopus 로고
    • On the acceptability of arguments in bipolar argumentation frameworks
    • Godo, L. (ed.) ECSQARU2005. Springer, Heidelberg
    • Cayrol, C., Lagasquie-Schiex,M.C.: On the acceptability of arguments in bipolar argumentation frameworks. In: Godo, L. (ed.) ECSQARU2005. LNCS (LNAI), vol. 3571, pp. 378-389. Springer, Heidelberg (2005)
    • (2005) LNCS (LNAI) , vol.3571 , pp. 378-389
    • Cayrol, C.1    Lagasquie-Schiex, M.C.2
  • 8
    • 73849097675 scopus 로고    scopus 로고
    • Coalitions of arguments: A tool for handling bipolar argumentation frameworks
    • Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83-109 (2010)
    • (2010) Int. J. Intell. Syst. , vol.25 , Issue.1 , pp. 83-109
    • Cayrol, C.1    Lagasquie-Schiex, M.-C.2
  • 10
    • 0029368659 scopus 로고
    • 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(2), 321-357 (1995)
    • (1995) Artificial Intelligence , vol.77 , Issue.2 , pp. 321-357
    • Dung, P.M.1
  • 11
    • 79956319649 scopus 로고    scopus 로고
    • Answer-set programming encodings for argumentation frameworks
    • Egly, U., Gaggl, S.A., Woltran, S.: Answer-set programming encodings for argumentation frameworks. Argument and Computation 1(2), 147-177 (2010)
    • (2010) Argument and Computation , vol.1 , Issue.2 , pp. 147-177
    • Egly, U.1    Gaggl, S.A.2    Woltran, S.3
  • 13
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive databases
    • Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385 (1991)
    • (1991) New Generation Computing , vol.9 , pp. 365-385
    • Gelfond, M.1    Lifschitz, V.2
  • 14
    • 84990623699 scopus 로고
    • Considerations on Default Logic: An Alternative Approach
    • Łukaszewicz, W.: Considerations on Default Logic: An Alternative Approach. Computational Intelligence 4, 1-16 (1988)
    • (1988) Computational Intelligence , vol.4 , pp. 1-16
    • Łukaszewicz, W.1
  • 15
    • 84885728961 scopus 로고    scopus 로고
    • Proof theories and algorithms for abstract argumentation frameworks
    • Rahwan, I., Simari, G. (eds.) Springer, Heidelberg
    • Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, pp. 105-129. Springer, Heidelberg (2009)
    • (2009) Argumentation in Artificial Intelligence , pp. 105-129
    • Modgil, S.1    Caminada, M.2
  • 16
    • 46249126790 scopus 로고    scopus 로고
    • Preferred extensions as stable models
    • Nieves, J.C., Cortes, U., Osorio, M.: Preferred extensions as stable models. TPLP 8(4), 527-543 (2008)
    • (2008) TPLP , vol.8 , Issue.4 , pp. 527-543
    • Nieves, J.C.1    Cortes, U.2    Osorio, M.3
  • 17
    • 67449135857 scopus 로고    scopus 로고
    • From the description of an accident to its causes
    • Kayser, D., Nouioua, F.: From the description of an accident to its causes. Artificial Intelligence 173(12-13), 1154-1193 (2010)
    • (2010) Artificial Intelligence , vol.173 , Issue.12-13 , pp. 1154-1193
    • Kayser, D.1    Nouioua, F.2
  • 19
    • 49149147322 scopus 로고
    • A Logic for Default reasoning
    • Reiter, R.: A Logic for Default reasoning. Artificial Intelligence 13(1-2), 81-132 (1980)
    • (1980) Artificial Intelligence , vol.13 , Issue.1-2 , pp. 81-132
    • Reiter, R.1
  • 20
    • 71149107231 scopus 로고    scopus 로고
    • Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming
    • Wu, Y., Caminada, M., Gabbay, D.: Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia logica 93(2-3), 383-403 (2009)
    • (2009) Studia Logica , vol.93 , Issue.2-3 , pp. 383-403
    • Wu, Y.1    Caminada, M.2    Gabbay, D.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.