AI Center ::Dr Richard J Waldinger

	Search \| Contact \| SRI Home

AIC Home > People > Dr Richard J Waldinger

Dr Richard J Waldinger

Principal Scientist
Artificial Intelligence Center

SRI International
Room EK292
333 Ravenswood Avenue
Menlo Park, CA 94025-3493
USA

Phone: (650) 859-2216
Fax: (650) 859-3735

Email:

Home Page: http://www.ai.sri.com/~waldinge

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

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]
Anlauff, M., Pavlovic, D., Waldinger, R., and Westfold, S. Proving Authentication Properties in the Protocol Derivation Assistant, in FLoC-06 Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, Springer Lecture Notes in Computer Science, August 2006. [PDF, Details]

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