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: From Question-Answering to Information Seeking Dialogs From question-answering to information-seeking dialogs.
	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.
	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.
	The Automatic Synthesis Of Computer Programs

AIC Personnel

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