Richard J. Waldinger

According to our database1, Richard J. Waldinger
  • authored at least 60 papers between 1969 and 2016.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





In Memory of Mark Stickel.
J. Autom. Reasoning, 2016

English Access to Structured Data.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

Deducing answers to english questions from structured data.
Proceedings of the 16th International Conference on Intelligent User Interfaces, 2011

Accessing Structured Health Information through English Queries and Automatic Deduction.
Proceedings of the AI and Health Communication, 2011

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment.
Proceedings of the Semantic Scientific Knowledge Integration, 2008

Whatever Happened to Deductive Question Answering?
Proceedings of the Logic for Programming, 2007

Deductive Question Answering from Multiple Resources.
Proceedings of the New Directions in Question Answering, 2004

Program Synthesis for Multi-agent Question Answering.
Proceedings of the Verification: Theory and Practice, 2003

Consistency Checking of Semantic Web Ontologies.
Proceedings of the Semantic Web, 2002

Accessing Information and Services on the DAML-Enabled Web.
SemWeb, 2001

Web Agents Cooperating Deductively.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Using Prior Knowledge: Problems and Solutions.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

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

A Temporal Plan Theory.
WOCFAI, 1995

Annotation-Based Deduction in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming".
Addison-Wesley, ISBN: 978-0-201-54886-0, 1993

Fundamentals of Deductive Program Synthesis.
IEEE Trans. Software Eng., 1992

Proving Properties of Rule-Based Systems.
International Journal of Software Engineering and Knowledge Engineering, 1992

The Special-Relation Rules are Incomplete.
Proceedings of the Automated Deduction, 1992

Towards a Theory of Simultaneous Actions.
Proceedings of the European Workshop on Planning, 1991

Tutorial on Program-Synthetic Deduction.
Proceedings of the 10th International Conference on Automated Deduction, 1990

A Transaction Logic for Database Specification.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

The Origin of a Binary-Search Paradigm.
Sci. Comput. Program., 1987

How to Clear a Block: A Theory of Plans.
J. Autom. Reasoning, 1987

The Deductive Synthesis of Imperative LISP Programs.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

Tablog: Functional and Relational Programming in One Framework.
IEEE Software, 1986

Special relations in automated deduction.
J. ACM, 1986

Towards Deductive Synthesis of Dataflow Networks
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

How to Clear a Block: Plan Formation in Situational Logic.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

TABLOG: A New Approach To Logic Programming.
Logic Programming: Functions, Relations, and Equations, 1986

The Origin of the Binary-Search Paradigm.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Special Relations in Automated Deduction.
Proceedings of the Automata, 1985

Deduction with Relation Matching.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

TABLOG: The Deductive-Tableau Programming Language.
LISP and Functional Programming, 1984

Deductive Synthesis of the Unification Algorithm.
Sci. Comput. Program., 1981

Problematic Features of Programming Languages: A Situational-Calculus Approach.
Acta Inf., 1981

A Deductive Approach to Program Synthesis.
ACM Trans. Program. Lang. Syst., 1980

Synthesis: Dreams - Programs.
IEEE Trans. Software Eng., 1979

A Deductive Approach to Program Synthesis.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

The Logic of Computer Programming.
IEEE Trans. Software Eng., 1978

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

The Synthesis of Structure Changing Programs.
Proceedings of the 3rd International Conference on Software Engineering, 1978

The automatic synthesis of recursive programs.
SIGART Newsletter, 1977

The Automatic Synthesis of Systems of Recursive Programs.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.
Proceedings of the 2nd International Conference on Software Engineering, 1976

QLISP: a language for the interactive development of complex systems.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

Knowledge and Reasoning in Program Synthesis.
Artif. Intell., 1975

Knowledge and Reasoning in Program Synthesis.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

ARPA "automatic programming" meeting.
SIGART Newsletter, 1974

An Improved Program-Synthesizing Algorithm and Its Correctness.
Commun. ACM, 1974

Reasoning about Programs.
Artif. Intell., 1974

A more mechanical approach to program verification.
Proceedings of the Programming Symposium, 1974

Reasoning About Programs.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

An Assessment of Techniques for Proving Program Correctness.
ACM Comput. Surv., 1972

The QA4 language applied to robot planning.
AFIPS Fall Joint Computing Conference (2), 1972

Towards automatic program synthesis.
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Toward Automatic Program Synthesis.
Commun. ACM, 1971

A Language for Writing Problem-Solving Programs.
IFIP Congress (1), 1971

PROW: A Step Toward Automatic Program Writing.
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969