메뉴 건너뛰기




Volumn 2, Issue , 2004, Pages 800-807

A logic of multiple-valued argumentation

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; MULTI AGENT SYSTEMS; SET THEORY; THEOREM PROVING;

EID: 4544240331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (36)

References (9)
  • 3
    • 0009338020 scopus 로고
    • An argumentation semantics for logic programming with explicit negation
    • P. M. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. of 10th Int. Conference on Logic Programming, pages 616-630, 1993.
    • (1993) Proc. of 10th Int. Conference on Logic Programming , pp. 616-630
    • Dung, P.M.1
  • 4
    • 44049120122 scopus 로고
    • Theory of generalized annotated logic programming and its applications
    • M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335-397, 1992.
    • (1992) J. of Logic Programming , vol.12 , pp. 335-397
    • Kifer, M.1    Subrahmanian, V.S.2
  • 6
    • 0343036648 scopus 로고    scopus 로고
    • Argument-based extended logic programming with defeasible priorities
    • H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. J. of Applied Non-Classical Logics, 7(1):25-75, 1997.
    • (1997) J. of Applied Non-classical Logics , vol.7 , Issue.1 , pp. 25-75
    • Prakken, H.1    Sartor, G.2
  • 8
    • 4544336326 scopus 로고    scopus 로고
    • Formal argumentation frameworks for the extended generalized annotated logic programs
    • IEEE Press
    • Y. U. T. Takahashi and H. Sawamura. Formal argumentation frameworks for the extended generalized annotated logic programs. In Proc. of KES'2003, LNAI, volume 2773, pages 95-138. IEEE Press, 2003.
    • (2003) Proc. of KES'2003, LNAI , vol.2773 , pp. 95-138
    • Takahashi, Y.U.T.1    Sawamura, H.2
  • 9
    • 4544286881 scopus 로고    scopus 로고
    • A logic of multiple-valued argumentation
    • Niigata University
    • T. Takahashi and H. Sawamura. A logic of multiple-valued argumentation. Technical report, Niigata University, http://www.cs.ie.niigata-u.ac.jp/ ~takehisa/, 2004.
    • (2004) Technical Report
    • Takahashi, T.1    Sawamura, H.2


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