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.

 

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

Monodic temporal resolution., , и . ACM Trans. Comput. Log., 7 (1): 108-150 (2006)Model checking agentspeak., , , и . AAMAS, стр. 409-416. ACM, (2003)Tractable Temporal Reasoning., , и . IJCAI, стр. 318-323. (2007)Programming Resource-Bounded Deliberative Agents., и . IJCAI, стр. 200-205. Morgan Kaufmann, (1999)Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior., , и . CoRR, (2017)Towards First-Order Temporal Resolution., и . KI/ÖGAI, том 2174 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2001)Algorithms for Guiding Clausal Temporal Resolution., , и . KI, том 2479 из Lecture Notes in Computer Science, стр. 235-252. Springer, (2002)Tableaux for Synchronous Systems of Knowledge and Time with Interactions., и . SCAI, том 40 из Frontiers in Artificial Intelligence and Applications, стр. 28-39. IOS Press, (1997)A Brief History and Progress of Mountain Cartography in Canada., , , и . Cartogr. Int. J. Geogr. Inf. Geovisualization, 38 (1): 31-39 (2001)Continuing research in multi-agent systems., , , и . Knowl. Eng. Rev., 14 (3): 279-283 (1999)