Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540406655, 9783540451334

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling Traffic Control through Deterrent Agents

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_29 ◽

2003 ◽

pp. 286-289 ◽

Cited By ~ 2

Author(s):

Michel Rudnianski ◽

Hélène Bestougeff

Keyword(s):

Traffic Control

Download Full-text

A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_3 ◽

2003 ◽

pp. 28-36 ◽

Cited By ~ 1

Author(s):

Bahram Kimiaghalam ◽

Abdollah Homaifar ◽

Albert C. Esterline

Download Full-text

Agent Programming in Dribble: From Beliefs to Goals with Plans

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_32 ◽

2003 ◽

pp. 294-295 ◽

Cited By ~ 3

Author(s):

Birna van Riemsdijk ◽

Wiebe van der Hoek ◽

John-Jules C. Meyer

Keyword(s):

Agent Programming

Download Full-text

Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_9 ◽

2003 ◽

pp. 103-114

Author(s):

Hyuckchul Jung ◽

Ranjit Nair ◽

Milind Tambe ◽

Stacy Marsella

Keyword(s):

Computational Models ◽

Multiagent Coordination

Download Full-text

Verifiable Middleware for Secure Agent Interoperability

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_11 ◽

2003 ◽

pp. 126-132 ◽

Cited By ~ 2

Author(s):

Ramesh Bharadwaj

Download Full-text

“What Is an Agent and Why Should I Care?”

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_1 ◽

2003 ◽

pp. 1-14

Author(s):

Tim Menzies ◽

Adrian Pearce ◽

Clinton Heinze ◽

Simon Goss

Download Full-text

Organising Logic-Based Agents

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_2 ◽

2003 ◽

pp. 15-27 ◽

Cited By ~ 4

Author(s):

Michael Fisher ◽

Chiara Ghidini ◽

Benjamin Hirsch

Download Full-text

Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_31 ◽

2003 ◽

pp. 292-293

Author(s):

Alexander Hoole ◽

Issa Traore ◽

Michael Liu Yanguo

Keyword(s):

Medical Diagnosis ◽

Formal Analysis ◽

Agent Based

Download Full-text

Formal Modeling and Supervisory Control of Reconfigurable Robot Teams

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_8 ◽

2003 ◽

pp. 92-102 ◽

Cited By ~ 1

Author(s):

Kiriakos Kiriakidis ◽

Diana F. Gordon-Spears

Keyword(s):

Supervisory Control ◽

Formal Modeling ◽

Robot Teams ◽

Reconfigurable Robot

Download Full-text

Automated Protocol Analysis in Maude

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45133-4_6 ◽

2003 ◽

pp. 68-78 ◽

Cited By ~ 1

Author(s):

Jeffrey Van Baalen ◽

Thomas Böhne

Keyword(s):

Protocol Analysis ◽

Automated Protocol

Download Full-text

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modeling Traffic Control through Deterrent Agents

A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior

Agent Programming in Dribble: From Beliefs to Goals with Plans

Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models

Verifiable Middleware for Secure Agent Interoperability

“What Is an Agent and Why Should I Care?”

Organising Logic-Based Agents

Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System

Formal Modeling and Supervisory Control of Reconfigurable Robot Teams

Automated Protocol Analysis in Maude

Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science
Latest Publications