메뉴 건너뛰기




Volumn , Issue , 2003, Pages 12-21

Prevarication in dispute protocols

Author keywords

argumentation and persuasion; dialogue protocols; locution selection

Indexed keywords

AGENT SOCIETY; ARGUMENTATION AND PERSUASION; ARGUMENTATION FRAMEWORKS; BURDEN OF PROOF; CONTRACT NEGOTIATION; DIALOGUE PROTOCOLS; DISPUTE RESOLUTION; INDIVIDUAL AGENT; LEGAL CONTEXTS; LOCUTION SELECTION; MULTI-AGENT; NON-CLASSICAL LOGIC; NON-COOPERATIVE; NONMONOTONIC LOGIC; PROOF THEORY; PROPOSITIONAL THEORIES;

EID: 3142669599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1047788.1047791     Document Type: Conference Paper
Times cited : (19)

References (25)
  • 2
    • 0008914009 scopus 로고    scopus 로고
    • Specification and implementation of Toulmin dialogue game
    • J. C. Hage et al., editor, GNI
    • T. J. M. Bench-Capon. Specification and implementation of Toulmin dialogue game. In J. C. Hage et al., editor, Legal Knowledge Based Systems, pages 5-20. GNI, 1998.
    • (1998) Legal Knowledge Based Systems , pp. 5-20
    • Bench-Capon, T.J.M.1
  • 5
    • 0030408302 scopus 로고    scopus 로고
    • Graph theoretical structures in logic programs and default theories
    • Y. Dimopoulos and A. Torres. Graph theoretical structures in logic programs and default theories. Theoretical Computer Science, 170:209-244, 1996.
    • (1996) Theoretical Computer Science , vol.170 , pp. 209-244
    • Dimopoulos, Y.1    Torres, A.2
  • 6
    • 0029368659 scopus 로고
    • On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and N-person games
    • P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and N-person games. Artificial Intelligence, 77:321-357, 1995.
    • (1995) Artificial Intelligence , vol.77 , pp. 321-357
    • Dung, P.M.1
  • 7
    • 0141749120 scopus 로고    scopus 로고
    • Two party immediate response disputes: Properties and efficiency
    • Technical Report ULCS-01-005, Dept. of Comp. Sci., Univ. of Liverpool, to appear
    • P. E. Dunne and T.J.M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Technical Report ULCS-01-005, Dept. of Comp. Sci., Univ. of Liverpool, (to appear Artificial Intelligence, 2003)
    • (2003) Artificial Intelligence
    • Dunne, P.E.1    Bench-Capon, T.J.M.2
  • 10
    • 3142765174 scopus 로고    scopus 로고
    • More on Non-Cooperation in Dialogue Logic
    • D. Gabbay and J. Woods. More on Non-Cooperation in Dialogue Logic Logic Jnl. of the IGPL, 9:305-323, 2001
    • (2001) Logic Jnl. of the IGPL , vol.9 , pp. 305-323
    • Gabbay, D.1    Woods, J.2
  • 16
    • 0000444721 scopus 로고
    • Veto threats: Rhetoric in a bargaining game
    • May
    • S. A. Matthews. Veto threats: rhetoric in a bargaining game The Quarterly Jnl. of Economics, May 1989, 347-369.
    • (1989) The Quarterly Jnl. of Economics , pp. 347-369
    • Matthews, S.A.1
  • 17
    • 0003190942 scopus 로고    scopus 로고
    • Games that agents play: A formal framework for dialogues between autonomous agents
    • P. McBurney and S. Parsons. Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information, 11:315-334, 2002.
    • (2002) Journal of Logic, Language and Information , vol.11 , pp. 315-334
    • McBurney, P.1    Parsons, S.2
  • 19
    • 77957779296 scopus 로고    scopus 로고
    • When are two protocols the same?
    • M. P. Huget, F. Dignum and J. L. Koning, editors, Agent Communications Languages and Conversation Policies
    • When are two protocols the same? In M. P. Huget, F. Dignum and J. L. Koning, editors, Agent Communications Languages and Conversation Policies, Proc. AAMAS-02 Workshop, Bologna, Italy, 2002.
    • Proc. AAMAS-02 Workshop, Bologna, Italy, 2002
  • 23
    • 0024959762 scopus 로고
    • The complexity of Gentzen systems for propositional logic
    • A. Urquhart. The complexity of Gentzen systems for propositional logic. Theoretical Computer Science 66(1):87-97, 1989.
    • (1989) Theoretical Computer Science , vol.66 , Issue.1 , pp. 87-97
    • Urquhart, A.1


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