PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Waldinger, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Natural language access to data : it takes common sense!

, , , , and . Logical formalizations of commonsense reasoning : papers from the AAAI spring symposium, 2015,4, page 53-59. Palo Alto, Calif., AAAI Press, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Richard Völker University of Stuttgart

Univ. -Prof. Dr. Richard Dipper University of Stuttgart

Richard Powers University of Stuttgart

Richard Schömig University of Stuttgart

Richard Schmähl University of Stuttgart

 

Other publications of authors with the same name

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment., and . AAAI Spring Symposium: Semantic Scientific Knowledge Integration, page 109-113. AAAI, (2008)Natural language access to data : it takes common sense!, , , , and . Logical formalizations of commonsense reasoning : papers from the AAAI spring symposium, 2015,4, page 53-59. Palo Alto, Calif., AAAI Press, (2015)Monotonicity Properties in Automated Deduction., , and . Artificial and Mathematical Theory of Computation, page 261-280. Academic Press / Elsevier, (1991)DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer., and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 683-690. AFIPS Press, (1978)In Memory of Mark Stickel., , and . J. Autom. Reasoning, 56 (2): 95-98 (2016)ARPA äutomatic programming" meeting.. SIGART Newsletter, (1974)The automatic synthesis of recursive programs., and . SIGART Newsletter, (1977)Zohar Manna (1939-2018)., and . Formal Asp. Comput., 31 (6): 643-660 (2019)A Deductive Approach to Program Synthesis., and . IJCAI, page 542-551. William Kaufmann, (1979)The Origin of a Binary-Search Paradigm., and . Sci. Comput. Program., 9 (1): 37-83 (1987)