bizarre
发表于 2025-3-23 12:10:40
Understanding Permissions through Graphical Norms, and the latter two norm types interact by conflicting with each other. Tracking these interactions in standard symbolic norm representations is difficult given a large set of norms, yet our work allows for the easy understanding of whether a permission causes obligation or prohibition derogation.
Outshine
发表于 2025-3-23 15:23:07
Symbolic Model Checking Commitment Protocols Using Reductionhich are extensions of CTL. We finally present an implementation and report on the experimental results of verifying the Contract Net Protocol modeled in terms of commitments and associated actions using the symbolic model checkers MCMAS and extended NuSMV.
Excitotoxin
发表于 2025-3-23 19:28:21
http://reply.papertrans.cn/27/2644/264377/264377_13.png
新奇
发表于 2025-3-24 01:12:03
http://reply.papertrans.cn/27/2644/264377/264377_14.png
检查
发表于 2025-3-24 05:47:29
Declarative Abstractions for Agent Based Hybrid Control Systemsata and then use these abstractions in rational decision making. This paper provides an architecture and interaction semantics for an abstraction engine to interact with a hybrid BDI-based control system.
吃掉
发表于 2025-3-24 07:34:36
http://reply.papertrans.cn/27/2644/264377/264377_16.png
令人作呕
发表于 2025-3-24 11:36:17
Logic of Information Flow on Communication Channelstion scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS approaches and demonstrate its use by studying a telephone call communication scenario.
N斯巴达人
发表于 2025-3-24 15:20:56
William R. Grady,John O. G. Billye an agent programming language where we incorporate constraints, objectives and preferences into the BDI framework. Our work especially focuses on the use of soft constraints in an agent environment where we give a quantitative dimension to this agent deliberation process by apply c-semiring based techniques to determine the preferred solution.
征服
发表于 2025-3-24 19:54:36
http://reply.papertrans.cn/27/2644/264377/264377_19.png
Excitotoxin
发表于 2025-3-24 23:56:09
https://doi.org/10.1007/978-3-319-61778-7ata and then use these abstractions in rational decision making. This paper provides an architecture and interaction semantics for an abstraction engine to interact with a hybrid BDI-based control system.