Past 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.
	High Performance Knowledge Bases The goal of the project is to enable rapid construction of knowledge bases by knowledge engineers.
	Intelligent Question Answering in the HIV Domain Natural language technology and deductive inference are applied to allow a researcher to access online HIV databases through English queries.
	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.
	Research and Applications – Artificial Intelligence The fourth project centered around Shakey as a platform for investigating AI problems.
	Research in Advanced Formal Theorem-Proving Techniques AIC Historical Archive

Publications

The following are in reverse chronological order of publication.
Showing most recent 5 out of 52 [View All]

• Waldinger,R; Bobrow, D. G; Condoravdi, C. Richardson, K; Das, A. Accessing Structured Health Information through English Queries and Automatic Deduction , in Spring Symposium on AI and Health Communication, Stanford, CA., Mar 2011.  [PDF, Details]

• Amar K. Das, Cleo Condoravdi, Kyle Richardson, Daniel G. Bobrow, and Richard Waldinger . Answering Questions about HIV Drug Resistance using Natural Language Technology and Theorem Proving, Technical Report . SRI International, Feb 2011.  [PDF, Details]

• Richardson, Kyle D.; Bobrow, Daniel G.; Condoravdi, Cleo; Waldinger, Richard; and Das, Amar . English Access to Structured Data, in Fifth IEEE International Conference on Semantic Computing, 2011.  [PDF, Details]

• Forth, J. and Waldinger, R. Deductive Formation of Recursive Workflows. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control (ICAPS GenPlan 2009), Sep 2009.  [PDF, Details]

• Waldinger, R. and Shrager, J. Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment. AAAI Spring Symposium: Semantic Scientific Knowledge Integration, 2008.  [PDF, Details]