( en | de | ru )

 

Disambiguation of "Waldinger, Richard J."

Author of the publication

copydeleteadd this publication to your clipboard
Using Prior Knowledge: Problems and Solutions.

, , , and . AAAI/IAAI, page 436-442. AAAI Press / The MIT Press, (2000)

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.

Dorothea Waldinger

Kurt Waldinger

Inge Waldinger

Claudia Waldinger

Richard J Saley

 

Other publications of authors with the same name

The Synthesis of Structure Changing Programs., and . ICSE, page 175-187. IEEE Computer Society, (1978)Web Agents Cooperating Deductively.. FAABS, volume 1871 of Lecture Notes in Computer Science, page 250-262. Springer, (2000)The Origin of a Binary-Search Paradigm., and . Sci. Comput. Program., 9 (1): 37-83 (1987)Accessing Information and Services on the DAML-Enabled Web., , , , and . SemWeb, volume 40 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)Consistency Checking of Semantic Web Ontologies., , , and . ISWC, volume 2342 of Lecture Notes in Computer Science, page 454-459. Springer, (2002)How to Clear a Block: Plan Formation in Situational Logic., and . CADE, volume 230 of Lecture Notes in Computer Science, page 622-640. Springer, (1986)The Special-Relation Rules are Incomplete., and . CADE, volume 607 of Lecture Notes in Computer Science, page 492-506. Springer, (1992)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , and . CADE, volume 814 of Lecture Notes in Computer Science, page 341-355. Springer, (1994)Knowledge and Reasoning in Program Synthesis., and . IJCAI, page 288-295. (1975)A Temporal Plan Theory., , and . WOCFAI, page 253-261. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)