- Brazier , F.M.T. , Dunin-Keplicz , B. , Jennings , N.R. and Treur , J. Formal specification of multi-agent systems: a real-world case . Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-95 . Cambridge, MA. Edited by: Lesser , V. pp. 25 – 32 . MIT Press .
- Huhns , M. and Singh , M. , eds. 1997 . International Journal of Cooperative Information Systems , Cooperative Information Systems: Multi-Agent Systems Vol. 6 , 67 – 94 . Extended version in, Special issue on Formal Methods in
- Brazier , F.M.T. , Jonker , CM. and Treur , J. Principles of compositional multi-agent system development . Proceedings of the 15th IFIP World Computer Congress. WCC'98. Conference on Information Technology and Knowledge Systems, IT&KNOWS'98 . Edited by: Cuena , J. pp. 347 – 360 . Amsterdam : To be published by IOS Press .
- Brazier , F.M.T. , de Klark , D. A. , van Langen , P.H. G. and Treur , J. 1993 . “ A generic architecture for knowledge-based control of processes in dynamic environments ” . Techn. Report IR-347 Amsterdam : Department of Artificial Intelligence, Vrije universiteit .
- Cornelissen , F. , Jonker , CM. and Treur , J. Compositional verification of knowledge-based systems: a case study in diagnostic reasoning . Knowledge Acquisition, Modelling and Management, Proceedings of the 10th EKAW'97 . Edited by: Plaza , E. and Benjamins , R. Vol. 1319 , pp. 63 – 80 . Lecture notes in AI
- Jonker , CM. and Treur , J. Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness . Proceedings of the International Workshop on Compositionality, COMPOS'97 . Edited by: de Roever , W.P. , Langmaack , H. and Pnueli , A. Vol. 1536 , pp. 350 – 380 . Lecture Notes in Computer Science, Extended version in International Journal of Cooperative Information Systems. In press
- Manna , Z. and Pnueli , A. 1995 . Temporal Verification of Reactive Systems: Safety , Berlin : Springer Verlag .
- Sowa , J. 1984 . Conceptual structures: Information Processing in Mind and Machine , Reading, M. : AddisonWesley .
- Wooldridge , M. and Jennings , N.R. , eds. 1995a . Intelligent Agent , Lecture notes in Artificial Intelligence 890 Berlin : Springer Verlag .
- Wooldridge , M. and Jennings , N.R. 1995b . “ Agent theories, architectures, and languages: a survey ” . In Wooldridge and Jennings 1 – 39 . 1995a
- Choose new content alerts to be informed about new research of interest to you
- Easy remote access to your institution's subscriptions on any device, from any location
- Save your searches and schedule alerts to send you new results
- Export your search results into a .csv file to support your research