SCOPUS 정보 검색 플랫폼

Volumn , Issue 1, 2002, Pages 712-720

Specifying agent observable behaviour

Author keywords

Agent architectures; Agent based software engineering; Formalisms and logics

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FORMAL LOGIC; SOFTWARE ENGINEERING;

AGENT ARCHITECTURES;

MULTI AGENT SYSTEMS;

EID: 0036355135 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/544862.544913 Document Type: Conference Paper

Times cited : (6)

References (17)

2
- 0004287147
- North-Holland, Amsterdam, London, New York, Oxford, Paris, Shannon and Tokyo
- (2001) Handbook of Process Algebra
- Bergstra, J.A.¹ Ponse, A.² Smolka, S.A.³

3
- 0003403203
- Rapport de Researche, INRIA, Sophia Antipolis, Number 1702, May
- (1992) Asynchrony and the π-calculus
- Boudol, G.¹

4
- 0025403233
- Intention is choice with commitment
- (1990) Artificial Intelligence , vol.42 , Issue.2-3 , pp. 213-361
- Cohen, P.R.¹ Levesque, H.²

7
- 0017504498
- Viewing control structures as patterns of passing messages
- (1977) Artificial Intelligence , vol.8 , Issue.3 , pp. 323-364
- Hewitt, C.¹

8
- 0002278376
- Bergstra et al. [2], chapter 17
- Algebraic process verification , pp. 1151-1208
- Groote, M.R.J.F.¹

11
- 0032294174
- Agent communication languages: Rethinking the principles
- (1998) IEEE Computer , vol.31 , Issue.12 , pp. 40-47
- Singh, M.P.¹

12
- 23244457103
- Operational semantics for agent communication languages
- F. Dignum and M. Greaves, editors of LNAI. Springer-Verlag
- (2000) Issues in Agent Communication , vol.1916 , pp. 80-95
- Van Eijk, R.M.¹ De Boer, F.S.² Van der Hoek, W.³ Meyer, J.-J.C.⁴

13
- 0002164742
- On observation as a coordination pattern: An ontology and a formal framework
- Las Vegas (NV), 11-14 Mar. ACM
- (2001) 16th ACM Symposium on Applied Computing (SAC 2001) , pp. 166-175
- Viroli, M.¹ Moro, G.² Omicini, A.³

14
- 0010220748
- Modelling agents as observable sources
- (2002) Journal of Universal Computer Science , vol.8
- Viroli, M.¹ Omicini, A.²

15
- 33745476475
- A specification language for agents observable behaviour
- Las Vegas, USA, 24-27, June
- (2002) 2002 International Conference on Artificial Intelligence (IC-AI'02)
- Viroli, M.¹ Omicini, A.²

16
- 0010274410
- Towards an alternative semantics for FIPA ACL
- R. Trappl, editor, Vienna, Austria. Austrian Society for Cybernetic Studies. 16th European Meeting on Cybernetics and System Research (EMCSR 2002), 2-5 Apr. 2002, Vienna, Austria, Proceedings
- (2002) Cybernetics and Systems 2002 , vol.2 , pp. 689-694
- Viroli, M.¹ Omicini, A.²

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