取回
发表于 2025-3-25 04:05:59
http://reply.papertrans.cn/24/2327/232629/232629_21.png
纬度
发表于 2025-3-25 10:47:15
http://reply.papertrans.cn/24/2327/232629/232629_22.png
鸣叫
发表于 2025-3-25 12:41:44
Bruce G. Cameron,Edward F. Crawleyexecution of contract terms and conditions. We use the event calculus to deduce current and past obligations, obligation fulfilment and violation. By associating meta-information with the contracts, the agent is able to select which of its contracts with other agents are relevant to solving its goal
Arthropathy
发表于 2025-3-25 18:08:09
http://reply.papertrans.cn/24/2327/232629/232629_24.png
incisive
发表于 2025-3-25 20:26:19
http://reply.papertrans.cn/24/2327/232629/232629_25.png
古代
发表于 2025-3-26 04:01:05
Establishing an academic domainltiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common desc
KEGEL
发表于 2025-3-26 05:55:31
http://reply.papertrans.cn/24/2327/232629/232629_27.png
GRIEF
发表于 2025-3-26 11:12:30
http://reply.papertrans.cn/24/2327/232629/232629_28.png
越自我
发表于 2025-3-26 15:28:28
http://reply.papertrans.cn/24/2327/232629/232629_29.png
Chromatic
发表于 2025-3-26 20:04:04
Reasoning About Epistemic States of Agents by Modal Logic Programming about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in .4..5.. This shows that it is worth to study modal logic programming for multi-agent systems.