Author of the publication

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.

 

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)Consistency Checking of Semantic Web Ontologies., , , and . ISWC, volume 2342 of Lecture Notes in Computer Science, page 454-459. Springer, (2002)Accessing Information and Services on the DAML-Enabled Web., , , , and . SemWeb, volume 40 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)A Temporal Plan Theory., , and . WOCFAI, page 253-261. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)A Language for Writing Problem-Solving Programs., , and . IFIP Congress (1), page 201-205. North-Holland, (1971)Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness., and . ICSE, page 32-39. IEEE Computer Society, (1976)A Transaction Logic for Database Specification., and . SIGMOD Conference, page 243-250. ACM Press, (1988)SIGMOD Record 17(3), September 1988.QLISP: a language for the interactive development of complex systems., , , , , and . AFIPS National Computer Conference, volume 45 of AFIPS Conference Proceedings, page 349-356. AFIPS Press, (1976)The QA4 language applied to robot planning., , and . AFIPS Fall Joint Computing Conference (2), volume 41 of AFIPS Conference Proceedings, page 1181-1192. AFIPS / ACM / Thomson Book Company, Washington D.C., (1972)