Richard J. Waldinger

Publication Activity (10 Years)

Years Active: 1969-2011
Publications (10 Years): 0

Publications

Richard J. Waldinger, Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Amar Das
Accessing Structured Health Information through English Queries and Automatic Deduction. AAAI Spring Symposium: AI and Health Communication (2011)
Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Richard J. Waldinger, Amar Das
Deducing answers to english questions from structured data. IUI (2011)
Kyle Richardson, Daniel G. Bobrow, Cleo Condoravdi, Richard J. Waldinger, Amar Das
English Access to Structured Data. ICSC (2011)
Richard J. Waldinger
Whatever Happened to Deductive Question Answering? LPAR (2007)
Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Z. Riehemann, Mark E. Stickel, Mabry Tyson
Deductive Question Answering from Multiple Resources. New Directions in Question Answering (2004)
Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan
Program Synthesis for Multi-agent Question Answering. Verification: Theory and Practice (2003)
Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut
Consistency Checking of Semantic Web Ontologies. ISWC (2002)
Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger
Accessing Information and Services on the DAML-Enabled Web. SemWeb (2001)
Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger
Using Prior Knowledge: Problems and Solutions. AAAI/IAAI (2000)
Richard J. Waldinger
Web Agents Cooperating Deductively. FAABS (2000)
Barbara Starr, Vinay K. Chaudhri, Adam Farquhar, Richard J. Waldinger
Knowledge-Intensive Query Processing. KRDB (1998)
Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger
A Temporal Plan Theory. WOCFAI (1995)
Hugh McGuire, Zohar Manna, Richard J. Waldinger
Annotation-Based Deduction in Temporal Logic. ICTL (1994)
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE (1994)
Zohar Manna, Richard J. Waldinger
The Special-Relation Rules are Incomplete. CADE (1992)
Richard J. Waldinger, Mark E. Stickel
Proving Properties of Rule-Based Systems. Int. J. Softw. Eng. Knowl. Eng. 2 (1) (1992)
Zohar Manna, Richard J. Waldinger
Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18 (8) (1992)
Gerd Große, Richard J. Waldinger
Towards a Theory of Simultaneous Actions. EWSP (1991)
Richard J. Waldinger
Tutorial on Program-Synthetic Deduction. CADE (1990)
Xiaolei Qian, Richard J. Waldinger
A Transaction Logic for Database Specification. SIGMOD Conference (1988)
Zohar Manna, Richard J. Waldinger
The Deductive Synthesis of Imperative LISP Programs. AAAI (1987)
Zohar Manna, Richard J. Waldinger
How to Clear a Block: A Theory of Plans. J. Autom. Reason. 3 (4) (1987)
Zohar Manna, Richard J. Waldinger
The Origin of a Binary-Search Paradigm. Sci. Comput. Program. 9 (1) (1987)
Zohar Manna, Richard J. Waldinger
How to Clear a Block: Plan Formation in Situational Logic. CADE (1986)
Yonathan Malachi, Zohar Manna, Richard J. Waldinger
Tablog: Functional and Relational Programming in One Framework. IEEE Softw. 3 (1) (1986)
Bengt Jonsson, Zohar Manna, Richard J. Waldinger
Towards Deductive Synthesis of Dataflow Networks LICS (1986)
Zohar Manna, Richard J. Waldinger
Special relations in automated deduction. J. ACM 33 (1) (1986)
Zohar Manna, Richard J. Waldinger
Deduction with Relation Matching. FSTTCS (1985)
Zohar Manna, Richard J. Waldinger
Special Relations in Automated Deduction. ICALP (1985)
Zohar Manna, Richard J. Waldinger
The Origin of the Binary-Search Paradigm. IJCAI (1985)
Yonathan Malachi, Zohar Manna, Richard J. Waldinger
TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming (1984)
Zohar Manna, Richard J. Waldinger
Deductive Synthesis of the Unification Algorithm. Sci. Comput. Program. 1 (1-2) (1981)
Zohar Manna, Richard J. Waldinger
Problematic Features of Programming Languages: A Situational-Calculus Approach. Acta Informatica 16 (1981)
Zohar Manna, Richard J. Waldinger
A Deductive Approach to Program Synthesis. ACM Trans. Program. Lang. Syst. 2 (1) (1980)
Zohar Manna, Richard J. Waldinger
Synthesis: Dreams - Programs. IEEE Trans. Software Eng. 5 (4) (1979)
Zohar Manna, Richard J. Waldinger
The Logic of Computer Programming. IEEE Trans. Software Eng. 4 (3) (1978)
Zohar Manna, Richard J. Waldinger
The Synthesis of Structure Changing Programs. ICSE (1978)
Zohar Manna, Richard J. Waldinger
Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness). Commun. ACM 21 (2) (1978)
Zohar Manna, Richard J. Waldinger
The Automatic Synthesis of Systems of Recursive Programs. IJCAI (1977)
Earl D. Sacerdoti, Richard E. Fikes, René Reboh, Daniel Sagalowicz, Richard J. Waldinger, B. Michael Wilber
QLISP: a language for the interactive development of complex systems. AFIPS National Computer Conference (1976)
Zohar Manna, Richard J. Waldinger
Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. ICSE (1976)
Richard J. Waldinger, Zohar Manna
Knowledge and Reasoning in Program Synthesis. IJCAI (1975)
Zohar Manna, Richard J. Waldinger
Knowledge and Reasoning in Program Synthesis. Artif. Intell. 6 (2) (1975)
Irene Greif, Richard J. Waldinger
A more mechanical approach to program verification. Symposium on Programming (1974)
Richard J. Waldinger, Karl N. Levitt
Reasoning about Programs. Artif. Intell. 5 (3) (1974)
Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger
An Improved Program-Synthesizing Algorithm and Its Correctness. Commun. ACM 17 (4) (1974)
Richard J. Waldinger, Karl N. Levitt
Reasoning About Programs. POPL (1973)
Jan A. Derksen, Johns F. Rulifson, Richard J. Waldinger
The QA4 language applied to robot planning. AFIPS Fall Joint Computing Conference (2) (1972)
Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman
An Assessment of Techniques for Proving Program Correctness. ACM Comput. Surv. 4 (2) (1972)
Zohar Manna, Richard J. Waldinger
Toward Automatic Program Synthesis. Commun. ACM 14 (3) (1971)
Johns F. Rulifson, Richard J. Waldinger, Jan A. Derksen
A Language for Writing Problem-Solving Programs. IFIP Congress (1) (1971)
Richard J. Waldinger, Richard C. T. Lee
PROW: A Step Toward Automatic Program Writing. IJCAI (1969)