標(biāo)題: Titlebook: Declarative Agent Languages and Technologies VII; 7th International Wo Matteo Baldoni,Jamal Bentahar,John Lloyd Conference proceedings 2010 [打印本頁] 作者: Malnutrition 時(shí)間: 2025-3-21 19:48
書目名稱Declarative Agent Languages and Technologies VII影響因子(影響力)
書目名稱Declarative Agent Languages and Technologies VII影響因子(影響力)學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VII網(wǎng)絡(luò)公開度
書目名稱Declarative Agent Languages and Technologies VII網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VII被引頻次
書目名稱Declarative Agent Languages and Technologies VII被引頻次學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VII年度引用
書目名稱Declarative Agent Languages and Technologies VII年度引用學(xué)科排名
書目名稱Declarative Agent Languages and Technologies VII讀者反饋
書目名稱Declarative Agent Languages and Technologies VII讀者反饋學(xué)科排名
作者: Uncultured 時(shí)間: 2025-3-21 21:28 作者: frozen-shoulder 時(shí)間: 2025-3-22 03:38
Matteo Baldoni,Jamal Bentahar,John Lloydup-to-date results.fast track conference proceedings.state-of-the art report作者: 清晰 時(shí)間: 2025-3-22 04:57 作者: LATHE 時(shí)間: 2025-3-22 11:42
Playing with Rulesdates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.作者: 新奇 時(shí)間: 2025-3-22 14:03
Declarative Agent Languages and Technologies VII978-3-642-11355-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 新奇 時(shí)間: 2025-3-22 20:20 作者: Heretical 時(shí)間: 2025-3-22 22:57 作者: Biomarker 時(shí)間: 2025-3-23 03:45
Die demografische Entwicklung in Deutschlandl time. The generalisation is such that refinement is compositional. This means that refinement at the individual level implies refinement at the multi-agent system level. Compositionality is an important property since it reduces heavily the verification process. Thus having a theory of refinement 作者: dissent 時(shí)間: 2025-3-23 06:46 作者: diskitis 時(shí)間: 2025-3-23 10:14
Alois Wenig,Klaus F. Zimmermann, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model such commitments based on directed obligations with t作者: FAWN 時(shí)間: 2025-3-23 15:48
Alois Wenig,Klaus F. Zimmermannaper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This sem作者: 鐵塔等 時(shí)間: 2025-3-23 20:15 作者: 赦免 時(shí)間: 2025-3-24 00:05
https://doi.org/10.1007/978-3-540-77084-8pen interaction systems. In this paper we regard such obligations and prohibitions as cases of social commitment, and propose to model them in OWL, the logical language recommended by the W3C for Semantic Web applications. In particular we propose an application-independent ontology of the notions o作者: filicide 時(shí)間: 2025-3-24 04:01 作者: 彎曲道理 時(shí)間: 2025-3-24 09:08
https://doi.org/10.1007/978-3-540-77084-8hich is an essential factor in quality of the connections among diverse nodes in the network. To address the efficiency in the interactions among nodes, we propose in this paper a trust-based architecture applicable to maintain interactions in multi-agent-based social networks. We provide a detailed作者: Flat-Feet 時(shí)間: 2025-3-24 12:06 作者: Nebulizer 時(shí)間: 2025-3-24 15:25
Demographic Theory: a Long Viewal characters are to be considered believable to players, they should appear to adjust their behavior based on their (presumed) beliefs about the mental states of other characters. Autonomous BDI-based agents are suitable for modeling characters that base their actions on mental states attributed to作者: FLAT 時(shí)間: 2025-3-24 20:53 作者: 恃強(qiáng)凌弱的人 時(shí)間: 2025-3-25 01:35 作者: Gossamer 時(shí)間: 2025-3-25 05:46
https://doi.org/10.1007/978-3-030-85679-3sion of the branching time temporal logic CTL) which describes transition systems corresponding to a Dribble program, and show how to express properties of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the l作者: Morose 時(shí)間: 2025-3-25 08:04 作者: 可耕種 時(shí)間: 2025-3-25 14:56
978-3-642-11354-3Springer-Verlag Berlin Heidelberg 2010作者: Protein 時(shí)間: 2025-3-25 16:15 作者: 流出 時(shí)間: 2025-3-25 23:10 作者: FEAT 時(shí)間: 2025-3-26 03:48 作者: myelography 時(shí)間: 2025-3-26 08:01
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model such commitments based on directed obligations with t作者: subordinate 時(shí)間: 2025-3-26 10:22
Unifying the Intentional and Institutional Semantics of Speech Actsaper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This sem作者: Omnipotent 時(shí)間: 2025-3-26 14:01
Tableaux for Acceptance Logicd. This logic is aimed at capturing the concept of acceptance . member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acc作者: 暗語 時(shí)間: 2025-3-26 17:15 作者: BLINK 時(shí)間: 2025-3-26 22:01 作者: 軍火 時(shí)間: 2025-3-27 03:19 作者: 低位的人或事 時(shí)間: 2025-3-27 08:23 作者: 進(jìn)取心 時(shí)間: 2025-3-27 09:50 作者: Graphite 時(shí)間: 2025-3-27 15:02
Correctness Properties for Multiagent Systemsaper motivates and characterizes correctness properties for multiagent systems. These properties are centered on commitments, and capture correctness at a high level. In contrast to existing approaches, commitments underlie key correctness primitives understood in terms of meaning; for example, comm作者: aspect 時(shí)間: 2025-3-27 20:30
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programminglling to cooperate. To this end, we extend the action language . in [12] to represent and reason about plans with cooperative actions of an individual agent operating in a multiagent environment. We then use the proposed language to formalize the multiagent planning problem and the notion of a joint作者: 大笑 時(shí)間: 2025-3-27 23:48 作者: 苦笑 時(shí)間: 2025-3-28 02:18
0302-9743 ltiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting..978-3-642-11354-3978-3-642-11355-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 冥想后 時(shí)間: 2025-3-28 07:52
Conference proceedings 2010roaches with engineering and technology aspects of agents and multiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting..作者: 預(yù)測(cè) 時(shí)間: 2025-3-28 14:12
Studien zur Schul- und Bildungsforschungof distrust. Explicitly taking distrust into account allows us to mark a clear difference between the distinct notions of . trust and . trust. More precisely, it is possible, unlike in approaches where only trust is accounted for, to “weigh” differently information from ., ., ., or . sources.作者: 把…比做 時(shí)間: 2025-3-28 18:26
https://doi.org/10.1007/978-3-540-77084-8and numerical analysis of the proposed model and its assessment and discuss the system implementation, along with simulations obtained from a number of executions compared with the broadly known frameworks.作者: Flustered 時(shí)間: 2025-3-28 22:25
Goal Generation from Possibilistic Beliefs Based on Trust and Distrustof distrust. Explicitly taking distrust into account allows us to mark a clear difference between the distinct notions of . trust and . trust. More precisely, it is possible, unlike in approaches where only trust is accounted for, to “weigh” differently information from ., ., ., or . sources.作者: INCH 時(shí)間: 2025-3-29 01:21 作者: 個(gè)人長篇演說 時(shí)間: 2025-3-29 03:48 作者: opportune 時(shí)間: 2025-3-29 10:57 作者: octogenarian 時(shí)間: 2025-3-29 14:02
Verifying Dribble Agentses of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the logic and a correspondence between the operational semantics of Dribble and the models of the logic.作者: 追逐 時(shí)間: 2025-3-29 18:45
0302-9743 ceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009...The 11 revised full papers pr作者: 一瞥 時(shí)間: 2025-3-29 21:11 作者: SAGE 時(shí)間: 2025-3-30 02:24
https://doi.org/10.1007/978-3-030-85679-3 agent operating in a multiagent environment. We then use the proposed language to formalize the multiagent planning problem and the notion of a joint plan for multiagents in this setting. We discuss a method for computing joint plans using answer set programming and provide arguments for the soundness and completeness of the implementation.作者: ineffectual 時(shí)間: 2025-3-30 07:03 作者: 木質(zhì) 時(shí)間: 2025-3-30 08:49 作者: morale 時(shí)間: 2025-3-30 14:07
Alois Wenig,Klaus F. Zimmermannin a flexible way. We formalize such obligations using linear temporal logic and provide an implementation to their semantics using a set of monitoring rules employed in a forward-chaining inference engine. We show, through experimentation, the correctness of the obtained monitoring tool in different contract enactment situations.作者: Nerve-Block 時(shí)間: 2025-3-30 18:15 作者: ARY 時(shí)間: 2025-3-31 00:44
https://doi.org/10.1007/978-3-540-77084-8ribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.作者: Permanent 時(shí)間: 2025-3-31 02:17 作者: Camouflage 時(shí)間: 2025-3-31 06:18
