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.
	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 48 [View All]

• 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]

• Shrager, Jeff; Waldinger, Richard; Stickel, Mark; and Massar, J. P. Deductive Biocomputing, Technical Note . AI Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, April 2007.  [PDF, Details]

• Shrager, Jeff; Waldinger, Richard; Stickel, Mark; and Massar, J. P. Deductive Biocomputing. PLoS ONE, vol. 2, no. 4, pp. e339, April 2007.  [PDF, Details]

• Richard Waldinger. Whatever Happened to Deductive Question Answering?, in 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Springer-Verlag, 2007.  [PDF, Details]