%0 Generic %A Waldinger, R., Jarvis, P., and Dungan, J. %E N. Dershowitz %T Program Synthesis for Multi-Agent Question Answering %B International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Mannas 64th Birthday %C Taormina, Sicily, Italy %I Springer Verlag, Lecture Notes in Computer Science %D 2003 %X Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrate the use of program synthesis techniques in a system that answers questions about geography. %U http://www.ai.sri.com/pubs/files/973.pdf
