SRI's Artificial Intelligence Center 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. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   Background   >   Publications   >   Details
Space 1x1

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

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy