精致
发表于 2025-3-25 04:56:40
http://reply.papertrans.cn/27/2657/265681/265681_21.png
Adrenal-Glands
发表于 2025-3-25 07:44:43
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/265681.jpg
Amylase
发表于 2025-3-25 14:23:00
https://doi.org/10.1007/978-3-030-23269-6We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.
Compatriot
发表于 2025-3-25 19:39:56
https://doi.org/10.1007/978-3-319-19405-9This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.
整洁
发表于 2025-3-25 23:27:51
Bingfang Wu,William Kolby Smith,Hongwei ZengWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.
疾驰
发表于 2025-3-26 02:33:05
Defeasible Logic: Agency, Intention and ObligationWe propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.
黄瓜
发表于 2025-3-26 05:07:33
On Normative-Informational PositionsThis paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of ., pertaining to rules that are meant to regulate the supply of information.
必死
发表于 2025-3-26 09:27:00
Automatic Verification of Deontic Properties of Multi-agent SystemsWe present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on .’s. We test our implementation by means of a communication example: the bit transmission problem with faults.
FACT
发表于 2025-3-26 12:47:14
https://doi.org/10.1007/b98159AI logics; action logic; artificial intelligence; computer science logic; deontic logic; formal reasoning
Hearten
发表于 2025-3-26 19:58:50
http://reply.papertrans.cn/27/2657/265681/265681_30.png