闯入
发表于 2025-3-28 16:41:17
http://reply.papertrans.cn/24/2327/232626/232626_41.png
伪造者
发表于 2025-3-28 18:51:46
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report,els . Reactive Kripke frames have two types of arrows: ordinary single arrows . → . indicating accessibility relations and double arrows of the form ., indicating reactive connections. In the frames where the ordering is a tree, as it is in the models for contrary to duty obligations, the double
图画文字
发表于 2025-3-28 23:15:36
http://reply.papertrans.cn/24/2327/232626/232626_43.png
鲁莽
发表于 2025-3-29 05:07:39
,Logics for Reasoning about Agents’ Attitudes in Strategic Contexts,nt variants of epistemic logics, dynamic epistemic logics, logics of preferences and intention have been proposed whose aim is to describe both the static and the dynamic properties of agents’ mental attitudes. Furthermore, there are logics of collective attitudes including common knowledge and comm
Factual
发表于 2025-3-29 08:44:26
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents,particular role of beliefs in goal activation and maintenance. The logical framework is defined as a time-situated meta-logic, where only goals and beliefs exist as primitive attitudes and hold for a given instant of time. The meta-logic is composed of a hierarchy of three many-sorted first-order la
施加
发表于 2025-3-29 15:05:12
http://reply.papertrans.cn/24/2327/232626/232626_46.png
Locale
发表于 2025-3-29 19:30:50
A Formal Semantics for Agent (Re)Organization,common goals. Just like agents, organizations should also be able to adapt themselves to changing environments. In order to develop a theory on how this reorganization should be performed we need a formal framework in which organizations, organizational performance and the reorganization itself can
Colonnade
发表于 2025-3-29 22:10:18
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters,x reasoning tasks regarding the evolution of dynamic domains. Our proposal consists of a distinguished data structure called evolution graph, and a logical language (.) used for identifying temporal patterns in evolution graphs. First, we define and study the complexity of the model checking problem
jagged
发表于 2025-3-30 01:08:25
http://reply.papertrans.cn/24/2327/232626/232626_49.png
Flustered
发表于 2025-3-30 08:07:49
http://reply.papertrans.cn/24/2327/232626/232626_50.png