思想上升
发表于 2025-3-23 13:13:56
http://reply.papertrans.cn/32/3109/310871/310871_11.png
越自我
发表于 2025-3-23 16:39:12
Implementing Ethical Governors in BDI,t an ethical governor. We discuss the implementation of these abstract agents in the Jason agent programming language and demonstrate how they can be used in practice by instantiating agents in two different case studies, one using utilitarianism and the other deontic logic for reasoning about ethical decisions.
绝种
发表于 2025-3-23 18:56:16
http://reply.papertrans.cn/32/3109/310871/310871_13.png
Measured
发表于 2025-3-23 22:28:43
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments ransducers. These transducers gather information from the environment and map them to high-level beliefs according to formal temporal specifications. We present our technique and we show its applicability through a case study involving the remote inspection of a nuclear plant.
Germinate
发表于 2025-3-24 04:02:20
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest,ch to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification’s behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.
dura-mater
发表于 2025-3-24 08:43:20
Autonomous Economic Agent Framework,y. The framework bridges the old and new web and employs distributed ledger technologies as core parts of its construction. We introduce the framework, discuss the performance characteristics of its current implementation and demonstrate several application areas.
喧闹
发表于 2025-3-24 11:31:03
http://reply.papertrans.cn/32/3109/310871/310871_17.png
Essential
发表于 2025-3-24 16:46:28
http://reply.papertrans.cn/32/3109/310871/310871_18.png
FLIRT
发表于 2025-3-24 22:38:54
http://reply.papertrans.cn/32/3109/310871/310871_19.png
厌食症
发表于 2025-3-25 02:53:10
http://reply.papertrans.cn/32/3109/310871/310871_20.png