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

메뉴 건너뛰기

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 952-959

Model checking multi-agent systems with MABLE

(4) Wooldridge, Michael a Fisher, Michael a Huget, Marc Philippe a Parsons, Simon a

a UNIVERSITY OF LIVERPOOL (United Kingdom)

Author keywords

Agents; Model Checking; Programming; Verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PROGRAM COMPILERS; SEMANTICS;

MULTIAGENT SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 0036368933 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/544964.544965 Document Type: Conference Paper

Times cited : (114)

References (23)

1
- 0032090062
- Model checking multi-agent systems
- (1998) Journal of Logic and Computation , vol.8 , Issue.3 , pp. 401-424
- Benerecetti, M.¹ Ginnchiglia, F.² Serafini, L.³

2
- 0004232390
- Cambridge University Press: Cambridge, England
- (1980) Modal Logic: An Introduction
- Chellas, B.¹

3
- 0004280480
- Springer-Verlag: Berlin, Germany
- (1981) Programming in Prolog
- Clocksin, W.F.¹ Mellish, C.S.²

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

5
- 0002629533
- Rational interaction as the basis for communication
- P. R. Cohen, J. Morgan, and M. E. Pollack, editors. The MIT Press: Cambridge, MA
- (1990) Intentions in Communication , pp. 221-256
- Cohen, P.R.¹ Levesque, H.J.²

6
- 0022514018
- 'Sometimes' and 'not never' revisited: On branching time versus linear time temporal logic
- (1986) Journal of the ACM , vol.33 , Issue.1 , pp. 151-178
- Emerson, E.A.¹ Halpem, J.Y.²

7
- 0003730235
- The MIT Press: Cambridge, MA
- (1995) Reasoning About Knowledge
- Fagin, R.¹ Halpern, J.Y.² Moses, Y.³ Vardi, M.Y.⁴

8
- 85159745075

9
- 0003879225
- The MIT Press: Cambridge, MA
- (2000) Dynamic Logic
- Harel, D.¹ Kozen, D.² Tiuryn, J.³

10
- 0033478151
- Agent programming in 3APL
- (1999) Autonomous Agents and Multi-Agent Systems , vol.2 , Issue.4 , pp. 357-402
- Hindriks, K.V.¹ De Boer, F.S.² Van Der Hock, W.³ Meyer, J.-J.Ch.⁴

11
- 0003406298
- Prentice Hall International: Hemel Hempstead, England
- (1991) Design and Validation of Computer Protocols
- Holzmann, G.¹

12
- 18944390941
- The spin model checker
- May
- (1997) IEEE Transaction on Software Engineering , vol.23 , Issue.5 , pp. 279-295
- Holzmann, G.¹

13
- 84957667772
- Foundations of a logical approach to agent programming
- M. Wooldridge, J. P. Müller, and M. Tambe, editors, LNAI. Springer-Verlag
- (1996) Intelligent Agents II , vol.1037 , pp. 331-346
- Lésperance, Y.¹ Levesque, H.J.² Lin, F.³ Marcu, D.⁴ Reiter, R.⁵ Scherl, R.B.⁶

14
- 0003799504
- Springer-Verlag: Berlin, Germany
- (1992) The Temporal Logic of Reactive and Concurrent Systems
- Manna, Z.¹ Pnueli, A.²

15
- 0003572108
- Springer-Verlag: Berlin, Germany
- (1995) Temporal Verification of Reactive Systems - Safety
- Manna, Z.¹ Pnueli, A.²

16
- 84948966261
- AgentSpeak(L): BDI agents speak out in a logical computable language
- W. Van de Velde and J. W. Perram, editors, LNAI Springer-Verlag
- (1996) Agents Breaking Away: Proc. Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World , vol.1038 , pp. 42-55
- Rao, A.S.¹

17
- 0032092102
- Decision procedures for BDI logics
- (1998) Journal of Logic and Computation , vol.8 , Issue.3 , pp. 293-344
- Rao, A.S.¹ Georgeff, M.²

18
- 0002859109
- An abstract architecture for rational agents
- C. Rich, W. Swartout, and B. Nebel, editors
- (1992) Proc. Knowledge Representation and Reasoning , pp. 439-449
- Rao, A.S.¹ Georgeff, M.P.²

19
- 0027560432
- Agent-oriented programming
- (1993) Artificial Intelligence , vol.60 , Issue.1 , pp. 51-92
- Shoham, Y.¹

20
- 0004273499
- The MIT Press: Cambridge, MA
- (1993) The Formal Semantics of Programming Languages
- Winskel, G.¹

21
- 84962069609
- Computationally grounded theories of agency
- Boston, MA
- (2000) Proc. Fourth International Conference on Multi-Agent Systems (ICMAS-2000) , pp. 13-20
- Wooldridge, M.¹

22
- 0003810283
- The MIT Press: Cambridge, MA
- (2000) Reasoning about Rational Agents
- Wooldridge, M.¹

23
- 84972263711
- Intelligent agents: Theory and practice
- (1995) The Knowledge Engineering Review , vol.10 , Issue.2 , pp. 115-152
- Wooldridge, M.¹ Jennings, N.R.²

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