Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in BibTeX Format

@INCOLLECTION{AICPub973:2003, AUTHOR={Waldinger, R., Jarvis, P., and Dungan, J.}, EDITOR={N. Dershowitz}, TITLE={Program Synthesis for Multi-Agent Question Answering}, BOOKTITLE={International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Manna’s 64th Birthday}, ADDRESS={Taormina, Sicily, Italy}, PUBLISHER={Springer Verlag, Lecture Notes in Computer Science}, MONTH={July}, YEAR={2003}, ABSTRACT={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.} }

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy