dithiolethione
发表于 2025-3-23 19:02:13
Logic, Rationality,and Interaction978-3-030-88708-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
Ascribe
发表于 2025-3-23 23:43:13
http://reply.papertrans.cn/59/5881/588078/588078_14.png
排名真古怪
发表于 2025-3-24 04:43:49
Social Bot Detection as a Temporal Logic Model Checking Problem,el from a real-life social network. We show that we can reduce TNL to a fragment of linear temporal logic with past and use this to establish the computational efficiency of model checking for social bot detection.
泰然自若
发表于 2025-3-24 07:11:02
Modelling Accuracy and Trustworthiness of Explaining Agents, and trustworthiness of explaining agents. We also provide a semantics for this logic, based on a multi-agent structure and relative model-checking algorithms. The paper concludes with a simple example of a possible application.
PLAYS
发表于 2025-3-24 14:09:22
Conference proceedings 2021on, LORI 2021, held in Xi`an, China, in October 2021..The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuit
PATRI
发表于 2025-3-24 17:58:03
,Discrete Linear Temporal Logic with Knowing-Value Operator,ent state of knowledge of the agents in the system relevant, but also how that state of knowledge changes over time. So we introduce temporal logic operators ‘next’ and ‘until’ to extend Plaza’s system. The completeness proof is highly non-trivial and we referred to the work of [., .].
output
发表于 2025-3-24 19:41:18
http://reply.papertrans.cn/59/5881/588078/588078_19.png
争议的苹果
发表于 2025-3-25 02:49:27
Situated Epistemic Updates,c, and non-monotonic update in substructural dynamic epistemic logic. Our investigation is mainly conceptual, but leads to completeness results using reduction axioms, and lays the groundwork for future investigation into the concept of situated epistemic update.
无价值
发表于 2025-3-25 04:08:56
http://reply.papertrans.cn/59/5881/588078/588078_21.png
Sedative
发表于 2025-3-25 10:55:15
http://reply.papertrans.cn/59/5881/588078/588078_22.png