感染
发表于 2025-3-23 11:57:38
Composing High-Level Plans for Declarative Agent Programming’s basic capabilities, enhancing the agent’s ability to deal with failures. Moreover our approach allows the new plans to be included in the plan library, effectively enabling the agent to improve its runtime performance over time.
hieroglyphic
发表于 2025-3-23 15:29:43
http://reply.papertrans.cn/27/2644/264374/264374_12.png
Ophthalmoscope
发表于 2025-3-23 18:07:26
Structured Argumentation in a Mediator for Online Dispute Resolutionble logic is enriched with three types of negated rules which offer symmetrical means of argumentation for both disputants. A corollary of this extension consists in defining a specialized type of undercutting defeater. The theory is illustrated with the help of a concrete business-to-client case in a prototype implemented system.
吹牛者
发表于 2025-3-24 01:37:44
Modeling Agents’ Choices in Temporal Linear Logics made earlier. In this paper we investigate a formal framework for modeling the choices of an agent. In particular, we show how the use of a choices calculus based on . can be used to capture distribution, temporal and dependency aspects of choices.
BLA
发表于 2025-3-24 05:00:04
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraintse use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of .. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.
无法解释
发表于 2025-3-24 07:46:21
http://reply.papertrans.cn/27/2644/264374/264374_16.png
Modify
发表于 2025-3-24 12:45:48
http://reply.papertrans.cn/27/2644/264374/264374_17.png
罗盘
发表于 2025-3-24 17:22:01
Interoperation in Protocol Enactmentrtant concern. A common way of achieving interoperability is by requiring agents to follow prescribed protocols in their interactions with others. In existing systems, agents must follow any protocol to the letter; in other words, they should exchange messages exactly as prescribed by the protocol.
自传
发表于 2025-3-24 22:39:22
http://reply.papertrans.cn/27/2644/264374/264374_19.png
炼油厂
发表于 2025-3-25 01:02:34
Satisfying Maintenance Goals aim of this paper is to define a mechanism which ensures the satisfaction of maintenance goals. We argue that such a mechanism requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal. That is, maintenance goals may con