Titlebook: Computational Logic in Multi-Agent Systems; 10th International W Jürgen Dix,Michael Fisher,Peter Novák Conference proceedings 2010 Springer

patch-test

书目名称Computational Logic in Multi-Agent Systems影响因子(影响力)




书目名称Computational Logic in Multi-Agent Systems影响因子(影响力)学科排名




书目名称Computational Logic in Multi-Agent Systems网络公开度




书目名称Computational Logic in Multi-Agent Systems网络公开度学科排名




书目名称Computational Logic in Multi-Agent Systems被引频次




书目名称Computational Logic in Multi-Agent Systems被引频次学科排名




书目名称Computational Logic in Multi-Agent Systems年度引用




书目名称Computational Logic in Multi-Agent Systems年度引用学科排名




书目名称Computational Logic in Multi-Agent Systems读者反馈




书目名称Computational Logic in Multi-Agent Systems读者反馈学科排名

babble

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.

健忘症

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.

方舟

largesse

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

meritorious

LEER

他去就结束

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

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.