SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

New Generation Computing

Volumn 19, Issue 2, 2001, Pages 139-156

Reliable agent communication - A pragmatic perspective

a UNIVERSITY OF MELBOURNE (Australia)

Author keywords

Agent communication languages; Formal methods; Interaction protocols; Multi agent systems

Indexed keywords

DATA COMMUNICATION SYSTEMS; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS;

AGENT COMMUNICATION LANGUAGES (ACL); INTERACTION PROTOCOLS; PROTOCOL ENGINEERING;

FORMAL LANGUAGES;

EID: 0034970184 PISSN: 02883635 EISSN: None Source Type: Journal
DOI: 10.1007/BF03037251 Document Type: Conference Paper

Times cited : (6)

References (25)

1
- 0003586486
- Oxford University Press
- (1962) How to Do Things With Words
- Austin, J.L.¹

2
- 85037406822
- DARPA knowledge sharing initiative
- June. draft
- (1993) Specification of the KQML Agent-Communication Language

3
- 84959028027
- Interaction protocols in agentis
- Paris
- (1998) Proc. of the Third International Conference on Multi-Agent Systems (ICMAS-98)
- D'Inverno, M.¹ Kinny, D.² Luck, M.³

4
- 72749120500
- Fundamentals of algebraic specification
- Springer Verlag
- (1985) EATCS , vol.6
- Ehrig, H.¹ Mahr, B.²

5
- 85037414059
- Foundation for intelligent physical agents (FIPA)
- November, Version 1.0
- (1997) FIPA 97 Specification Part 2: Agent Communication Language

6
- 85037411030
- Foundation for intelligent physical agents (FIPA)
- April, Version 0.1 (draft)
- (1999) FIPA Spec 2 - 1999: Agent Communication Language

7
- 0004768566
- Foundation for intelligent physical agents (FIPA)
- October, Version D (preliminary)
- (2000) FIPA Abstract Architecture Specification PC00001

8
- 85037409507
- Foundation for intelligent physical agents (FIPA)
- August, Version G (experimental)
- (2000) FIPA Agent Management Specification XC00023

9
- 0004768567
- Foundation for intelligent physical agents (FIPA)
- October, Version E (preliminary)
- (2000) FIPA Communicative Act Library Specification PC00037

10
- 85037419567
- Foundation for intelligent physical agents (FIPA)
- August, Version D (experimental)
- (2000) FIPA ACL Message Structure Specification XC00061

11
- 85037411813
- Foundation for intelligent physical agents (FIPA)
- July, Version B (experimental)
- (2000) FIPA Agent Message Transport Service Specification XC00067

12
- 0028476278
- Software agents
- (1994) Communications of the ACM , vol.37 , Issue.7 , pp. 48-53
- Genesereth, M.¹ Katchpel, S.²

13
- 85037411532
- July. Draft Proposal 8807
- (1986) A Formal Description Technique based on the Temporal Ordering of Observational Behaviour

14
- 85053168642
- The agentis agent interaction model
- Paris, Springer Verlag
- (1998) Intelligent Agents V: Proc. of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI , vol.1555
- Kinny, D.¹

15
- 0003693565
- Technical Report TR CS-97-03, University of Maryland Baltimore County
- (1997) A proposal for a new KQML specification
- Labrou, Y.¹ Finin, T.²

16
- 0003993056
- Semantics for an agent communication language
- Providence, RI, Springer
- (1997) Intelligent Agents IV: Proc. of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), LNAI , vol.1365
- Labrou, Y.¹ Finin, T.²

17
- 0033097713
- Agent communication languages: The current landscape
- (1999) IEEE Intelligent Systems , vol.14 , Issue.2 , pp. 45-52
- Labrou, Y.¹ Finin, T.² Peng, Y.³

18
- 84957651835
- Evaluation of KQML as an agent communication language
- Montréal, Springer Verlag
- (1995) Intelligent Agents II: Proc. of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL-95), LNAI , vol.1037
- Mayfield, J.¹ Labrou, Y.² Finin, T.³

19
- 84880647681
- A protocol-based semantics for an agent communication language
- Stockholm
- (1999) Proc. of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99
- Pitt, J.¹ Mamdami, A.²

20
- 0003697738
- PhD thesis, Université De Rennes I, France
- (1991) Attitudes Mentales et Interaction Rationelle: vers une Théorie Formelle de la Communication
- Sadek, M.D.¹

21
- 0003488717
- Cambridge University Press
- (1969) Speech Acts: An Essay in the Philosophy of Language
- Searle, J.R.¹

22
- 0032294174
- Agent communication languages: Rethinking the principles
- December
- (1998) IEEE Computer , pp. 40-47
- Singh, M.P.¹

23
- 0004268551
- Prentice Hall, Hemel Hempstead
- (1992) The Z Notation (Second edition)
- Spivey, J.M.¹

24
- 0004788485
- Technical Report, Science University of Tokyo
- (1999) A Case Study on Model Checking Multi-agent Systems Using SMV
- Wen, W.¹ Mizoguchi, F.²

25
- 85029708112
- Verifiable semantics for agent communication languages
- Paris
- (1998) Proc. of the Third International Conference on Multi-Agent Systems (ICMAS-98)
- Wooldridge, M.¹

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