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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

4
(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

2003 ◽  
pp. 286-289 ◽  
Author(s):  
Michel Rudnianski ◽  
Hélène Bestougeff
Keyword(s):  
Traffic Control

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

2003 ◽  
pp. 28-36 ◽  
Author(s):  
Bahram Kimiaghalam ◽  
Abdollah Homaifar ◽  
Albert C. Esterline

Agent Programming in Dribble: From Beliefs to Goals with Plans

2003 ◽  
pp. 294-295 ◽  
Author(s):  
Birna van Riemsdijk ◽  
Wiebe van der Hoek ◽  
John-Jules C. Meyer
Keyword(s):  
Agent Programming

Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models

2003 ◽  
pp. 103-114
Author(s):  
Hyuckchul Jung ◽  
Ranjit Nair ◽  
Milind Tambe ◽  
Stacy Marsella
Keyword(s):  
Computational Models ◽  
Multiagent Coordination

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

2003 ◽  
pp. 1-14
Author(s):  
Tim Menzies ◽  
Adrian Pearce ◽  
Clinton Heinze ◽  
Simon Goss

Organising Logic-Based Agents

2003 ◽  
pp. 15-27 ◽  
Author(s):  
Michael Fisher ◽  
Chiara Ghidini ◽  
Benjamin Hirsch

Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System

2003 ◽  
pp. 292-293
Author(s):  
Alexander Hoole ◽  
Issa Traore ◽  
Michael Liu Yanguo
Keyword(s):  
Medical Diagnosis ◽  
Formal Analysis ◽  
Agent Based

Automated Protocol Analysis in Maude

2003 ◽  
pp. 68-78 ◽  
Author(s):  
Jeffrey Van Baalen ◽  
Thomas Böhne
Keyword(s):  
Protocol Analysis ◽  
Automated Protocol
Load More ...
Sign in / Sign up

Export Citation Format

Share Document