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 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.

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.

Electronic Copies


Adobe PDF

Postscript

BibTeX

EndNote

Associated Projects

Aquaint

Aquaint: From Question-Answering to Information Seeking Dialogs

From question-answering to information-seeking dialogs.

Deductive Composition

Deductive Composition of Multiple Data Sources

A framework is being developed for composing answers to queries, using automated deduction and multi-agent information brokering, based on multiple information sources. The technology is being applied to answering geographical queries for ecological modeling, based on NASA EOSDIS satellite imagery, map data, and gazetteer information.

DAML

Knowledge Creation Tools for DAML

This project is building ontologies and tools in support of the Semantic Web, as part of the DARPA Agent Markup Language program.

Automatic Program Synthesis

The Automatic Synthesis Of Computer Programs

AIC Personnel

Name Title E-mail
Jarvis, Peter A Alumnus
Waldinger, Richard J Principal Scientist

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