荧光
发表于 2025-3-26 23:33:58
http://reply.papertrans.cn/47/4694/469347/469347_31.png
壮观的游行
发表于 2025-3-27 03:30:40
Farhad Arbab,Lăcrămioara Aştefănoaei,Frank S. de Boer,Mehdi Dastani,John-Jules Meyer,Nick Tinnermeie
faddish
发表于 2025-3-27 09:09:28
http://reply.papertrans.cn/47/4694/469347/469347_33.png
llibretto
发表于 2025-3-27 09:30:09
Guido Boella,Leendert van der Torre,Serena Villata
hidebound
发表于 2025-3-27 15:40:14
Guido Boella,Leendert van der Torre,Serena Villata
灯泡
发表于 2025-3-27 21:14:25
http://reply.papertrans.cn/47/4694/469347/469347_36.png
鲁莽
发表于 2025-3-27 23:05:37
http://reply.papertrans.cn/47/4694/469347/469347_37.png
简洁
发表于 2025-3-28 02:40:55
Keynote Speech: Agent Oriented Software Engineering: Why and How,traction than procedural programming, so agent oriented is at a higher abstraction level than object oriented. This facilitates faster and easier development of more complex systems, than is possible with a less powerful paradigm. Some research has shown that efficiency gains of more than 300 oriented approach to development.
crease
发表于 2025-3-28 09:58:35
A Verification Framework for Normative Multi-Agent Systems,aviour of individual agents. The programming language provides constructs inspired by social and organisational concepts. The operational semantics of the language is prototyped in Maude, a rewrite logic software. Properties of the coordination artifacts are model-checked with the Maude LTL model-checker.
maverick
发表于 2025-3-28 11:15:46
978-3-540-89673-9Springer-Verlag Berlin Heidelberg 2008