close
1.

電子ブック

EB
Jürgen Dix, Takeo Kanade, João Leite, João Alexandre Leite, João Leite, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Jürgen Dix, Guido Governatori, Wojtek Jamroga, Takeo Kanade, João Leite
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited talks
Is Computational Complexity a Barrier to Manipulation? / Toby walsh
Games, Norms and Strategic Notions in Information Flow Security (Abstract) / Ron van der Meyden
Group Announcements: Logic and Games (Extended abstract) / Thomas Ã…gones
Strong Equivalence in Argumentation (abstract) / Stefan Woltran
Reguler papers
Hypergraphs of Multiparty Secrets / Sara Miner More ; Pauel Naumou
Combining Logics in Simple Type Theory / Christoph Benzmüiller
Speculative Adductive Reasoning for Hierarchical Agent Systems / Jiefei Ma ; Krysia Broad ; Randy Goebel ; Hiroshi Hosobe ; Alessandra Russo ; Ken satoh
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes / Pedro Arturo góngora ; Eric Ufferman ; Francisco Hernández-Quiroz
What Happened to My Commitment? Exception Diagnosis Among Misalignment and Misbehaviour / Özgür Kafali ; Federico Chesani ; Paolo Torroni
Verifying Business Process Compliance by Reasoning about Actions / Davide D'Aprile ; Laura Giodano ; Valentina Gliozzi ; Alberto Martelli ; Gian Luca Pozzato ; Daniele Theseider Dupré
From Organization Specification to Normative Programming in Multi-Agent Organizations / Jomi F. Hübner ; Olivier Boissier ; Rafael H. Bordini
Finding Uniform Strategies for Multi-Agent Systems / Jan Calta ; Dmitry Shkatov ; Holger Schlingloff
Playing Extensive Form Games in Parallel / Sujata Ghosh ; R.Ramanujam ; Sunil Simon
Exploring the Boundary of Half Positionality / Alessandro Bianco ; Marco Faella ; Fabio Mogavero ; Aniello Murano
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy sets / Jonathan A.Zvesper ; Krzysztof R. Apt
An Agent Language with Destructive Assignment and Model - Theoretic Semantics / Robert Kowalski ; Fariba sadri
Model Checking Agent Programs by Using the Program Interpreter / Sung-Shik T.Q. jongmans ; Koen V.Hindriks ; M.birna Van Riemsdijk
A Dialogue Games Framework for the Operational Semantics of Logic Agent - Oriented Languages / Stefania Constantini ; Arianna Tocchio
Author index
Invited talks
Is Computational Complexity a Barrier to Manipulation? / Toby walsh
Games, Norms and Strategic Notions in Information Flow Security (Abstract) / Ron van der Meyden
3.

電子ブック

EB
Jürgen Dix, Michael Fisher, Takeo Kanade, Peter Novák
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
4.

電子ブック

EB
Rafael H. Bordini, Mehdi M. Dastani, Jürgen Dix, Amal Fallah Seghrouchni, Takeo Kanade, Mehdi Dastani, Amal El Fallah Seghrouchni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Jürgen Dix, Peter Novák
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
Jürgen Dix, Takeo Kanade, Cees Witteveen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Tournament Solutions and Their Applications to Multiagent Decision Making / Felix Brandt
Research Challenges in Simulation Aided Design of Complex Multi-agent Systems / Michal Pechoucek ; Michal Jakob
Models and Specifications
A Model Driven Development of Platform-Neutral Agents / Inmaculada Ayala ; Mercedes Amor ; Lidia Fuentes
A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements / Mohamed Amin Laouadi ; Farid Mokhati ; Hassina Seridi-Bouchelaghem
Do You Get It? User-Evaluated Explainable BDI Agents / Joost Broekens ; Maaike Harbers ; Koen Hindriks ; Karel van den Bosch ; Catholijn Jonker ; John-Jules Meyer
Trust, Norms and Reputation
Reputation in Multi Agent Systems and the Incentives to Provide Feedback / Miriam Heitz ; Stefan König ; Torsten Eymann
Normative Deliberation in Graded BDI Agents / Natalia Criado ; Estefania Argente ; Vicent Botti
Inducing Desirable Behaviour through an Incentives Infrastructure / Roberto Centeno ; Holger Billhardt ; Sascha Ossowski
Models, Tools and Architectures
SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models / Endri Deliu ; Michael Köhler-Bu?meier
Enhancing the Interoperability between Multiagent Systems and Service-Oriented Architectures through a Model-Driven Approach / Christian Hahn ; Sven Jacobi ; David Raber
Unifying Agent and Component Concepts: Jadex Active Components / Alexander Pokahr ; Lars Braubach ; Kai Jander
Applications I
Impact of Competition on Quality of Service in Demand Responsive Transit / Ferdi Grootenboers ; Mathijs de Weerdt ; Mahdi Zargayouna
Towards Distributed Agent Environments for Pervasive Healthcare / Stefano Bromuri ; Michael Ignaz Schumacher ; Kostas Stathis
Context-Aware Route Planning / Adriaan W. ter Mors ; Cees Witteveen ; Jonne Zutt ; Fernando A. Kuipers
Coordination and Learning
Social Conformity and Its Convergence for Reinforcement Learning / Juan A. García-Pardo ; Jose Soler ; Carlos Carrascosa
COLYPAN: A Peer-to-Peer Architecture for a Project Management Collaborative Learning System / Hanaa Mazyad ; Insaf Tnazefti-Kerkeni
Preference Generation for Autonomous Agents / Umair Rafique ; Shell Ying Huang
Evaluation of Techniques for a Learning-Driven Modeling Methodology in Multiagent Simulation / Robert Junges ; Franziska Klügl
Applications II
Price Prediction in Sports Betting Markets / Juan M. Alberola ; Ana Garcia-Fornes ; Agustin Espinosa
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach / Simon Adameit ; Tobias Betz ; Lawrence Cabac ; Florian Hars ; Marcin Hewelt ; Daniel Moldt ; Dimitri Popov ; José Quenum ; Axel Theilmann ; Thomas Wagner ; Timo Warns ; Lars WüStenberg
Author Index
Invited Talks
Tournament Solutions and Their Applications to Multiagent Decision Making / Felix Brandt
Research Challenges in Simulation Aided Design of Complex Multi-agent Systems / Michal Pechoucek ; Michal Jakob
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼