Author of the publication

A Logical Approach to High-Level Robot Programming -- A Progress Report

, , , , , and . Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, page 79--85. New Orleans, (November 1994)

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

Evolution of genes and genomes on the Drosophila phylogeny, , , , , , , , , and 408 other author(s). Nature, 450 (7167): 203-218 (November 2007)Observation of gravitational waves from two neutron star-black hole coalescences, , , , , , , , , and 1592 other author(s). (2021)cite arxiv:2106.15163.What Robots Can Do: robot programs and effective achievability, and . Artificial Intelligence, (1998)Processing seismic ambient noise data to obtain reliable broad-band surface wave dispersion measurements, , , , , , , and . Geophysical Journal International, 169 (3): 1239--1260 (June 2007)The design and development of distance learning materials for graphics and visualisation., , , and . Comput. Graph., 18 (3): 269-275 (1994)Simulation study of homography-based vision-aided inertial navigation for aerial vehicles., , , and . ICCA, page 1357-1362. IEEE, (2014)Prospects for Fundamental Physics with LISA, , , , , , , , , and 312 other author(s). (2020)cite arxiv:2001.09793Comment: 22 pages, 1 figure.Spline-based volumetric modeling and printing for bioceramic implants., , and . VRCAI, page 127-130. ACM, (2004)Cross-sectional Examination on Android Security., , , , , and . PACIS, page 274. (2014)GOLOG: A Logic Programming Language for Dynamic Domains, , , , and . Journal of Logic Programming, Special issue on Reasoning about Action and Change, (1997)