The following are sorted by reverse chronological order of publication.
48 publications found:
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]
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]
Waldinger, R. and Shrager, J. Deductive Discovery and Composition of Resources, in RoW2006: Reasoning on the Web, Edinburgh, Scotland, May 2006. [PDF, Details]
Waldinger, R. and Appelt, D. E. and Fry, J. and Israel, D. J. and Jarvis, P. and Martin, D. and Riehemann, S. and Stickel, M. E. and Tyson, M. and Hobbs, J. and Dungan, J. L. Deductive Question Answering from Multiple Resourcesin New Directions in Question Answering, AAAI, 2004. [PDF, Details]
Waldinger, R. , Jarvis, P., and Dungan, J. Using Deduction to Choreograph Multiple Data Sources, in Semantic Web Technologies for Searching and Retrieving, Sanibel Island, Florida, Oct 2003. [PDF, Details]
Waldinger, R., Jarvis, P., and Dungan, J. Program Synthesis for Multi-Agent Question Answeringin International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Manna’s 64th Birthday, Springer Verlag, Lecture Notes in Computer Science, July 2003. [PDF, Details]
Waldinger, R., Jarvis, P., and Dungan, J. Pointing to Places in a Deductive Geospatial Theory, in Workshop on Analysis of Geographical References; Human Language Technology Conference , Edmonton, Canada, pp. 10–17, May–Jun 2003. [PDF, Details]
Waldinger, R., Reddy, M., Culy, C., Hobbs, J., and Dungan, J. Deductive Response to Geographic Queries, in GIScience 2002, Boulder, CO, Sep 2002. [PDF, Details]
Baclawski, K.,Kokar, M., Waldinger, R. and Kogut, P. Consistency checking of semantic web ontologies, in International Semantic Web Conference ISWC02 proceedings, Springer-Verlag Heidelberg, vol. LNCS 2342, pp. 454-459, 2002. [PDF, Details]
Waldinger, R., Reddy, M., Culy, C., Hobbs, J., and Dungan, J. Deductive Coordination of Multiple Geospatial Knowledge Sources, in American Geophysical Union, Fall Meeting, San Francisco, CA, December 4-10 2002. [PDF, Details]
G. Denker and J.R. Hobbs and D. Martin and S. Narayanan and R. Waldinger. Accessing Information and Services on the DAML-Enabled Web, in 2nd. Intern. Workshop on the Semantic Web, Hong Kong, May 2001. [Details]
Chaudhri, Vinay K. and Stickel, Mark E. and Thomere, Jerome F. and Waldinger, Richard J. Reusing Prior Knowledge: Problems and Solutions, in Proceedings of the National Conference on Artificial Intelligence, Jul 2000. [PDF, Details]
Stickel, Mark E. and Waldinger, Richard J. and Chaudhri, Vinay K. A Guide to SNARK, Technical Note Unassigned. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, May 2000. [PDF, Details]
Chaudhri, Vinay K. and Waldinger, Richard and Starr, Barbara and Good, Benjamin. Pragmatic Axiomatization Techniques, Technical Report . SRI International, 2000. [PDF, Details]
Starr, Barbara and Chaudhri, Vinay K. and Farquhar, Adam and Waldinger, Richard. Knowledge Intesive Query Processing, in Proceedings of the 5th International Workshop Knowledge Representation Meets Databases (KRDB'98), Seattle, USA, 1997. [PS, Details]
Stickel, Mark and Waldinger, Richard and Lowry, Michael and Pressburger, Thomas and Underwood, Ian. The deductive composition of astronomical softwared from subroutine libraries, in Twelfth International Conference on Automated Deduction (CADE), Nancy, France, pp. 341-355, Jun 1994. [PS, Details]
Manna, Z., and Waldinger, R. Deductive Foundations of Computer ProgrammingAddison-Wesley, 1993. [Details]
Waldinger, Richard, Manna, Zohar. Fundamentals Of Deductive Program Synthesis, Technical Note 503. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1992. [PDF, Details]
Waldinger, Richard J. and Stickel, Mark E. Proving Properties Of Rule-Based Systems, Technical Note 494. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1990. [PDF, Details]
Manna, Z., and Waldinger, R. Logical Basis for Computer ProgrammingAddison-Wesley, 1990. [Details]
Manna, Zohar and Waldinger, Richard. How To Clear A Block: A Theory Of Plans, Technical Note 397. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1986. [PDF, Details]
Waldinger, Richard and Manna, Zohar. The Origin Of The Binary-Search Paradigm, Technical Note 351. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Oct 1986. [PDF, Details]
Manna, Zohar and Waldinger, Richard. Special Relations In Automated Deduction, Technical Note 355. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1985. [PDF, Details]
Waldinger, Richard and Malachi, Yonathan and Manna, Zohar. Tablog: The Deductive-Tableau Programming Language, Technical Note 328. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Sep 1984. [PDF, Details]
Manna, Zohar and Waldinger, Richard. Deductive Synthesis Of The Unification Algorithm, Technical Note 246. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1981. [PDF, Details]
Manna, Zohar and Waldinger, Richard. Problematic Features Of Programming Languages: Situational-Calculus, Approach Part I: Assignment Statements, Technical Note 226. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1980. [Details]
Manna, Zohar and Waldinger, Richard. A Deductive Approach To Program Synthesis, Technical Note 177. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Dec 1978. [PDF, Details]
Waldinger, Richard and Manna, Zohar. Synthesis: Dreams == Programs, Technical Note 156. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1977. [PDF, Details]
Waldinger, Richard and Manna, Zohar. The Logic Of Computer Programming, Technical Note 154. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Aug 1977. [PDF, Details]
Manna, Zohar and Waldinger, Richard. Is ``Sometime'' Sometimes Better Than ``Always?'' Intermittent, Assertion In Proving Program Correctness, Technical Note 132. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1976. [PDF, Details]
Sacerdoti, Earl and Fikes, Richard and Reboh, Rene and Sagalowicz, Daniel and Waldinger, Richard and Wilber, B. Michael. Qlisp: A Language For The Interactive Development Of Complex Systems, Technical Note 120. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1976. [PDF, Details]
Waldinger, Richard. Achieving Several Goals Simultaneously, Technical Note 107. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jul 1975. [PDF, Details]
Manna, Zohar and Waldinger, R. J. Knowledge and Reasoning In Program Synthesis, Technical Note 98. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1974. [PDF, Details]
Waldinger, R. J. and Levitt, K. N. Reasoning About Programs, Technical Note 86. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Mar 1974. [PDF, Details]
Raphael, B., Fikes, R., and Waldinger, R. Research in Advanced Formal Theorem-Proving Techniques, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1973. [PDF, Details]
Raphael, B., Fikes, R., and Waldinger, R. Final Report for SRI Project 8721, Technical Report . Stanford Research Institute, 1973. [PDF, Details]
Rulifson, J. F. and Derksen, J. A. and Waldinger, R. J. QA4: A Procedural Calculus For Intuitive Reasoning, Technical Note 73. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1972. [PDF, Details]
Derksen, Jan, Rulifson, Johns F., and Waldinger, Richard J. QA4 Language Applied to Robot Planning, Technical Note 65. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972. [PDF, Details]
Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, April 1971. [PDF, Details]
Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A. A Language for Writing Problem-Solving Programs, Technical Note 48. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Apr 1971. [PDF, Details]
Manna, Zohar, and Waldinger, Richard J. On Program Synthesis and Program Verification, Technical Note 52. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1970. [PDF, Details]
Raphael, B. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, November 1970. [PDF, Details]
Manna, Zohar and Waldinger, Richard J. Towards Automatic Program Synthesis, Technical Note 34. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, July 1970. [PDF, Details]
Waldinger, R. J., Rulifson., and Nilsson, N. J. Research on Automatic Program-Synthesis Systems, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1970. [PDF, Details]
