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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2011
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

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

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

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

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

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

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

2000
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

1998
Knowledge-Intensive Query Processing.
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.
WOCFAI, 1995

1994
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

1993
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

1992
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

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

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

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

1987
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

1986
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

1985
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

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

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

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

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

1979
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

1978
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

1977
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

1976
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

1975
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

1974
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

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

1972
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

1971
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

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


  Loading...