Publication Details

Program Synthesis for Multi-Agent Question Answering

by Waldinger, R., Jarvis, P., and Dungan, J.

in International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Manna’s 64th Birthday,

Edited by: N. Dershowitz
Published by Springer Verlag, Lecture Notes in Computer Science
Address: Taormina, Sicily, Italy
July 2003.

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.