1. M. Abadi and J. Halpern. Decidability and Expressiveness for First-Order Logics of Probability. In Procs of IEEE Symp. on Foundations of Computer Science, 30, 1989.
2. F. Bacchus. Lp, a Logic for Representing and Reasoning with Statistical Knowledge. Computational Intelligence, 6:209–301, 1990.
3. B. Chaib-Draa and F. Dignun. Trends in Agent Communication Language. Computational Intelligence v. 2, n. 5. Cambridge, MA: Blackwell Publ., 2002
4. P. Cohen and H. Levesque. Rational Interaction as the Basis for Communication, In P. Cohen, J. Morgan and M. Pollack (Ed.). Intentions in Communication. Cambridge, MA: MIT Press, 1990.
5. P. Cohen and H. Levesque. Communicative Actions for Artifical Agents. In Procs of ICMAS-95. San Francisco. Cambridge: MIT Press, 1995.