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.
The volume presents an introductory survey and carefully re vised and updated full versions of three invited contributions and 14 papers selected for inclusion in the book after intensive reviewing. Among the issues addressed are intelligent multimedia retrieval, cooperative conversation, agent system communication, multimodal maps, multimodal plan presentation, multimodal user interfaces,...

This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1998.
The 23 revised full papers were carefully reviewed and selected for inclusion in the book from a total of 35 submissions. The book addresses a wide range of grammatical inference theory such as automata induction, grammar induction, automatic language acquisition, etc. as well as a variety of applications in areas like syntactic pattern recognition, adaptive intelligent agents, diagnosis, computational biology, data mining, and knowledge...

This book constitutes a carefully arranged selection of revised papers on assistive technology, first presented at related AAAI workshops between 1995 and 1998.
The book is devoted to the advancement and use of AI stimulated technology that can help users extend their current range of cognitive and sensory abilities or overcome their motor disabilities. Among various issues in the interdisciplinary area of assistive technology, the papers address topics from natural language processing, planning, robotics, user interface design, computer vision, and learning.

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.
Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph, in which several theory reasoning versions are defined and related to each other. A major...

ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR 99) heldatElPaso, Texas, inDecember1999. LPNMR 99isthe fthinaseriesofinternationalmeetingsonlogicprogramming andnonmonotonicreasoning. FourpreviousmeetingswereheldinWashington, U. S. A., in1991, inLisbon, Portugal, in1993, inLexington, U. S. A., in1995, and inDagstuhl, Germany, in1997. TheaimoftheLPNMRconferencesisto- cilitateinteractionsbetweenresearchersinterestedinlogicbasedprogramming languagesanddatabasesystemsandresearcherswhoworkintheareasofk-...

SNePS is a state-of-the-art knowledge representation and reasoning system used for artificial intelligence and cognitive science research. It is a semantic network based system designed by the members of the SNePS Research Group. The First Annual SNePS Workshop was held on November 13, 1989, at the State University of New York at Buffalo. The aims of the workshop were to bring together researchers in AI working with or interested in SNePS. Twelve papers were presented by people from seven different research sites in the United States and abroad. The papers are of top quality and cover areas...

This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of...

This book has its source in the question of whether anyknowledge engineering tools can be applied or analyzed incognition research and what insights and methods ofcognitive science might be relevant for knowledge engineers.It presents the proceedings of a workshop organized by theSpecial Interest Groups Cognition and Knowledge Engineeringof the German Society for Informatics, held in February 1992in Kaiserslautern.The book is structured into three parts. The first partcontrasts work in knowledge engineering with approaches fromthe side of the "soft sciences." The second part deals...