SCOPUS 정보 검색 플랫폼

IEEE Intelligent Systems

Volumn 19, Issue 5, 2004, Pages 46-52

Model checking rational agents

(4) Bordini, Rafael H a Fisher, Michael b Wooldridge, Michael b,d Visser, Willem b,c

a DURHAM UNIVERSITY (United Kingdom)

b UNIVERSITY OF LIVERPOOL (United Kingdom)

c Research Institute for Advanced Computer Science (United States)

d NASA AMES RESEARCH CENTER (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-ORIENTED PROGRAMMING; COMPUTER PROGRAMMING LANGUAGE- AGENTSPEAK; MODEL-CHECKING TECHNIQUES; PROPERTY-BASED SLICING METHOD;

AUTOMATION; AUTONOMOUS AGENTS; CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; OBJECT ORIENTED PROGRAMMING; RESOURCE ALLOCATION; SPECIFICATIONS;

MULTI AGENT SYSTEMS;

EID: 12844288959 PISSN: 15411672 EISSN: None Source Type: Journal
DOI: 10.1109/MIS.2004.47 Document Type: Article

Times cited : (49)

References (8)

1
- 0003810283
- MIT Press
- M. Wooldridge, Reasoning about Rational Agents, MIT Press, 2000.
- (2000) Reasoning about Rational Agents
- Wooldridge, M.¹

2
- 84960853881
- Model checking programs
- IEEE CS Press
- W. Visser et al., "Model Checking Programs," Proc. 15th Int'l Conf. Automated Software Eng. (ASE 2000), IEEE CS Press, 2000, pp. 3-12.
- (2000) Proc. 15th Int'l Conf. Automated Software Eng. (ASE 2000) , pp. 3-12
- Visser, W.¹

3
- 84948966261
- AgentSpeak(L): BDI agents speak out in a logical computable language
- LNAI1038, Springer-Verlag
- A.S. Rao, "AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language," Proc. 7th Workshop Modeling Autonomous Agents in a Multiagent World (MAAMAW 96), LNAI1038, Springer-Verlag, 1996, pp. 42-55.
- (1996) Proc. 7th Workshop Modeling Autonomous Agents in a Multiagent World (MAAMAW 96) , pp. 42-55
- Rao, A.S.¹

4
- 1242265512
- Model checking AgentSpeak
- ACM Press
- R.H. Bordini et al., "Model Checking AgentSpeak," Proc. 2nd Int'l Joint Conf. Autonomous Agents and Multiagent Systems (AAMAS 2003), ACM Press, 2003, pp. 409-416.
- (2003) Proc. 2nd Int'l Joint Conf. Autonomous Agents and Multiagent Systems (AAMAS 2003) , pp. 409-416
- Bordini, R.H.¹

5
- 0032598580
- Autonomous rovers for mars exploration
- IEEE Press
- R. Washington et al., "Autonomous Rovers for Mars Exploration," Proc. Aerospace Conf., IEEE Press, 1999, pp. 237-251.
- (1999) Proc. Aerospace Conf. , pp. 237-251
- Washington, R.¹

6
- 0000990322
- A survey of program slicing techniques
- F. Tip, "A Survey of Program Slicing Techniques," J. Programming Languages, vol. 3, no. 3, 1995, pp. 121-189.
- (1995) J. Programming Languages , vol.3 , Issue.3 , pp. 121-189
- Tip, F.¹

7
- 4544273173
- State-space reduction techniques in agent verification
- ACM Press
- R.H. Bordini et al., "State-Space Reduction Techniques in Agent Verification," Proc. 3rd Int'l Joint Conf. Autonomous Agents and Multiagent Systems (AAMAS 2004), ACM Press, 2004, pp. 896-903.
- (2004) Proc. 3rd Int'l Joint Conf. Autonomous Agents and Multiagent Systems (AAMAS 2004) , pp. 896-903
- Bordini, R.H.¹

8
- 12844284333
- Temporal development methods for agent-based systems
- to be published in
- M. Fisher, "Temporal Development Methods for Agent-Based Systems," to be published in J. Autonomous Agents and Multiagent Systems, 2004.
- (2004) J. Autonomous Agents and Multiagent Systems
- Fisher, M.¹

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