標(biāo)題: Titlebook: Computational Logic in Multi-Agent Systems; 10th International W Jürgen Dix,Michael Fisher,Peter Novák Conference proceedings 2010 Springer [打印本頁] 作者: patch-test 時間: 2025-3-21 17:18
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems被引頻次
書目名稱Computational Logic in Multi-Agent Systems被引頻次學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems年度引用
書目名稱Computational Logic in Multi-Agent Systems年度引用學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems讀者反饋
書目名稱Computational Logic in Multi-Agent Systems讀者反饋學(xué)科排名
作者: babble 時間: 2025-3-21 22:00
Expressing Properties of Resource-Bounded Systems: The Logics ,, and ,,o the models of systems and discusses the .. and .., based on the well-known .. and .., for reasoning about computations of such systems. We present initial results on the complexity/decidability of model checking.作者: 健忘癥 時間: 2025-3-22 04:01
Reasoning about Multi-agent Domains Using Action Language ,: A Preliminary Study,-agent domains. We use the action language . and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.作者: 方舟 時間: 2025-3-22 08:01 作者: largesse 時間: 2025-3-22 11:59
Operational Semantics for BDI Modules in Multi-agent Programming,modules facilitates the implementation of agents, agent roles, and agent profiles. Moreover, the introduced concept of modules enables common programming techniques such as encapsulation and information hiding for BDI-based multi-agent programs. This vision is applied to a BDI-based multi-agent prog作者: meritorious 時間: 2025-3-22 14:23 作者: meritorious 時間: 2025-3-22 17:38 作者: LEER 時間: 2025-3-23 00:55 作者: 他去就結(jié)束 時間: 2025-3-23 03:59
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier,erize notions such as Nash equilibria. Recent efforts concentrate on pure-strategy games, where intelligent agents act deterministically guided by utility functions. We build upon this tradition by incorporating stochastic actions. First, we present an extension of the Probabilistic Computation-Tree作者: Perigee 時間: 2025-3-23 08:43
https://doi.org/10.1007/978-3-642-51354-1alize multiagent planning problems and the notion of a joint plan for multiagent in the presence of cooperative actions. Finally, the paper presents a system for computing joint plans based on the ASP-Prolog system.作者: sebaceous-gland 時間: 2025-3-23 11:13 作者: 收藏品 時間: 2025-3-23 16:25 作者: 盲信者 時間: 2025-3-23 18:53 作者: lymphoma 時間: 2025-3-24 00:50
https://doi.org/10.1007/978-3-642-99228-5y change the social specifications among agents without the need of modifying individual programs and to separate beliefs of agents from social requirements over them. Social interactions among agents are encoded in a single logic program using constraints. Coordinated solutions are then computed using answer set programming.作者: Banister 時間: 2025-3-24 06:05 作者: Coronary 時間: 2025-3-24 06:51
https://doi.org/10.1007/978-3-662-40406-5is programming language are provided and some properties of the module related programming constructs are discussed. An example is presented to illustrate how modules can be used to implement BDI-based multi-agent systems.作者: Foolproof 時間: 2025-3-24 12:52
https://doi.org/10.1007/978-3-642-99228-5nderstood by humans. The main contribution of the paper is that it shows how to reason about preferences when only incomplete information is available. An adequate strategy is proposed that allows reasoning with incomplete information and it is shown how to incorporate this strategy into the argumentation-based framework for modelling preferences.作者: 杠桿支點(diǎn) 時間: 2025-3-24 15:57 作者: 輕打 時間: 2025-3-24 20:49
Operational Semantics for BDI Modules in Multi-agent Programming,is programming language are provided and some properties of the module related programming constructs are discussed. An example is presented to illustrate how modules can be used to implement BDI-based multi-agent systems.作者: 哎呦 時間: 2025-3-25 01:08 作者: 處理 時間: 2025-3-25 07:13 作者: licence 時間: 2025-3-25 09:24 作者: colony 時間: 2025-3-25 13:55
https://doi.org/10.1007/978-3-662-40406-5 language is provided by translating Inst. queries into ., the same computational language as Inst.. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.作者: 刺耳 時間: 2025-3-25 16:28 作者: frenzy 時間: 2025-3-25 23:23
0302-9743 Overview: High quality selected papers.Unique visibility.State of the art research978-3-642-16866-6978-3-642-16867-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Flagging 時間: 2025-3-26 03:53
Die Bindungen der Bobbinet-Gewebeo the models of systems and discusses the .. and .., based on the well-known .. and .., for reasoning about computations of such systems. We present initial results on the complexity/decidability of model checking.作者: 無脊椎 時間: 2025-3-26 07:56
https://doi.org/10.1007/978-3-642-51354-1-agent domains. We use the action language . and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.作者: 密碼 時間: 2025-3-26 11:41
Jürgen Dix,Michael Fisher,Peter NovákHigh quality selected papers.Unique visibility.State of the art research作者: 手榴彈 時間: 2025-3-26 13:39
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/232631.jpg作者: Visual-Field 時間: 2025-3-26 19:03
Orientierung und Verankerung im Fachgebiet,Speculative computation has been proposed for reasoning with incomplete information in multi-agent systems. This paper presents the first multi-threaded implementation for speculative constraint processing with iterative revision for disjunctive answers in master-slave multi-agent systems.作者: Morbid 時間: 2025-3-27 00:53
On the Implementation of Speculative Constraint Processing,Speculative computation has been proposed for reasoning with incomplete information in multi-agent systems. This paper presents the first multi-threaded implementation for speculative constraint processing with iterative revision for disjunctive answers in master-slave multi-agent systems.作者: hankering 時間: 2025-3-27 01:56 作者: 無動于衷 時間: 2025-3-27 08:30
Die Bindungen der Bobbinet-Gewebeo the models of systems and discusses the .. and .., based on the well-known .. and .., for reasoning about computations of such systems. We present initial results on the complexity/decidability of model checking.作者: PANEL 時間: 2025-3-27 11:25 作者: VEIL 時間: 2025-3-27 17:06 作者: 古董 時間: 2025-3-27 18:09
https://doi.org/10.1007/978-3-662-40406-5modules facilitates the implementation of agents, agent roles, and agent profiles. Moreover, the introduced concept of modules enables common programming techniques such as encapsulation and information hiding for BDI-based multi-agent programs. This vision is applied to a BDI-based multi-agent prog作者: helper-T-cells 時間: 2025-3-27 21:58
https://doi.org/10.1007/978-3-662-40406-5udied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, Inst. aims to help focus designers’ attention on the expression of issues such as permis作者: cumulative 時間: 2025-3-28 05:08
https://doi.org/10.1007/978-3-642-99228-5 interactions between answer sets of different programs. Answer sets satisfying conditions of interactions represent solutions coordinated in a multiagent society. A unique feature of our framework is that answer set interactions are specified outside of individual programs. This enables us to freel作者: genuine 時間: 2025-3-28 07:35 作者: 旅行路線 時間: 2025-3-28 13:15
Orientierung und Verankerung im Fachgebiet,erize notions such as Nash equilibria. Recent efforts concentrate on pure-strategy games, where intelligent agents act deterministically guided by utility functions. We build upon this tradition by incorporating stochastic actions. First, we present an extension of the Probabilistic Computation-Tree作者: ANTIC 時間: 2025-3-28 17:03 作者: commodity 時間: 2025-3-28 20:57 作者: licence 時間: 2025-3-29 00:17 作者: 經(jīng)典 時間: 2025-3-29 05:51
Reasoning about Multi-agent Domains Using Action Language ,: A Preliminary Study,-agent domains. We use the action language . and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.作者: 頭盔 時間: 2025-3-29 09:30 作者: 弓箭 時間: 2025-3-29 15:24
