TRACE
发表于 2025-3-23 12:35:58
http://reply.papertrans.cn/27/2644/264372/264372_11.png
Orthodontics
发表于 2025-3-23 14:49:29
Programming Declarative Goals Using Plan Patternsork with an elegant formal semantics. However, the original language is too abstract to be used as a programming language for developing multi-agent system. In this paper, we address one of the features that are essential for a pragmatical agent programming language. We show how certain . of AgentSp
reaching
发表于 2025-3-23 18:27:26
http://reply.papertrans.cn/27/2644/264372/264372_13.png
Herpetologist
发表于 2025-3-23 22:24:15
http://reply.papertrans.cn/27/2644/264372/264372_14.png
故意
发表于 2025-3-24 03:39:49
A Dynamic Logic Programming Based System for Agents with Declarative Goalsons that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time, to represent the goals of the agent and their evolution, in a simple, declarative
Transfusion
发表于 2025-3-24 07:31:29
A Collaborative Framework to Realize Virtual Enterprises Using 3APLusing 3APL technologies and employs the idea of viewing WebService composition as a planning problem . We describe the implementation of the framework and experiment with two micro assembly work cells.
鼓掌
发表于 2025-3-24 11:17:02
A Modeling Framework for Generic Agent Interaction Protocolsotocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams
Interdict
发表于 2025-3-24 17:50:31
http://reply.papertrans.cn/27/2644/264372/264372_18.png
Goblet-Cells
发表于 2025-3-24 21:29:51
A Functional Program for Agents, Actions, and Deontic Specifications relative to deontic concepts derived from Standard Deontic Logic and Dynamic Deontic Logic. The concepts of abstract actions are derived from Dynamic Logic. The logics are declarative, while the implementation is operational. Actions have explicit action preconditions and postconditions. We have de
Indigence
发表于 2025-3-24 23:40:36
https://doi.org/10.1007/978-1-349-11412-2using complicated true statements (theory) from another, we must confront the problem of ., which is difficult because of the .. In this paper, using an inferential approach we call ., we show how to translate complex axioms between different time ontologies. We also prove the validity of our algorithm.