| Tài liệu tham khảo |
Loại |
Chi tiết |
| [18] Agent - Oriented Software Engineering, Nicholas R. Jennings and Michael Wooldridge, Department of Electronic Engineering, Queen Mary & Westfield College, University of London, London E1 4NS, United Kingdom |
Sách, tạp chí |
| Tiêu đề: |
Agent - Oriented Software Engineering |
| Tác giả: |
Nicholas R. Jennings, Michael Wooldridge |
| Nhà XB: |
Department of Electronic Engineering, Queen Mary & Westfield College, University of London |
|
| [19] G. Booch (1994) “Object - oriented analysis and design with applications” Addison Wesley |
Sách, tạp chí |
| Tiêu đề: |
Object - oriented analysis and design with applications |
|
| [20] F. P. Brooks (1995) “The mythical man - month” Addison Wesley. B. Chaib - draa (1995) “Industrial applications of distributed AI” Comms. of ACM |
Sách, tạp chí |
| Tiêu đề: |
The mythical man - month |
| Tác giả: |
F. P. Brooks |
| Nhà XB: |
Addison Wesley |
| Năm: |
1995 |
|
| [21] B. Chellas (1980) “Modal Logic: An Introduction” Cambridge University Press |
Sách, tạp chí |
| Tiêu đề: |
Modal Logic: An Introduction |
| Tác giả: |
B. Chellas |
| Nhà XB: |
Cambridge University Press |
| Năm: |
1980 |
|
| [22] E. M. Clarke and E. A. Emerson (1981) “Design and synthesis of synchronization skeletons using branching time temporal logic” In D. Kozen, editor, Logics of Programs (LNCS Volume 131), 52 - 71, Springer - Verlag |
Sách, tạp chí |
| Tiêu đề: |
Design and synthesis of synchronization skeletons using branching time temporal logic |
|
| [23] P. R. Cohen and H. J. Levesque (1990) “Intention is choice with commitment” Artificial Intelligence |
Sách, tạp chí |
| Tiêu đề: |
Intention is choice with commitment |
|
| [26] M. Fisher (1997) “An alternative approach to concurrent theorem proving” In J. Geller, H. Kitano, and C. B. Suttner, editors, Parallel Processing in Artificial Intelligence. Elsevier Science |
Sách, tạp chí |
| Tiêu đề: |
Parallel Processing in Artificial Intelligence |
| Tác giả: |
M. Fisher |
| Nhà XB: |
Elsevier Science |
| Năm: |
1997 |
|
| [27] M. Fisher and M. Wooldridge (1997) “On the formal specification and verification of multiagent systems” Int. Journal of Cooperative Information Systems 6 [28] E. Gamma, R. Helm, R. Johnson and J. Vlissides (1995) “Design patterns:elements of reusable object - oriented software” Addison Wesley |
Sách, tạp chí |
| Tiêu đề: |
On the formal specification and verification of multiagent systems |
| Tác giả: |
M. Fisher, M. Wooldridge |
| Nhà XB: |
Int. Journal of Cooperative Information Systems |
| Năm: |
1997 |
|
| [29] C. Guilfoyle and E. Warner (1994) “Intelligent agents: the new revolution in software” Ovum |
Sách, tạp chí |
| Tiêu đề: |
Intelligent agents: the new revolution in software |
| Tác giả: |
C. Guilfoyle, E. Warner |
| Nhà XB: |
Ovum |
| Năm: |
1994 |
|
| [30] J. Y. Halpern and M. Y. Vardi (1991) “Model checking versus theorem proving: A manifesto” In V. Lifschitz, editor, AI and Mathematical Theory of Computation Papers in Honor of John McCarthy, Academic Press |
Sách, tạp chí |
| Tiêu đề: |
Model checking versus theorem proving: A manifesto |
|
| [31] C. A. R. Hoare (1969) “An axiomatic basis for computer programming” Comms. of the ACM, 12 |
Sách, tạp chí |
| Tiêu đề: |
An axiomatic basis for computer programming |
| Tác giả: |
C. A. R. Hoare |
| Nhà XB: |
Comms. of the ACM |
| Năm: |
1969 |
|
| [32] P. C. Janca (1995) “Pragmatic application of information agents” BIS Strategic Report |
Sách, tạp chí |
| Tiêu đề: |
Pragmatic application of information agents |
|
| [33] N. R. Jennings and J. R. Campos (1997) “Towards a Social Level Characterisation of Socially Responsible Agents” IEE Proc. on Software Engineering [34] N. R. Jennings, K. Sycara and M. Wooldridge (1998) “A Roadmap of Agent Research and Development” Int Journal of Autonomous Agents and Multi - Agent Systems |
Sách, tạp chí |
| Tiêu đề: |
Towards a Social Level Characterisation of Socially Responsible Agents |
| Tác giả: |
N. R. Jennings, J. R. Campos |
| Nhà XB: |
IEE Proc. on Software Engineering |
| Năm: |
1997 |
|
| [35] N. R. Jennings and M. Wooldridge (eds. ) (1998) “Agent technology: foundations, applications and markets” Springer Verlag |
Sách, tạp chí |
| Tiêu đề: |
Agent technology: foundations, applications and markets |
|
| [36] D. Kinny and M. Georgeff (1997) “Modelling and design of multi - agent systems” In J. P. Mueller, M. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III. Springer - Verlag |
Sách, tạp chí |
| Tiêu đề: |
Modelling and design of multi - agent systems |
|
| [38] B. Meyer (1988) “Object - oriented software construction” Prentice Hall |
Sách, tạp chí |
| Tiêu đề: |
Object - oriented software construction |
| Tác giả: |
B. Meyer |
| Nhà XB: |
Prentice Hall |
| Năm: |
1988 |
|
| [40] A. Newell, (1993) “Reflections on the Knowledge Level” Artificial Intelligence [41] G. M. P. O’Hare and N. R. Jennings (editors) (1996) “Foundations of distributed artificial intelligence” John Wiley & Sons |
Sách, tạp chí |
| Tiêu đề: |
Foundations of distributed artificial intelligence |
| Tác giả: |
G. M. P. O’Hare, N. R. Jennings |
| Nhà XB: |
John Wiley & Sons |
| Năm: |
1996 |
|
| [42] H. V. D. Parunak (1999) “Industrial and practical applications of DAI” In G. Weiss, editor, Multi - Agent Systems, MIT Press |
Sách, tạp chí |
| Tiêu đề: |
Industrial and practical applications of DAI |
|
| [43] A. Pnueli (1986) “Specification and development of reactive systems” In Information Processing, Elsevier Science Publishers |
Sách, tạp chí |
| Tiêu đề: |
Specification and development of reactive systems |
|
| [44] A. Pnueli and R. Rosner (1989) “On the synthesis of a reactive module” In Proceedings of the 16th ACM Sym. on the Principles of Programming Languages |
Sách, tạp chí |
| Tiêu đề: |
On the synthesis of a reactive module |
|