( en | de | ru )

 

Disambiguation of "Levesque, H."

Author of the publication

copydeleteadd this publication to your clipboard
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.

Maximilien Levesque

H -H Kaatz

Florian H H Giesert

Lobna H airall h

Christoph H -H Traulsen

 

Other publications of authors with the same name

A completeness result for reasoning with incomplete knowledge bases. Proc. of KR-98, Sixth International Conference on Principles of Knowledge Representation and Reasoning, page 14-28. Trento, Italy, (1998)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)Reasoning about Noisy Sensors and Effectors in the Situation Calculus, , and . Artificial Intelligence, 111 (1--2): 171--208 (1999)On the Probability of Undetected Error for Linear Block Codes., , and . IEEE Trans. Commun., 30 (2): 317-325 (1982)A fundamental tradeoff in knowledge representation and reasoning, and . Readings in Knowledge Representation Morgan Kaufmann, (1985)Interoperable wireless data., , and . IEEE Commun. Mag., 31 (2): 68-77 (1993)Cost-effective selection of radio access ports in dense wireless systems., and . PIMRC, page 89-93. IEEE, (1998)GSAT: A New Method for Solving Hard Satisifability Problems, , and . Proc.\ 10th National Conference on Artificial Intelligence, page 440--446. San Jose, CA, (1992)GOLOG: A Logic Programming Language for Dynamic Domains, , , , and . Journal of Logic Programming, Special issue on Reasoning about Action and Change, (1997)Wireless Data., and . Encyclopedia of Wireless and Mobile Communications, (2008)