標(biāo)題: Titlebook: Declarative Agent Languages and Technologies VI; 6th International Wo Matteo Baldoni,Tran Cao Son,Michael Winikoff Conference proceedings 2 [打印本頁(yè)] 作者: malfeasance 時(shí)間: 2025-3-21 17:27
書目名稱Declarative Agent Languages and Technologies VI影響因子(影響力)
書目名稱Declarative Agent Languages and Technologies VI影響因子(影響力)學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VI網(wǎng)絡(luò)公開度
書目名稱Declarative Agent Languages and Technologies VI網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VI被引頻次
書目名稱Declarative Agent Languages and Technologies VI被引頻次學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VI年度引用
書目名稱Declarative Agent Languages and Technologies VI年度引用學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VI讀者反饋
書目名稱Declarative Agent Languages and Technologies VI讀者反饋學(xué)科排名
作者: 剛開始 時(shí)間: 2025-3-21 23:46 作者: CROW 時(shí)間: 2025-3-22 03:06 作者: 1分開 時(shí)間: 2025-3-22 06:17
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading a given domain to deal with such a semantic information and optimize exchanges?.We focus on how to find most promising matches, in a many-to-many matchmaking process, between bids (supplies/demands), taking into account not only the price and quantities as in classical barter trade systems, but als作者: Tremor 時(shí)間: 2025-3-22 12:03
Abstracting and Verifying Strategy-Proofness for Auction Mechanismsles with respect to the property; the second replaces large data, possibly infinite values of variables with smaller abstract values. This enabled us to model check the strategy-proofness property of the Vickrey auction for unbounded bid range and number of agents.作者: progestogen 時(shí)間: 2025-3-22 15:44
https://doi.org/10.1007/978-3-031-24271-7e cost of enforcement is low. We also study how common knowledge can be used to facilitate the overall benefit of the society. We believe our work can be used to facilitate norm emergence in virtual online societies.作者: progestogen 時(shí)間: 2025-3-22 18:12
Jennifer Kuzma,Teshanee T. Williamsby such agents. The paper defines these concepts, shows how they were integrated into the MAS-SOC multi-agent systems platform for social simulation, gives examples that illustrate the approach, and hints on new problems of (situated) organisational and normative structures that were brought forward作者: 滑稽 時(shí)間: 2025-3-22 21:13 作者: 防御 時(shí)間: 2025-3-23 01:38 作者: endure 時(shí)間: 2025-3-23 08:10 作者: Conflagration 時(shí)間: 2025-3-23 11:09 作者: Grasping 時(shí)間: 2025-3-23 15:13
Social Norm Emergence in Virtual Agent Societiesmonitoring various interacting agents (avatars), using a centralized authority might be computationally expensive. The number of possible states and actions of an agent could be huge. An approach for sustaining order and smoother functioning of these environments can be facilitated through norms. Ag作者: Lumbar-Spine 時(shí)間: 2025-3-23 18:31 作者: Lime石灰 時(shí)間: 2025-3-23 22:59
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages argue this is not necessarily so. It is shown that rational agent programming languages allow for the combination of various such technologies. Specific issues that have to be addressed to realize such integration for rational agents that derive their choice of action from their beliefs and goals a作者: expire 時(shí)間: 2025-3-24 02:37
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitionses which are required to be uniform with respect to distributed knowledge. The model-checking problem about . with perfect recall and imperfect information is believed to be unsolvable, whereas in our setting it is solvable because of the uniformity of strategies. We propose a model-checking algorit作者: notice 時(shí)間: 2025-3-24 07:47 作者: BOON 時(shí)間: 2025-3-24 11:23
Leveraging New Plans in AgentSpeak(PL)se architectures are often self-contained procedures with an associated . and ., while any further information about the consequences of executing a plan is absent. However, agents designed using such an approach have limited flexibility at runtime, and rely on the designer’s ability to foresee all 作者: STEER 時(shí)間: 2025-3-24 15:38 作者: legacy 時(shí)間: 2025-3-24 19:06 作者: Digest 時(shí)間: 2025-3-25 01:35 作者: 澄清 時(shí)間: 2025-3-25 03:25 作者: 誘騙 時(shí)間: 2025-3-25 10:19 作者: 向前變橢圓 時(shí)間: 2025-3-25 14:22 作者: Cursory 時(shí)間: 2025-3-25 18:55
Strategic Agent Communication: An Argumentation-Driven Approachargumentation-based and enables agents to generate a set of strategic goals depending on a set of constraints. Sub-goals are generated using this reasoning and they can be cancelled or substituted for alternatives during the dialogue progress. An original characteristic of this framework is that age作者: 開頭 時(shí)間: 2025-3-25 21:25
Inductive Negotiation in Answer Set Programmings a process of making hypotheses by .. If an agent fails to find a hypothesis, it would concede by giving up some of its current belief. This attitude is characterized using .. We provide a logical framework of such think-act cycle of an agent, and develop a method for computing proposals using ..作者: 保守黨 時(shí)間: 2025-3-26 00:53 作者: Ointment 時(shí)間: 2025-3-26 06:28
https://doi.org/10.1007/978-3-031-24271-7hm for that system, which exploits the interaction between the cooperation modalities and the epistemic modality for the past. This interaction allows every expressible goal . to be treated as the epistemic goal of (eventually) establishing that . holds and thus enables the handling of the cooperation modalities in a streamlined way.作者: Oversee 時(shí)間: 2025-3-26 08:32
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitionshm for that system, which exploits the interaction between the cooperation modalities and the epistemic modality for the past. This interaction allows every expressible goal . to be treated as the epistemic goal of (eventually) establishing that . holds and thus enables the handling of the cooperation modalities in a streamlined way.作者: grovel 時(shí)間: 2025-3-26 12:58
Conference proceedings 2009r of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.作者: cluster 時(shí)間: 2025-3-26 19:02 作者: obstruct 時(shí)間: 2025-3-26 23:26 作者: mosque 時(shí)間: 2025-3-27 03:10
Jennifer Kuzma,Teshanee T. Williamseaning-preserving translation approach that maps one representation to another, and an approach based on so-called bridge rules which add additional inference power to a system combining multiple knowledge representation technologies.作者: 笨拙的你 時(shí)間: 2025-3-27 07:37 作者: 愛(ài)花花兒憤怒 時(shí)間: 2025-3-27 13:02 作者: Frenetic 時(shí)間: 2025-3-27 17:19
Demografischer Wandel in Unternehmenst preferred action among the available ones. We use temporal logic for the representation of various kinds of goals and preferences, leading to a uniform framework for integrating goals and preferences into agent programming.作者: hauteur 時(shí)間: 2025-3-27 20:56
Motivation von ?lteren Mitarbeiternng on a set of constraints. Tactic reasoning is responsible of selecting the communicative acts to perform in order to realize the strategic goals. Some constraints are fixed when the conversation starts and others during the dialogue progress. The paper also discusses the computational complexity of such a reasoning.作者: 光明正大 時(shí)間: 2025-3-28 00:20 作者: eucalyptus 時(shí)間: 2025-3-28 02:47
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologiesnsion of the Jason agent platform which makes use of OWL-API to provide features such as plan trigger generalisation based on ontological knowledge and the use of such knowledge in querying the belief base. The paper also includes a running example which clearly illustrates the features and advantages of our approach.作者: Ossification 時(shí)間: 2025-3-28 09:38
Iterated Belief Revision in the Face of Uncertain Communicationion theorem is verified only for a class of restricted communication graphs. We consider this result to be a weak point in the application of the AGM postulates to multiagent communication, and propose a viable alternative.作者: 歡樂(lè)東方 時(shí)間: 2025-3-28 11:26 作者: MONY 時(shí)間: 2025-3-28 16:59
Strategic Agent Communication: An Argumentation-Driven Approachng on a set of constraints. Tactic reasoning is responsible of selecting the communicative acts to perform in order to realize the strategic goals. Some constraints are fixed when the conversation starts and others during the dialogue progress. The paper also discusses the computational complexity of such a reasoning.作者: optic-nerve 時(shí)間: 2025-3-28 22:06 作者: 物種起源 時(shí)間: 2025-3-28 22:55 作者: Memorial 時(shí)間: 2025-3-29 03:05
Hans-Peter Kl?s,Gerhard Naegelehe observer, who attempts to explain an agent’s behavior, is assumed to know all of the agent’s behavioral rules that can account for observed actions. Three explanatory strategies are introduced, based on different perceptory conditions.作者: 我不死扛 時(shí)間: 2025-3-29 07:59 作者: 協(xié)迫 時(shí)間: 2025-3-29 11:42 作者: RALES 時(shí)間: 2025-3-29 19:06 作者: Bouquet 時(shí)間: 2025-3-29 21:35 作者: AROMA 時(shí)間: 2025-3-30 01:08 作者: BILL 時(shí)間: 2025-3-30 06:10
978-3-540-93919-1Springer-Verlag Berlin Heidelberg 2009作者: 圖表證明 時(shí)間: 2025-3-30 11:02
Democratizing Global Governanceans of sanctions. The problem of specifying the sanctions associated with the violation of norms is crucial in an open system because, given that the compliance of autonomous agents to obligations and prohibitions cannot be taken for granted, norm enforcement is necessary to constrain the possible e作者: Innovative 時(shí)間: 2025-3-30 15:14
https://doi.org/10.1007/978-3-031-24271-7monitoring various interacting agents (avatars), using a centralized authority might be computationally expensive. The number of possible states and actions of an agent could be huge. An approach for sustaining order and smoother functioning of these environments can be facilitated through norms. Ag作者: Exclude 時(shí)間: 2025-3-30 16:36
Jennifer Kuzma,Teshanee T. Williamsres to the model of the environment where they are to be situated and operate. Our work addresses this problem by putting together, in a practical approach to developing multi-agent systems (and social simulations in particular), a high-level environment modelling language that incorporates aspects 作者: 明智的人 時(shí)間: 2025-3-30 22:37
Jennifer Kuzma,Teshanee T. Williams argue this is not necessarily so. It is shown that rational agent programming languages allow for the combination of various such technologies. Specific issues that have to be addressed to realize such integration for rational agents that derive their choice of action from their beliefs and goals a
