Richard Waldinger

Publication Activity (10 Years)

Years Active: 1974-2019
Publications (10 Years): 3

Top Topics

Natural Language

Top Venues

Formal Aspects Comput.

AAAI Spring Symposia

J. Autom. Reason.

Publications

Nachum Dershowitz, Richard Waldinger
Zohar Manna (1939-2018). Formal Aspects Comput. 31 (6) (2019)
Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach. NCA (2017)
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
In Memory of Mark Stickel. J. Autom. Reason. 56 (2) (2016)
Cleo Condoravdi, Kyle Richardson, Vishal Sikka, Asuman Suenbuel, Richard Waldinger
Natural Language Access to Data: It Takes Common Sense! AAAI Spring Symposia (2015)
Richard Waldinger, Jeff Shrager
Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment. AAAI Spring Symposium: Semantic Scientific Knowledge Integration (2008)
Zohar Manna, Mark E. Stickel, Richard Waldinger
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation (1991)
Zohar Manna, Richard Waldinger
A Deductive Approach to Program Synthesis. IJCAI (1979)
Zohar Manna, Richard Waldinger
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer. AFIPS National Computer Conference (1978)
Zohar Manna, Richard Waldinger
The automatic synthesis of recursive programs. Artificial Intelligence and Programming Languages (1977)
Richard Waldinger
ARPA "automatic programming" meeting. SIGART Newsl. 44 (1974)