메뉴 건너뛰기




Volumn 3487 LNAI, Issue , 2005, Pages 178-195

A computational model for conversation policies for agent communication

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL METHODS; GAME THEORY; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SET THEORY; SPECIFICATIONS;

EID: 26844501786     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_11     Document Type: Conference Paper
Times cited : (12)

References (28)
  • 6
    • 33645823170 scopus 로고    scopus 로고
    • Specifying and implementing a persuasion dialogue game using commitment and argument network
    • I. Rahwan, P. Moraitis and C. Reed (Eds.), Springer, in press
    • Bentahar, J., Moulin, B., and Chaib-draa, B. Specifying and implementing a persuasion dialogue game using commitment and argument network. In I. Rahwan, P. Moraitis and C. Reed (Eds.), Argumentation in Multi-Agent Systems, LNAI 3366, Springer, (2005). (in press).
    • (2005) Argumentation in Multi-Agent Systems, LNAI 3366
    • Bentahar, J.1    Moulin, B.2    Chaib-Draa, B.3
  • 7
    • 0035303395 scopus 로고    scopus 로고
    • Dynamic argument systems: A formal model of argumentation processes based on situation calculus
    • Brewka, G. Dynamic argument systems: A formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 11(2) (2001) 257-282.
    • (2001) Journal of Logic and Computation , vol.11 , Issue.2 , pp. 257-282
    • Brewka, G.1
  • 8
    • 0002755418 scopus 로고
    • Commitments: From individual intentions to groups and organizations
    • Castelfranchi, C. Commitments: from individual intentions to groups and organizations. In Proc. of Int. Conf. on Multi Agent Systems (1995) 41-48.
    • (1995) Proc. of Int. Conf. on Multi Agent Systems , pp. 41-48
    • Castelfranchi, C.1
  • 9
    • 0036578615 scopus 로고    scopus 로고
    • Trends in agent communication languages
    • Chaib-draa, B., and Dignum, F. Trends in agent communication languages. In Computational Intelligence, (18)2 (2002) 89-101.
    • (2002) Computational Intelligence , vol.2 , Issue.18 , pp. 89-101
    • Chaib-Draa, B.1    Dignum, F.2
  • 10
    • 0025494721 scopus 로고
    • Tableau-based model checking in the prepositional mu-calculus
    • Cleaveland, R. Tableau-based model checking in the prepositional mu-calculus. In Acta Informatica, 27(8) (1990) 725-747.
    • (1990) Acta Informatica , vol.27 , Issue.8 , pp. 725-747
    • Cleaveland, R.1
  • 20
    • 0345814989 scopus 로고    scopus 로고
    • Commitment-based and dialogue-game based protocols, new trends in agent communication languages
    • Cambridge University Press
    • Maudet, N., and Chaib-draa, B. Commitment-based and dialogue-game based protocols, new trends in agent communication languages. In Knowledge Engineering Review, 17(2), Cambridge University Press (2002) 157-179.
    • (2002) Knowledge Engineering Review , vol.17 , Issue.2 , pp. 157-179
    • Maudet, N.1    Chaib-Draa, B.2
  • 21
    • 0003190942 scopus 로고    scopus 로고
    • Games that agents play: A formal framework for dialogues between autonomous agents
    • McBurney, P., and Parsons, S. Games that agents play: A formal framework for dialogues between autonomous agents. In Journal of Logic, Language, and Information, 11(3) (2002) 1-22.
    • (2002) Journal of Logic, Language, and Information , vol.11 , Issue.3 , pp. 1-22
    • McBurney, P.1    Parsons, S.2
  • 23
    • 84937332719 scopus 로고    scopus 로고
    • Relating protocols for dynamic dispute with logics for defeasible argumentation
    • Prakken, H. Relating protocols for dynamic dispute with logics for defeasible argumentation. In Synthese (127) (2001) 187-219.
    • (2001) Synthese , Issue.127 , pp. 187-219
    • Prakken, H.1
  • 25
    • 33645820220 scopus 로고    scopus 로고
    • The Agent Oriented Software Group. Jack 4.1. 2004. www.agent-software. com/
    • (2004) Jack 4.1.


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