MUTED 发表于 2025-3-30 11:08:31

http://reply.papertrans.cn/27/2644/264371/264371_51.png

Stagger 发表于 2025-3-30 14:09:08

Comparative Territorial Politics on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied to sequential programs and distributed transactions. We give formal syntax and seman

终端 发表于 2025-3-30 19:23:45

http://reply.papertrans.cn/27/2644/264371/264371_53.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Declarative Agent Languages and Technologies III; Third International Matteo Baldoni,Ulle Endriss,Paolo Torroni Conference proceedings 200