This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics.The main part of the book is a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is acollection of short project summaries received...

This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic...

Examining constraint satisfaction, this monograph presents all approaches under a common, generalizing view: dynamic constraints. It aims to provide insights about the different approaches, and to form a practical basis for teaching constraint-based reasoning.

This book deals with an important topic in distributed AI: the coordination of autonomous agents' activities. Itprovides a framework for modelling agents with planning andcommunicative competence.Important issues in the book are: - How to recognize and reconcile conflicting intentionsamong a collection of agents.- How to recognize and take advantage of favorableinteractions.- How to enable individual agents to represent and reasonabout the actions, plans, and knowledge of other agents inorder to coordinate with them.- When to call a set of plans coordinated and whatoperations are possible to...

This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into...

This book offers a model for concepts and their dynamics. A basic assumptionis that concepts are composed of specified components, which are representedby large binary patterns whose psychological meaning is governed by the interaction between conceptual modules and other functional modules. A recurrent connectionist model is developed in which some inputs are attracted faster than others by an attractor, where convergence times can beinterpreted as decision latencies. The learning rule proposed is extracted from psychological experiments. The rule has the property that that whena context...

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrucken in September 1994.
Besides the invited paper "AI approaches towards sensor-based support in road vehicles" by H.-H. Nagel, the book contains 33 full research papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications,...

This volume comprises a selection of the key papers presented at the Eighth European Knowledge Acquisition Workshop (EKAW '94), held in Hoegaarden, Belgium in September 1994.
The book demonstrates that work in the mainstream of knowledge acquisition leads to useful practical results and puts the knowledge acquisition enterprise in a broader theoretical and technological context. The 21 revised full papers are carefully selected key contributions; they address knowledge modelling frameworks, the identification of generic components, methodology aspects, and architectures and applications....

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994.
Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation,...

This monograph coherently presents a series of research results on concurrent production systems recently contributed by the author and several co-authors.
Before going into the details of concurrent production systems the performance of a single system is discussed. Based on these considerations it is explained how to estimate the efficiency of production systems programs and how to automatically determine efficient join structures. Parallel systems, including algorithms for parallel rule firings, distributed systems under distributed control, and particularly multiagent production...