Richard J. Waldinger

According to our database, Richard J. Waldinger authored at least 59 papers between 1969 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Zohar Manna (1939-2018).

Nachum Dershowitz, Richard Waldinger

Formal Aspects Comput., 2019

2017

Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.

Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

2016

In Memory of Mark Stickel.

Peter Baumgartner, Wolfgang Bibel, Richard Waldinger

J. Autom. Reason., 2016

2015

Natural Language Access to Data: It Takes Common Sense!

Cleo Condoravdi, Kyle Richardson, Vishal Sikka, Asuman Suenbuel, Richard Waldinger

Proceedings of the 2015 AAAI Spring Symposia, 2015

2011

English Access to Structured Data.

Kyle Richardson, Daniel G. Bobrow, Cleo Condoravdi, Richard J. Waldinger, Amar Das

Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

Deducing answers to english questions from structured data.

Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Richard J. Waldinger, Amar Das

Proceedings of the 16th International Conference on Intelligent User Interfaces, 2011

Accessing Structured Health Information through English Queries and Automatic Deduction.

Richard J. Waldinger, Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Amar Das

Proceedings of the AI and Health Communication, 2011

2008

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment.

Richard Waldinger, Jeff Shrager

Proceedings of the Semantic Scientific Knowledge Integration, 2008

2007

Whatever Happened to Deductive Question Answering?

Richard J. Waldinger

Proceedings of the Logic for Programming, 2007

2004

Deductive Question Answering from Multiple Resources.

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

Proceedings of the New Directions in Question Answering, 2004

2003

Program Synthesis for Multi-agent Question Answering.

Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan

Proceedings of the Verification: Theory and Practice, 2003

2002

Consistency Checking of Semantic Web Ontologies.

Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut

Proceedings of the Semantic Web, 2002

2001

Accessing Information and Services on the DAML-Enabled Web.

Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger

Proceedings of the Second International Workshop on the Semantic Web, 2001

2000

Web Agents Cooperating Deductively.

Richard J. Waldinger

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Using Prior Knowledge: Problems and Solutions.

Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998

Knowledge-Intensive Query Processing.

Barbara Starr, Vinay K. Chaudhri, Adam Farquhar, Richard J. Waldinger

Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

1995

A Temporal Plan Theory.

Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

Annotation-Based Deduction in Temporal Logic.

Hugh McGuire, Zohar Manna, Richard J. Waldinger

Proceedings of the Temporal Logic, First International Conference, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming".

Zohar Manna, Richard J. Waldinger

Addison-Wesley, ISBN: 978-0-201-54886-0, 1993

1992

Fundamentals of Deductive Program Synthesis.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1992

Proving Properties of Rule-Based Systems.

Richard J. Waldinger, Mark E. Stickel

Int. J. Softw. Eng. Knowl. Eng., 1992

The Special-Relation Rules are Incomplete.

Zohar Manna, Richard J. Waldinger

Proceedings of the Automated Deduction, 1992

1991

Towards a Theory of Simultaneous Actions.

Gerd Große, Richard J. Waldinger

Proceedings of the European Workshop on Planning, 1991

Monotonicity Properties in Automated Deduction.

Zohar Manna, Mark E. Stickel, Richard Waldinger

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Tutorial on Program-Synthetic Deduction.

Richard J. Waldinger

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

A Transaction Logic for Database Specification.

Xiaolei Qian, Richard J. Waldinger

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

1987

The Origin of a Binary-Search Paradigm.

Zohar Manna, Richard J. Waldinger

Sci. Comput. Program., 1987

How to Clear a Block: A Theory of Plans.

Zohar Manna, Richard J. Waldinger

J. Autom. Reason., 1987

The Deductive Synthesis of Imperative LISP Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Tablog: Functional and Relational Programming in One Framework.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

IEEE Softw., 1986

Special relations in automated deduction.

Zohar Manna, Richard J. Waldinger

J. ACM, 1986

Towards Deductive Synthesis of Dataflow Networks

Bengt Jonsson, Zohar Manna, Richard J. Waldinger

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

How to Clear a Block: Plan Formation in Situational Logic.

Zohar Manna, Richard J. Waldinger

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

TABLOG: A New Approach To Logic Programming.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

Deduction with Relation Matching.

Zohar Manna, Richard J. Waldinger

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

TABLOG: The Deductive-Tableau Programming Language.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1981

Deductive Synthesis of the Unification Algorithm.

Zohar Manna, Richard J. Waldinger

Sci. Comput. Program., 1981

Problematic Features of Programming Languages: A Situational-Calculus Approach.

Zohar Manna, Richard J. Waldinger

Acta Informatica, 1981

1980

A Deductive Approach to Program Synthesis.

Zohar Manna, Richard J. Waldinger

ACM Trans. Program. Lang. Syst., 1980

1979

Synthesis: Dreams - Programs.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1979

1978

The Logic of Computer Programming.

Zohar Manna, Richard J. Waldinger

IEEE Trans. Software Eng., 1978

Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).

Zohar Manna, Richard J. Waldinger

Commun. ACM, 1978

The Synthesis of Structure Changing Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 3rd International Conference on Software Engineering, 1978

DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer.

Zohar Manna, Richard Waldinger

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

The automatic synthesis of recursive programs.

Zohar Manna, Richard Waldinger

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

The Automatic Synthesis of Systems of Recursive Programs.

Zohar Manna, Richard J. Waldinger

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

QLISP: a language for the interactive development of complex systems.

Earl D. Sacerdoti, Richard E. Fikes, René Reboh, Daniel Sagalowicz, Richard J. Waldinger, B. Michael Wilber

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1975

Knowledge and Reasoning in Program Synthesis.

Zohar Manna, Richard J. Waldinger

Artif. Intell., 1975

1974

ARPA "automatic programming" meeting.

Richard Waldinger

SIGART Newsl., 1974

An Improved Program-Synthesizing Algorithm and Its Correctness.

Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger

Commun. ACM, 1974

Reasoning about Programs.

Richard J. Waldinger, Karl N. Levitt

Artif. Intell., 1974

A more mechanical approach to program verification.

Irene Greif, Richard J. Waldinger

Proceedings of the Programming Symposium, 1974

1972

An Assessment of Techniques for Proving Program Correctness.

Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman

ACM Comput. Surv., 1972

The QA4 language applied to robot planning.

Jan A. Derksen, Johns F. Rulifson, Richard J. Waldinger

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971

Towards automatic program synthesis.

Zohar Manna, Richard J. Waldinger

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Toward Automatic Program Synthesis.

Zohar Manna, Richard J. Waldinger

Commun. ACM, 1971

A Language for Writing Problem-Solving Programs.

Johns F. Rulifson, Richard J. Waldinger, Jan A. Derksen

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1969

PROW: A Step Toward Automatic Program Writing.

Richard J. Waldinger, Richard C. T. Lee

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969