Artificial intelligence

Social systems are among the most complex known.

This book gives a comprehensive account of Maude, a language and system based on rewriting logic.

This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.

Personal Experience with Active Cultural Heritage, PEACH, is a large, interdisciplinary development project that explores the use of novel technologies for physical museum visits.

This volume constitutes the refereed proceedings of the First International Conference on Rough Sets and Current Trends in Computing, RSCTC'98, held in Warsaw, Poland, in June 1998.

Heterogeneous object modelling is a new and quickly developing research area.

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97.

Machine Translation and the Information Soup!

This book constitutes, together with its compagnion LNCS 1607, the refereed proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, held in Alicante, Spain in June 1999.

Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically.

This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Tutoring Systems, ITS 2002, held in Biarritz, France, and San Sebastian, Spain, in June 2002The 93 revised full papers presented together with 5 invited papers and 16 posters were carefully reviewed and selected from 167 full paper submissions.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

Premiering in 1990 in Antibes, France, the European Conference on Computer Vision, ECCV, has been held biennially at venues all around Europe.

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

Nowadays, the Internet is the most commonly used medium for the exchange of data in di?

The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects.

Human language capabilities are based on mental proceduresthat are closely linked to the time domain.

The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications.

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.

The papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held at The Robert Gordon University in Aberdeen, UK.

Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.

This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001.

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2002) held at Penn State Great Valley, Malvern, Pennsylvania, U.

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.

This book constitutes the refereed proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Export Systems, IEA/AIE 2001, held in Budapest, Hungary in June 2001.

Ten years ago, the inaugural European Conference on Computer Vision was held in Antibes, France.

This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16-18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA.

Human performance in visual perception by far exceeds the performance of contemporary computer vision systems.

Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21-23, 2002.