Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers, Volume 10

Front Cover
Springer Science & Business Media, Apr 21, 1995 - Computers - 523 pages
0 Reviews
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994.
The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Foundations of Multiagent Systems
1
Gasser
15
K Sycara
45
W van der Hoek
73
Y Labrou
96
Distributed Problem Solving and Planning
118
Automated Negotiation and Decision Making in Multiagent Environments
150
Kraus
171
The Practice 123
123
Plot Planning and Act Planning 173
173
Directors Planning 229
229
Camera Planning 255
255
Light Color and Role Planning 287
287
Table of Contents
1
Beeri
30
J Meseguer N MartiOliet
48

Social Behaviour Metareasoning and Learning
187
Social Knowledge in Multiagent Systems
211
Machine Learning and Inductive Logic Programming for Multiagent
246
Kazakov and D Kudenko
268
Exercises in Systems Modularity
281
J Kelemen
299
Multiagent Coordination and Control Using Stigmery Applied
317
Specialised Agent Applications
365
AgentBased Modelling of Ecosystems for Sustainable Resource Management
383
J Doran
401
B Nebel
414
Kvasnidka andJ Pospichal
v
Wirsing
73
Contributed Papers
116
Bert R Echahed
132
Bidoit R Hennicker
153
Broy
170
Cerioli
188
G Denker
203
H D Ehrich A Sernadas
217
H Ehrig M Lowe F Orejas
236
Fernandez J P Jouannaud
255
Author Index 437
437
Copyright

Other editions - View all

Common terms and phrases

About the author (1995)

Astesiano, University of Geneva, Italy.

Bibliographic information