The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.

This book constitutes the refereed proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, held in Eindhoven, The Netherlands in January 1996.
The concept of agents comprises physical as well as software agents; it emerged at the crossroads of distributed computing, artificial intelligence, and embedded systems. Multi-agent systems are foundational for new models of computing and interaction addressing large-scale open distributed platforms like the World-Wide Web. The 17 revised full papers presented were selected from a total of 51...

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithmic Learning Theory, ALT'97, held in Sendai, Japan, in October 1997.
The volume presents 26 revised full papers selected from 42 submissions. Also included are three invited papers by leading researchers. Among the topics addressed are PAC learning, learning algorithms, inductive learning, inductive inference, learning from examples, game-theoretical aspects, decision procedures, language learning, neural algorithms, and various other aspects of computational learning theory.

This book constitutes the refereed proceedings of the Second International Workshop on Intelligent Agents for Telecommunication Applications, IATA'98, held in Paris, France, in July 1998, in conjunction with the 1998 Agents World Conference.
The book presents 17 revised full papers carefully selected for inclusion in the volume. The book is divided into topical sections on network architecture, network configuration and planning, network optimization, network management, agent-based architectures for service applications.

This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998.
The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Conference on Flexible Query Answering Systems, FQAS'98, held in Roskilde, Denmark, in May 1998.
The 32 revised papers presented were carefully reviewed and went through two rounds of selection for inclusion in the proceedings. This book is the first one focused on flexible query answering systems; this emerging area of research and development builts on results from mathematical logic, fuzzy logic, various database paradigms, information retrieval, linguistics, and human...

This volume contains revisedversions of selected papers presented at the Fourth Australian Workshop on Distributed Arti?cial Intelligence (DAK 91), together with a set of invited papers. Each paper has been reviewed by at least two program committee members. The workshop was held in Brisbane, Queensland, Australia on July 17,1992. The goalof the workshopwas to promoteresearchin distributed arti?cial intelligence and multi-agent systems, both nationally and internationally. Thepapers covera widerangeofissuesin the?eldof distributed arti?cial intelligence and multi-agent systems, such as...

The first international workshop on Intelligent Agents for Telecommunications Applications (IATA'96) was held in July 1996 in Budapest during the XII European Conference on Artificial Intelligence ECAI'96. The workshop program consisted of technical presentations addressing agent based solutions in areas such as network architecture, network management, and telematic services. Presentations gave rise to a lively debate on the advantages and difficulties of incorporating agent technology in telecommunications. The proceedings were published by IOS Press providing introductory papers on agent...

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ] Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic...

This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.
The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and...