close
1.

電子ブック

EB
Koen V. Hindriks, David Hutchison, Takeo Kanade, Alexander Pokahr, Sebastian Sardina
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
Programming Verifiable Heterogeneous Agent Systems / Louise A. Dennis ; Michael Fisher
OrwellÆs Nightmare for Agents? Programming Multi-agent Organisations / Nick A.M. Tinnemeier ; Mehdi Dastani ; Jahn-Jules Ch. Meyer
Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations / Peter Novák
Multi-agent Systems Frameworks
Presage: A programming Environment for the Simulation of Agent Societies / Brendan Neville ; Jeremy Pitt
An Organisational Platform for Holonic and Multiagent Systems / Nicolas Gaud ; Stéphane Galland ; Vincent Hilaire ; Abderrafiâa Koukam
A Complete-Computerised Delphi Process with a Multi-Agent System / Iván García-Magaiño ; Jorge J. Gómez-Sanz ; José R. Pérez-Agüera
Agent Environments and Tools
How Situated Is Your Agent? A Cognitive Perspective / Daghan L. Acay ; Liz Sonenberg ; Alessandro Ricci ; Philippe Pasquier
An Awareness Model for Agents in Heterogeneous Environments / Dirk Bade ; Lars Braubach ; Alexander Pokahr ; Winfried Lamersdorf
Infrastructure for Forensic Analysis of Multi-Agent Systems / Emilio Serrano ; Juan A. Botia
Toolipse: An IDE for Development of JIAC Applications / Erdene-Ochir Tuguldur ; Axel Hessler ; Benjamin Hirsch ; Sahin Albayrak
Kerberos-Based Secure Multiagent Platform / Jose M. Such ; Juan M. Alberola ; Ana Garcia-Fornes ; Agustin Espinosa ; Vicent Botti
Agent Contest
Agent Contest Competition: 4th Edition / Tristan M. Behrens ; Jürgen Dix
AC08 System Description / Jacek Szklarski
Herding Agents-JIAC TNG in Multi-Agent Programming Contest 2008 / Jan Keiser ; Tobias Küster ; Marcel Patzlaff ; Alexander Thiele
On Herding Artificial Cows: Using Jadex to Coordinate Cowboy Agents / Gregor Batthasar ; Jan Sudeikat ; Wolfgang Renz
Using Jason and MOISE+ to Develop a Team of Cowboys / Jomi F. Hübner ; Rafael H. Bordini ; Gauthier Picard
Dublin Bogtrotters: Agent Herders / Mauro Dragons ; David Lillis ; Conor Muldoon ; Richard Tynan ; Rem W. Collier ; Gregory M.P. OÆHare
SHABaN Multi-agent Team to Herd Cows / Adel T. Rahmani ; Alireza Saberi ; Mehdi Mohammadi ; Amin Nikanjam ; Ehsan Adeli Mosabbeb ; Monireh Abdoos
Author Index
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
2.

電子ブック

EB
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
3.

電子ブック

EB
David Hutchison, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff
Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani ; David Robertson ; David Aspinall
Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum
Formalizing Commitments Using Action Languages / Tran Cao Son ; Enrico Pontelli ; Chiaki Sakama
Best of DALT
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
The Evolution of Interoperability / Amit K. Chopra ; Munindar P. Singh
1000 Years of Coo-BDI / Viviana Mascardi ; Davide Ancona
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino ; Juan-Antonio Rodríguez-Aguilar ; Carles Sierra ; Wamberto W. Vasconcelos
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira ; Renata Vieira ; Rafael H. Bordini
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara ; Marco Colombetti
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
DALT Spring School 2011
Web Service Composition via Organisation-Based (Re)Planning / David Corsar ; Alison Chorley
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)
Author Index
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
4.

電子ブック

EB
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
5.

電子ブック

EB
Koen V. Hindriks, David Hutchison, Takeo Kanade, Alexander Pokahr, Sebastian Sardina
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
Programming Verifiable Heterogeneous Agent Systems / Louise A. Dennis ; Michael Fisher
OrwellÆs Nightmare for Agents? Programming Multi-agent Organisations / Nick A.M. Tinnemeier ; Mehdi Dastani ; Jahn-Jules Ch. Meyer
Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations / Peter Novák
Multi-agent Systems Frameworks
Presage: A programming Environment for the Simulation of Agent Societies / Brendan Neville ; Jeremy Pitt
An Organisational Platform for Holonic and Multiagent Systems / Nicolas Gaud ; Stéphane Galland ; Vincent Hilaire ; Abderrafiâa Koukam
A Complete-Computerised Delphi Process with a Multi-Agent System / Iván García-Magaiño ; Jorge J. Gómez-Sanz ; José R. Pérez-Agüera
Agent Environments and Tools
How Situated Is Your Agent? A Cognitive Perspective / Daghan L. Acay ; Liz Sonenberg ; Alessandro Ricci ; Philippe Pasquier
An Awareness Model for Agents in Heterogeneous Environments / Dirk Bade ; Lars Braubach ; Alexander Pokahr ; Winfried Lamersdorf
Infrastructure for Forensic Analysis of Multi-Agent Systems / Emilio Serrano ; Juan A. Botia
Toolipse: An IDE for Development of JIAC Applications / Erdene-Ochir Tuguldur ; Axel Hessler ; Benjamin Hirsch ; Sahin Albayrak
Kerberos-Based Secure Multiagent Platform / Jose M. Such ; Juan M. Alberola ; Ana Garcia-Fornes ; Agustin Espinosa ; Vicent Botti
Agent Contest
Agent Contest Competition: 4th Edition / Tristan M. Behrens ; Jürgen Dix
AC08 System Description / Jacek Szklarski
Herding Agents-JIAC TNG in Multi-Agent Programming Contest 2008 / Jan Keiser ; Tobias Küster ; Marcel Patzlaff ; Alexander Thiele
On Herding Artificial Cows: Using Jadex to Coordinate Cowboy Agents / Gregor Batthasar ; Jan Sudeikat ; Wolfgang Renz
Using Jason and MOISE+ to Develop a Team of Cowboys / Jomi F. Hübner ; Rafael H. Bordini ; Gauthier Picard
Dublin Bogtrotters: Agent Herders / Mauro Dragons ; David Lillis ; Conor Muldoon ; Richard Tynan ; Rem W. Collier ; Gregory M.P. OÆHare
SHABaN Multi-agent Team to Herd Cows / Adel T. Rahmani ; Alireza Saberi ; Mehdi Mohammadi ; Amin Nikanjam ; Ehsan Adeli Mosabbeb ; Monireh Abdoos
Author Index
Planning for Interactions among Autonomous Agents / Tsz-Chiu Au ; Agur Kuter ; Dana Nau
Agent Programming Languages
Exploring Heuristic Action Selection in Agent Programming / Koen V. Hindriks ; Catholijn M. Jonker ; Wouter Pasman
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼