( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Common Basis for Agent Organisation in BDI Languages.

, , и . LADS, том 5118 из Lecture Notes in Computer Science, стр. 71-88. Springer, (2007)

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

André Fisher

Angelika Fisher

Robert Fisher

Robert Fisher

 

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

Representing Abstract Agent Architectures.. ATAL, том 1555 из Lecture Notes in Computer Science, стр. 227-241. Springer, (1998)A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance., , , и . AAMAS, стр. 423-432. ACM, (2015)Summarising a Framework for the Certification of Reliable Autonomous Systems., , , , , и . AAMAS, стр. 1733-1734. ACM, (2021)Automated Verification of Multi-Agent Programs., , , и . ASE, стр. 69-78. IEEE Computer Society, (2008)Automata Representations for Concurrent METATEM., и . TIME, стр. 12-19. IEEE Computer Society, (1997)Slicing Agent Programs for More Efficient Verification., , и . EMAS@AAMAS, том 11375 из Lecture Notes in Computer Science, стр. 139-157. Springer, (2018)Tractable Temporal Reasoning., , и . IJCAI, стр. 318-323. (2007)Programming Resource-Bounded Deliberative Agents., и . IJCAI, стр. 200-205. Morgan Kaufmann, (1999)Tableaux for Synchronous Systems of Knowledge and Time with Interactions., и . SCAI, том 40 из Frontiers in Artificial Intelligence and Applications, стр. 28-39. IOS Press, (1997)Model checking agentspeak., , , и . AAMAS, стр. 409-416. ACM, (2003)