메뉴 건너뛰기




Volumn 4183 LNCS, Issue , 2006, Pages 13-23

A formal general setting for dialogue protocols

Author keywords

Dialogue; Multi agent systems; Protocol

Indexed keywords

DATA REDUCTION; DATABASE SYSTEMS; NETWORK PROTOCOLS; PROBABILITY;

EID: 33750275272     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11861461_4     Document Type: Conference Paper
Times cited : (14)

References (26)
  • 3
    • 0343298639 scopus 로고
    • Question-begging in non-cumulative systems
    • J. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117-133, 1979.
    • (1979) Journal of Philosophical Logic , vol.8 , pp. 117-133
    • MacKenzie, J.1
  • 4
    • 1142293022 scopus 로고    scopus 로고
    • On the outcomes of formal inter-agent dialogues
    • Melbourne
    • S. Parsons, M. Wooldridge, and L. Amgoud. On the outcomes of formal inter-agent dialogues. In Proc. AAMAS'03, pages 616-623, Melbourne, 2003.
    • (2003) Proc. AAMAS'03 , pp. 616-623
    • Parsons, S.1    Wooldridge, M.2    Amgoud, L.3
  • 5
    • 84937332719 scopus 로고    scopus 로고
    • Relating protocols for dynamic dispute with logics for defeasible argumentation
    • H. Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187-219, 2001.
    • (2001) Synthese , vol.127 , pp. 187-219
    • Prakken, H.1
  • 6
    • 84941155556 scopus 로고    scopus 로고
    • A formal framework for the representation of negotiation protocols
    • E. Alonso. A formal framework for the representation of negotiation protocols. Inteligencia Artificial, 3/97:30-49, 1997.
    • (1997) Inteligencia Artificial , vol.3 , Issue.97 , pp. 30-49
    • Alonso, E.1
  • 7
    • 0002533919 scopus 로고    scopus 로고
    • Arguments, dialogue, and negotiation
    • Berlin
    • L. Amgoud, S. Parsons, and N. Maudet. Arguments, dialogue, and negotiation. In Proc. ECAI'00, pages 338-342, Berlin, 2000.
    • (2000) Proc. ECAI'00 , pp. 338-342
    • Amgoud, L.1    Parsons, S.2    Maudet, N.3
  • 8
    • 0028524103 scopus 로고
    • A speech-act-based negotiation protocol: Design, implementation, and test use
    • M. K. Chang and C. C. Woo. A speech-act-based negotiation protocol: design, implementation, and test use. ACM Transactions on Information Systems, 12(4):360-382, 1994.
    • (1994) ACM Transactions on Information Systems , vol.12 , Issue.4 , pp. 360-382
    • Chang, M.K.1    Woo, C.C.2
  • 9
    • 0032156107 scopus 로고    scopus 로고
    • Reaching agreements through argumentation: A logical model and implementation
    • S. Kraus, K. Sycara, and A. Evenchik. Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence, 104(1-2): 1-69, 1998.
    • (1998) Artificial Intelligence , vol.104 , Issue.1-2 , pp. 1-69
    • Kraus, S.1    Sycara, K.2    Evenchik, A.3
  • 11
    • 77952023993 scopus 로고    scopus 로고
    • An abductive logic programming architecture for negotiating agents
    • LNAI 2424, Cosenza
    • F. Sadri, F. Toni, and P. Torroni. An abductive logic programming architecture for negotiating agents. In Proc. JELIA'02, LNAI 2424, pages 419-431, Cosenza, 2002.
    • (2002) Proc. JELIA'02 , pp. 419-431
    • Sadri, F.1    Toni, F.2    Torroni, P.3
  • 15
    • 29144432372 scopus 로고    scopus 로고
    • Coherence and flexibility in dialogue games for argumentation
    • H. Prakken. Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation, 15:1009-1040, 2005.
    • (2005) Journal of Logic and Computation , vol.15 , pp. 1009-1040
    • Prakken, H.1
  • 16
    • 0029368659 scopus 로고
    • On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
    • P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
    • (1995) Artificial Intelligence , vol.77 , pp. 321-357
    • Dung, P.M.1
  • 17
    • 0003019549 scopus 로고
    • Perfect equilibrium in a bargaining model
    • A. Rubinstein. Perfect equilibrium in a bargaining model. Econometrica, 50:97-109, 1982.
    • (1982) Econometrica , vol.50 , pp. 97-109
    • Rubinstein, A.1
  • 18
    • 0019180974 scopus 로고
    • The contract net protocol: High-level communication and control in a distributed problem solver
    • R. G. Smith. The contract net protocol: high-level communication and control in a distributed problem solver. IEEE Transactions on Computers, 29(12):1104-1113, 1980.
    • (1980) IEEE Transactions on Computers , vol.29 , Issue.12 , pp. 1104-1113
    • Smith, R.G.1
  • 26
    • 0036361553 scopus 로고    scopus 로고
    • Desiderata for agent argumentation protocols
    • Bologna
    • P. McBurney, S. Parsons, and M. Wooldridge. Desiderata for agent argumentation protocols. In Proc. AAMAS'02, pages 402-409, Bologna, 2002.
    • (2002) Proc. AAMAS'02 , pp. 402-409
    • McBurney, P.1    Parsons, S.2    Wooldridge, M.3


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