標(biāo)題: Titlebook: Declarative Agent Languages and Technologies IX; 9th International Wo Chiaki Sakama,Sebastian Sardina,Michael Winikoff Conference proceedin [打印本頁(yè)] 作者: fumble 時(shí)間: 2025-3-21 17:50
書目名稱Declarative Agent Languages and Technologies IX影響因子(影響力)
書目名稱Declarative Agent Languages and Technologies IX影響因子(影響力)學(xué)科排名
書目名稱Declarative Agent Languages and Technologies IX網(wǎng)絡(luò)公開度
書目名稱Declarative Agent Languages and Technologies IX網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Agent Languages and Technologies IX被引頻次
書目名稱Declarative Agent Languages and Technologies IX被引頻次學(xué)科排名
書目名稱Declarative Agent Languages and Technologies IX年度引用
書目名稱Declarative Agent Languages and Technologies IX年度引用學(xué)科排名
書目名稱Declarative Agent Languages and Technologies IX讀者反饋
書目名稱Declarative Agent Languages and Technologies IX讀者反饋學(xué)科排名
作者: EXULT 時(shí)間: 2025-3-21 23:39
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/264373.jpg作者: 騷動(dòng) 時(shí)間: 2025-3-22 01:07
https://doi.org/10.1057/9781137486745We provide a retrospective on the research leading to and following our paper “A Distributed Architecture for Norm-Aware Agent Societies” [1], presented at DALT 2005. We do so by giving the context and motivation for that research, listing its contributions, and discussing the main developments of the research and its impact.作者: 或者發(fā)神韻 時(shí)間: 2025-3-22 08:34 作者: ambivalence 時(shí)間: 2025-3-22 10:12
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. This was intended for use in the engineering of a range of applications but at the time the original paper was written this was an aspiration and we had little experience of actual use of the method. In this paper I summarise how experience with this approach has developed in the seven years from 2004 to date.作者: Brain-Imaging 時(shí)間: 2025-3-22 16:29 作者: Brain-Imaging 時(shí)間: 2025-3-22 20:20 作者: Ordnance 時(shí)間: 2025-3-22 21:39 作者: Chronic 時(shí)間: 2025-3-23 01:37 作者: intimate 時(shí)間: 2025-3-23 08:33 作者: 糾纏,纏繞 時(shí)間: 2025-3-23 10:14
https://doi.org/10.1007/978-3-658-09216-0riggered by the occurence of specific events. The selection of a plan from such a set represents one of the major bottle-necks in the execution of BDI programs. This bottle-neck is particularly obvious when attempting to use program model checkers to reason about such languages..This paper describes作者: Neutral-Spine 時(shí)間: 2025-3-23 14:45 作者: Thrombolysis 時(shí)間: 2025-3-23 20:46
https://doi.org/10.1007/978-981-15-3703-5r, as this paper shows, electronic institutions can be turned against agents to breach their security in a variety of ways. We focus our attention on probing attacks using electronic institutions specified in the Lightweight Coordination Calculus (LCC) language. LCC is a choreography language used t作者: IOTA 時(shí)間: 2025-3-23 22:10 作者: 斷斷續(xù)續(xù) 時(shí)間: 2025-3-24 05:18
Democratization and Developmenthe language ., an extension of the language ., with new features motivated by the problem of representing and reasoning about commitments. The paper demonstrates how features and properties of commitments can be described in this action language. We show how . can handle both simple commitment actio作者: 姑姑在炫耀 時(shí)間: 2025-3-24 08:11
Democratization and Development. This was intended for use in the engineering of a range of applications but at the time the original paper was written this was an aspiration and we had little experience of actual use of the method. In this paper I summarise how experience with this approach has developed in the seven years from 作者: characteristic 時(shí)間: 2025-3-24 13:55 作者: 失望昨天 時(shí)間: 2025-3-24 18:47
https://doi.org/10.1057/9781403983435etting were presented at DALT. One proposal, Coo-BDI, extended the BDI architecture by allowing agents to cooperate by exchanging and sharing plans in a quite flexible way; the other extended the BDI operational semantics for introducing speech-act based communication, including primitives for plan 作者: osculate 時(shí)間: 2025-3-24 19:34 作者: 無(wú)情 時(shí)間: 2025-3-25 01:29
International Political Economy Seriess. This paper proposes a model of norms whose content is related to time, which are specified at design time and therefore are expressed in terms of . played by the agents. Those norms have an . that is used to express the template of the events that when happen, provided that certain conditions hol作者: 踉蹌 時(shí)間: 2025-3-25 04:29
Democratization in the Global Southbout social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to diverse commitment theories, and expressive enough to model realistic scenarios. We grounded the framework 作者: Callus 時(shí)間: 2025-3-25 09:59 作者: ethnology 時(shí)間: 2025-3-25 13:45 作者: Ophthalmoscope 時(shí)間: 2025-3-25 15:53 作者: 認(rèn)為 時(shí)間: 2025-3-25 21:18 作者: insidious 時(shí)間: 2025-3-26 02:40
Control and Delegationthat is, a group of agents), questions arise regarding the coalitional power (.), coalition formation (.) and the result of cooperation (.). Coalition Logics provide a tool to analyse some of those questions. They took off with two important developments, namely with Pauly’s formulation of Coalition作者: 平庸的人或物 時(shí)間: 2025-3-26 07:59
Plan Indexing for State-Based Plansriggered by the occurence of specific events. The selection of a plan from such a set represents one of the major bottle-necks in the execution of BDI programs. This bottle-neck is particularly obvious when attempting to use program model checkers to reason about such languages..This paper describes作者: ingrate 時(shí)間: 2025-3-26 11:15
An Integrated Formal Framework for Reasoning about Goal Interactions agent platforms provide some form of goal construct. However, these platforms are surprisingly naive in their handling of . between goals. Most provide no support for detecting that two goals interact, which allows an agent to interfere with itself, for example by simultaneously pursuing conflictin作者: arthrodesis 時(shí)間: 2025-3-26 16:22
Probing Attacks on Multi-Agent Systems Using Electronic Institutionsr, as this paper shows, electronic institutions can be turned against agents to breach their security in a variety of ways. We focus our attention on probing attacks using electronic institutions specified in the Lightweight Coordination Calculus (LCC) language. LCC is a choreography language used t作者: Rejuvenate 時(shí)間: 2025-3-26 17:27
Detecting Conflicts in Commitmentsand its life cycle exist, there has been little work that studies commitments in relation to each other. However, in many situations, the content and state of one commitment may render another commitment useless or even worse create conflicts. This paper studies commitments in relation to each other作者: 生氣地 時(shí)間: 2025-3-26 23:42 作者: 重力 時(shí)間: 2025-3-27 04:55 作者: 強(qiáng)行引入 時(shí)間: 2025-3-27 08:22
The Evolution of Interoperabilityy 2006, the importance of a social semantics for protocols was well-established in the multiagent systems community. Further, commitments had emerged as a preeminent abstraction for capturing the semantics. The big advantage was that specifying the meaning of protocol messages in terms of the commit作者: 抵押貸款 時(shí)間: 2025-3-27 11:38
1000 Years of Coo-BDIetting were presented at DALT. One proposal, Coo-BDI, extended the BDI architecture by allowing agents to cooperate by exchanging and sharing plans in a quite flexible way; the other extended the BDI operational semantics for introducing speech-act based communication, including primitives for plan 作者: 毗鄰 時(shí)間: 2025-3-27 14:08
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-consisted in formally defining a larger set of speech-act based performatives and deploying them in ., a fully-fledged implementation of AgentSpeak. Subsequent research referring to the computationally grounded semantics of speech-act based agent communication that we introduced in that paper is als作者: glans-penis 時(shí)間: 2025-3-27 18:31
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Reviews. This paper proposes a model of norms whose content is related to time, which are specified at design time and therefore are expressed in terms of . played by the agents. Those norms have an . that is used to express the template of the events that when happen, provided that certain conditions hol作者: Meditative 時(shí)間: 2025-3-28 00:56 作者: 喚起 時(shí)間: 2025-3-28 03:15
Web Service Composition via Organisation-Based (Re)Planning most challenging steps in using SOA is defining the correct composition of services for a particular business process. Quickly recognised as a task where computer automation could help, various approaches have been proposed, including the use of AI techniques for planning service compositions. Howe作者: 貪婪性 時(shí)間: 2025-3-28 07:15
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verificationntial Centre in Bertinoro, Italy, in April 2011. Before I do so, I feel compelled to say, although this was supposed to be a technical paper, that participating in that School was the most fabulous experience of my academic career. I attended many conferences and summer schools over the last decade,作者: Acumen 時(shí)間: 2025-3-28 11:17 作者: CHYME 時(shí)間: 2025-3-28 15:35
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification was impeccable. Of course just atmosphere does not make an academic event that memorable. Perhaps because this was the most specific summer school I ever attend in regards to the topics covered, which allowed the courses to go into much more depth than usual, but certainly not only because of that 作者: 辯論 時(shí)間: 2025-3-28 20:22
https://doi.org/10.1057/9780230370043ss to determine services that can be used to achieve the desired effects, intelligently handling any errors that may occur. The action plans are based on an organisation model in which organisational goals are refined into scenes, landmarks, and objectives, allowing the set of actions available to t作者: obsolete 時(shí)間: 2025-3-29 00:48
International Political Economy Series was impeccable. Of course just atmosphere does not make an academic event that memorable. Perhaps because this was the most specific summer school I ever attend in regards to the topics covered, which allowed the courses to go into much more depth than usual, but certainly not only because of that 作者: nonradioactive 時(shí)間: 2025-3-29 05:55
0302-9743 of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influ作者: 裁決 時(shí)間: 2025-3-29 11:09 作者: GRIPE 時(shí)間: 2025-3-29 14:48
Democratization and Developmentas a preeminent abstraction for capturing the semantics. The big advantage was that specifying the meaning of protocol messages in terms of the commitments among agents enabled the agents to act flexibly.作者: 古老 時(shí)間: 2025-3-29 17:55
Plan Indexing for State-Based Plans the problem and examines one possible indexing scheme. It evaluates the scheme experimentally and concludes that it is only of benefit in fairly specific circumstances. It then discusses ways the indexing mechanism could be improved to provide wider benefits.作者: auxiliary 時(shí)間: 2025-3-29 23:30 作者: archenemy 時(shí)間: 2025-3-30 02:55
A Retrospective on the Reactive Event Calculus and Commitment Modeling Languageon two formalisms: the Reactive Event Calculus (.) and the Commitment Modeling Language (.). In this retrospective, we review recent developments of this line of work, and discuss our contribution in a broader context of related research.作者: 殖民地 時(shí)間: 2025-3-30 05:17 作者: 門窗的側(cè)柱 時(shí)間: 2025-3-30 08:52 作者: 古文字學(xué) 時(shí)間: 2025-3-30 12:29
Democratization and Developmenttments such as the problem of (.) verifying whether an agent fails (or succeeds) to deliver on its commitments; (.) identifying pending commitments; and (.) suggesting ways to satisfy pending commitments.作者: 線 時(shí)間: 2025-3-30 18:58 作者: Feigned 時(shí)間: 2025-3-30 22:15 作者: magnate 時(shí)間: 2025-3-31 01:45
Formalizing Commitments Using Action Languagestments such as the problem of (.) verifying whether an agent fails (or succeeds) to deliver on its commitments; (.) identifying pending commitments; and (.) suggesting ways to satisfy pending commitments.作者: angiography 時(shí)間: 2025-3-31 07:30
