打折
发表于 2025-3-25 04:38:41
http://reply.papertrans.cn/32/3109/310876/310876_21.png
CREEK
发表于 2025-3-25 08:50:12
Designing a Knowledge Representation Interface for Cognitive Agentsractice, agent programming frameworks are dedicated to a specific KR, limiting the use of other possible ones. In this paper we address the issue of creating a flexible choice for agent programmers regarding the technology they want to use. We propose a generic interface, that provides an easy choic
Flatter
发表于 2025-3-25 14:09:28
A Probabilistic BPMN Normal Form to Model and Advise Human Activitiesss processes. Business Process Model and Notation (BPMN) is a standard notation for modeling business processes, that provides a rich graphical representation that can be used for common understanding of processes but also for automation purposes. We propose a normal form of Business Process Diagram
NOCT
发表于 2025-3-25 18:54:20
ACE: A Flexible Environment for Complex Event Processing in Logical Agents (1) the “main” agent program; (2) a number of Event-Action modules for Complex Event Processing, including generation of complex actions; (3) a number of external contexts that the agent is able to access in order to gather information. In our view an ACE is composed of heterogeneous elements: ther
orient
发表于 2025-3-25 21:08:02
A Testbed for Agent Oriented Smart Grid Implementation as one of the enablers for Smart Grids. A Smart Grid intends to make an advanced use of available metering and generation capabilities in order to use more efficiently the electricity. Contributions of agent resea1rchers to this domain are still reduced and this may be because of the highly special
Perineum
发表于 2025-3-26 00:58:32
Quantitative Analysis of Multiagent Systems Through Statistical Model Checkingcus on the verification of individual traces can provide an interesting alternative. However, due to its focus on finite execution paths, trace-based verification is inherently limited to certain types of correctness properties. We show how, by combining sampling with the idea of trace fragmentation
半圆凿
发表于 2025-3-26 04:28:21
Semantic Mutation Testing for Multi-agent Systemsation of a program and then examines whether a given test set has the ability to detect each change to the original interpretation. These changes represent possible misunderstandings of how the program is interpreted. SMT can also be used to assess robustness to and reliability of semantic changes.
数量
发表于 2025-3-26 09:36:31
A Formal Description of a Mapping from Business Processes to Agentsen vague semantics and structural differences make a mapping from business processes to multi-agent systems difficult. In this paper, we formally describe a mapping from business process models to multi-agent systems that can be applied to different agent frameworks and languages. Using the same map
NATTY
发表于 2025-3-26 12:48:40
http://reply.papertrans.cn/32/3109/310876/310876_29.png
adumbrate
发表于 2025-3-26 19:31:27
Programming Mirror Worlds: An Agent-Oriented Programming Perspectivebased systems that live on this edge. They are meant to be a conceptual blueprint for designing future smart environment systems, providing an innovative conceptual framework for investigating inter-disciplinary aspects – from cognition to interaction, cooperation, governance – concerning human-agen