標(biāo)題: Titlebook: Declarative Agent Languages and Technologies X; 10th International W Matteo Baldoni,Louise Dennis,Wamberto Vasconcelos Conference proceedin [打印本頁(yè)] 作者: 淺吟低唱 時(shí)間: 2025-3-21 20:08
書目名稱Declarative Agent Languages and Technologies X影響因子(影響力)
書目名稱Declarative Agent Languages and Technologies X影響因子(影響力)學(xué)科排名
書目名稱Declarative Agent Languages and Technologies X網(wǎng)絡(luò)公開度
書目名稱Declarative Agent Languages and Technologies X網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Agent Languages and Technologies X被引頻次
書目名稱Declarative Agent Languages and Technologies X被引頻次學(xué)科排名
書目名稱Declarative Agent Languages and Technologies X年度引用
書目名稱Declarative Agent Languages and Technologies X年度引用學(xué)科排名
書目名稱Declarative Agent Languages and Technologies X讀者反饋
書目名稱Declarative Agent Languages and Technologies X讀者反饋學(xué)科排名
作者: commute 時(shí)間: 2025-3-21 23:20
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jasonexample involving recursive global session types with alternative choice and fork type constructors. Although the main aim of this work is the development of a unit testing framework for MASs, the proposed approach can be also extended to implement a framework supporting self-recovering MASs.作者: Verify 時(shí)間: 2025-3-22 02:34 作者: PAGAN 時(shí)間: 2025-3-22 07:55 作者: Scintillations 時(shí)間: 2025-3-22 12:08
Handling Change in Normative Specificationse individual participants with respect to the entire system without compromising their autonomy. In order to meet requirements careful design is crucial. Tools that support the design process can be of great benefit. In this paper, we describe and illustrate a methodology for elaborating normative s作者: LAITY 時(shí)間: 2025-3-22 16:23
Latest Developments of WADE to Support User-Centric Business ProcessesFirst, we review and critique the basic ideas behind agent-based BPM and we focus on its innovative characteristics with respect to traditional BPM. Then, we describe the most recent developments of WADE that are intended to enhance its agent-based runtime platform by providing improved non-function作者: LAITY 時(shí)間: 2025-3-22 18:49 作者: 郊外 時(shí)間: 2025-3-22 22:32 作者: coagulate 時(shí)間: 2025-3-23 04:33 作者: Ceremony 時(shí)間: 2025-3-23 05:51 作者: interference 時(shí)間: 2025-3-23 12:14 作者: 轎車 時(shí)間: 2025-3-23 15:39 作者: 優(yōu)雅 時(shí)間: 2025-3-23 18:34 作者: CAND 時(shí)間: 2025-3-23 23:20
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems) method for these systems. The properties of MASs are expressed by means of the metric temporal logic with discrete semantics and extended to include epistemic and deontic operators. The proposed BMC approach is based on the state of the art solutions to BMC. We test our results on a typical MASs s作者: 杠桿支點(diǎn) 時(shí)間: 2025-3-24 06:19 作者: Pepsin 時(shí)間: 2025-3-24 08:05 作者: Antimicrobial 時(shí)間: 2025-3-24 11:02 作者: 假裝是你 時(shí)間: 2025-3-24 15:39
0302-9743 of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.The volume contains 13 revised selected presented作者: 厚顏無恥 時(shí)間: 2025-3-24 22:01 作者: 迫擊炮 時(shí)間: 2025-3-24 23:50
0302-9743 g agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.978-3-642-37889-8978-3-642-37890-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ANTIC 時(shí)間: 2025-3-25 06:32
https://doi.org/10.1007/978-3-531-90911-0actions. Such processes are met frequently in practice and WADE seamlessly accommodates Web and Android users by means of dedicated views. We conclude this paper with a brief overview of notable mission-critical applications that are already using WADE and its new features.作者: commodity 時(shí)間: 2025-3-25 10:56 作者: 擦掉 時(shí)間: 2025-3-25 14:35
Latest Developments of WADE to Support User-Centric Business Processesactions. Such processes are met frequently in practice and WADE seamlessly accommodates Web and Android users by means of dedicated views. We conclude this paper with a brief overview of notable mission-critical applications that are already using WADE and its new features.作者: 浸軟 時(shí)間: 2025-3-25 15:48 作者: opportune 時(shí)間: 2025-3-25 23:23
https://doi.org/10.1007/978-3-531-92464-9ith the highest preference value among all solutions. The two main features that distinguish this methodology from classical Fuzzy DCSPs algorithms are that . the system can react to small instance changes, and . the fact the algorithm does not require a pre-agreed agent/variable ordering.作者: Proclaim 時(shí)間: 2025-3-26 03:53 作者: 蓋他為秘密 時(shí)間: 2025-3-26 04:36 作者: 良心 時(shí)間: 2025-3-26 12:33
Solving Fuzzy Distributed CSPs: An Approach with Naming Gamesith the highest preference value among all solutions. The two main features that distinguish this methodology from classical Fuzzy DCSPs algorithms are that . the system can react to small instance changes, and . the fact the algorithm does not require a pre-agreed agent/variable ordering.作者: 行為 時(shí)間: 2025-3-26 13:26 作者: 盤旋 時(shí)間: 2025-3-26 18:12 作者: 詞根詞綴法 時(shí)間: 2025-3-26 23:47 作者: 爭(zhēng)議的蘋果 時(shí)間: 2025-3-27 02:22
Conference proceedings 2013in June 2012.The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics:declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.作者: CLASP 時(shí)間: 2025-3-27 05:43 作者: 易于交談 時(shí)間: 2025-3-27 09:37 作者: flaggy 時(shí)間: 2025-3-27 14:19 作者: 令人悲傷 時(shí)間: 2025-3-27 18:11
Strong Planning in the Logics of Communication and Changelans may consist of a certain distribution of beliefs and ignorance among agents. Our results include: soundness and completeness of backward planning (breadth first search), both for deterministic and strong non-deterministic planning.作者: Mri485 時(shí)間: 2025-3-27 23:05
A Generalized Commitment Machine for , Protocols and Its Implementation showing both commitment and constraint violations, and thus helping the analyst as well as the protocol designer to identify the risks the interaction could encounter. The implementation is part of an Eclipse plug-in which supports .-protocol design and analysis.作者: insurgent 時(shí)間: 2025-3-28 04:22
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskells are represented through atomic or structured values depending on the user’s needs. Our long-term goal is to develop a framework for purely functional BDI agents, which is currently missing, in order to take advantage of the features of the functional paradigm, combined with the flexibility of an agent-oriented approach.作者: 極力證明 時(shí)間: 2025-3-28 07:38 作者: 白楊魚 時(shí)間: 2025-3-28 12:36 作者: Enervate 時(shí)間: 2025-3-28 18:27 作者: 螢火蟲 時(shí)間: 2025-3-28 20:26 作者: 課程 時(shí)間: 2025-3-28 23:03 作者: Intact 時(shí)間: 2025-3-29 06:34 作者: 失眠癥 時(shí)間: 2025-3-29 07:49
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems) method for these systems. The properties of MASs are expressed by means of the metric temporal logic with discrete semantics and extended to include epistemic and deontic operators. The proposed BMC approach is based on the state of the art solutions to BMC. We test our results on a typical MASs scenario: train controller problem with faults.作者: Terminal 時(shí)間: 2025-3-29 15:28 作者: 變異 時(shí)間: 2025-3-29 16:45
Katarzyna Kopycka M.A.,Maria Reinhold M.A.e individual participants with respect to the entire system without compromising their autonomy. In order to meet requirements careful design is crucial. Tools that support the design process can be of great benefit. In this paper, we describe and illustrate a methodology for elaborating normative s作者: Congruous 時(shí)間: 2025-3-29 21:27
https://doi.org/10.1007/978-3-531-90911-0First, we review and critique the basic ideas behind agent-based BPM and we focus on its innovative characteristics with respect to traditional BPM. Then, we describe the most recent developments of WADE that are intended to enhance its agent-based runtime platform by providing improved non-function作者: 遺傳學(xué) 時(shí)間: 2025-3-30 00:33 作者: 畫布 時(shí)間: 2025-3-30 04:32
El?bieta Go?ata,Bernadette Jondamon way to achieve this is to use agent architectures based on the Belief-Desire-Intention (BDI) model, in which an agent continuously deliberates over the best way to achieve its goals in the current environment. In this paper we explore how a BDI approach can be implemented in Lygon, a logic progr作者: aviator 時(shí)間: 2025-3-30 11:02 作者: 值得 時(shí)間: 2025-3-30 12:29
https://doi.org/10.1007/978-3-7091-8559-9tment Machine, that we named .-Generalized Commitment Machines. The .-Generalized Commitment Machine was implemented in Prolog by extending Winikoff, Liu and Harland’s implementation. The implementation is equipped with a graphical tool that allows the analyst to explore all the possible executions,作者: 高談闊論 時(shí)間: 2025-3-30 16:43
https://doi.org/10.1007/978-3-531-92464-9described here is based on . (.). NGs were introduced to represent . agents that have to bootstrap an agreement on a name to give to an object (i.e., a word). In this paper we focus on solving both Fuzzy NGs and Fuzzy Distributed CSPs (Fuzzy DCSPs) with an algorithm inspired by NGs. In this framewor作者: 善變 時(shí)間: 2025-3-30 22:49
