Richard J. Waldinger
According to our database1, Richard J. Waldinger authored at least 61 papers between 1969 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017
In Memory of Mark Stickel.
J. Autom. Reasoning, 2016
Natural Language Access to Data: It Takes Common Sense!
Proceedings of the 2015 AAAI Spring Symposia, 2015
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.
Proceedings of the Second International Workshop on the Semantic Web, 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.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 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
Monotonicity Properties in Automated Deduction.
Proceedings of the Artificial and Mathematical Theory of Computation, 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
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.
Proceedings of the 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.
Proceedings of the 1984 ACM Conference on 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
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
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 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
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.
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
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.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971
PROW: A Step Toward Automatic Program Writing.
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969