胆汁
发表于 2025-3-26 21:49:20
Einleitung und Problemstellung,r to achieve its goals. We deal with conflicts and preferences by using ., an existing computational-logic-based argumentation framework, that has already been proven to be an effective tool for many applications of argumentation.
消散
发表于 2025-3-27 02:53:00
http://reply.papertrans.cn/24/2327/232623/232623_32.png
谎言
发表于 2025-3-27 08:51:55
http://reply.papertrans.cn/24/2327/232623/232623_33.png
遗留之物
发表于 2025-3-27 10:02:15
‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligationst as the current one, and that enables an interesting characterization of the states in which obligations propagate: these are the states where there are no violations of present directed obligations.
和平主义者
发表于 2025-3-27 13:51:29
http://reply.papertrans.cn/24/2327/232623/232623_35.png
污点
发表于 2025-3-27 21:22:56
-Troposements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of .-Tropos onto .CIFF, a computational logic-based framework for properties and conformance verification.
多产子
发表于 2025-3-27 23:40:28
Assumption-Based Argumentation for Selection and Composition of Servicesr to achieve its goals. We deal with conflicts and preferences by using ., an existing computational-logic-based argumentation framework, that has already been proven to be an effective tool for many applications of argumentation.
FLOUR
发表于 2025-3-28 03:22:02
http://reply.papertrans.cn/24/2327/232623/232623_38.png
GOAT
发表于 2025-3-28 08:17:46
Albrecht Hummel,Thomas Wendeborn,Arno Zeunermproved version of the . logic and show how it can be used to model the role of three emotions in Emotional-BDI agents: ., . and .. We also focus in the computational properties of . which can lead to its use in automated proof systems.
Eructation
发表于 2025-3-28 11:25:11
http://reply.papertrans.cn/24/2327/232623/232623_40.png