References
-
E. van Baars & R. Verbrugge. Knowledge-based algorithm for multi-agent communication, in: G. Bonanno, W. van der Hoek and M. Wooldridge (eds.), Proceedings of the Seventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT'06), Liverpool, University of Liverpool, 2006, pp. 227-236.
-
E. van Baars & R. Verbrugge. Adjusting a Knowledge-based Algorithm for Multi-agent communication for CPS, in M. Dastani, A. El Fallah-Seghrouchni, J. Leite and P. Torroni (eds.) Proceedings of the Intenational Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS), Durham University, Durham, 2007, pp. 17-32.
-
J. Y. Halpern and L. D. Zuck. A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM, 39(3):449--478, 1992.
-
J.-J. C. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.
-
F. Stulp and R. Verbrugge. A knowledge-based algorithm for the internet protocol TCP. Bulletin of Economic Research, 54(1), 2002, pp. 69-94.
-
M. Wooldridge and N.R. Jennings. The cooperative problem solving process. Journal of Logic & Computation, 9(4), 1999.