( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

, , и . IFM, том 11023 из Lecture Notes in Computer Science, стр. 161-171. Springer, (2018)

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.

Paul Fisher

Angelika Fisher

André Fisher

Robert Fisher

Robert Fisher

 

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

Monodic temporal resolution., , и . ACM Trans. Comput. Log., 7 (1): 108-150 (2006)Model checking agentspeak., , , и . AAMAS, стр. 409-416. ACM, (2003)Algorithms for Guiding Clausal Temporal Resolution., , и . KI, том 2479 из Lecture Notes in Computer Science, стр. 235-252. Springer, (2002)Towards First-Order Temporal Resolution., и . KI/ÖGAI, том 2174 из Lecture Notes in Computer Science, стр. 18-32. Springer, (2001)A Brief History and Progress of Mountain Cartography in Canada., , , и . Cartogr. Int. J. Geogr. Inf. Geovisualization, 38 (1): 31-39 (2001)A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief., , и . J. Appl. Non Class. Logics, 8 (3): 225-258 (1998)Continuing research in multi-agent systems., , , и . Knowl. Eng. Rev., 14 (3): 279-283 (1999)Methodological foundations for agent-based systems., , , , и . Knowl. Eng. Rev., 12 (3): 323-329 (1997)Towards a framework for certification of reliable autonomous systems., , , , , и . Auton. Agents Multi Agent Syst., 35 (1): 8 (2021)Programming Resource-Bounded Deliberative Agents., и . IJCAI, стр. 200-205. Morgan Kaufmann, (1999)