Gossamer
发表于 2025-3-25 05:46:27
https://doi.org/10.1007/978-3-030-85679-3sion of the branching time temporal logic CTL) which describes transition systems corresponding to a Dribble program, and show how to express properties of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the l
Morose
发表于 2025-3-25 08:04:39
http://reply.papertrans.cn/27/2644/264376/264376_22.png
可耕种
发表于 2025-3-25 14:56:49
978-3-642-11354-3Springer-Verlag Berlin Heidelberg 2010
Protein
发表于 2025-3-25 16:15:17
http://reply.papertrans.cn/27/2644/264376/264376_24.png
流出
发表于 2025-3-25 23:10:22
http://reply.papertrans.cn/27/2644/264376/264376_25.png
FEAT
发表于 2025-3-26 03:48:17
http://reply.papertrans.cn/27/2644/264376/264376_26.png
myelography
发表于 2025-3-26 08:01:54
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model such commitments based on directed obligations with t
subordinate
发表于 2025-3-26 10:22:59
Unifying the Intentional and Institutional Semantics of Speech Actsaper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This sem
Omnipotent
发表于 2025-3-26 14:01:13
Tableaux for Acceptance Logicd. This logic is aimed at capturing the concept of acceptance . member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acc
暗语
发表于 2025-3-26 17:15:38
http://reply.papertrans.cn/27/2644/264376/264376_30.png