Richard J. Waldinger

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