Aleta M. Ricciardi

Bibliography

Ricciardi, Aleta M. 1992. “Practical Utility of Knowledge-Based Analysis.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 15–28. San Francisco, California: Morgan Kaufmann Publishers.
Ricciardi, Aleta M. and Grissam, Paul. 1998. “Toward Software Synthesis for Distributed Applications.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 15–27. San Francisco, California: Morgan Kaufmann Publishers.