From post

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.

 

Другие публикации лиц с тем же именем

Understanding Scene Descriptions by Integrating Different Sources of Knowledge., , , и . Int. J. Man Mach. Stud., 37 (1): 47-81 (1992)Automated Planning: Theory and Practice, , и . Elsevier, (2004)Planning as Model Checking., и . ECP, том 1809 из Lecture Notes in Computer Science, стр. 1-20. Springer, (1999)Keynote abstract: From smart cities to smart communities: The case of children's independent mobility.. SMAP, стр. xv. IEEE Computer Society, (2015)Design for Adaptation of Distributed Service-Based Systems., , , , и . ICSOC, том 9435 из Lecture Notes in Computer Science, стр. 383-393. Springer, (2015)Program Tactics and Logic Tactics., и . LPAR, том 822 из Lecture Notes in Computer Science, стр. 16-30. Springer, (1994)Strong planning under partial observability., , , и . Artif. Intell., 170 (4-5): 337-384 (2006)Weak, strong, and strong cyclic planning via symbolic model checking., , , и . Artif. Intell., 147 (1-2): 35-84 (2003)Run-Time Monitoring of the Execution of Plans for Web Service Composition., , , и . ICAPS, стр. 346-349. AAAI, (2006)Planning for Learning Object Properties., , , , , , и . CoRR, (2023)