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 EndNote Format

%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 Manna’s 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

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