Intelligence (AAAI), was held 10 to 12 have now become particularly June 1996 in Timberline, Oregon. Finally, we Netherlands, the United States, and would like to acknowledge the support Venezuela. The papers described new of AAAI for student travel funds. Moises Goldszmidt received his Ph.D. in His email address is moises@ Mathematical Institute in Russia.

At a workshop held in Toulouse, France, in 1977, Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made. The impetus for it started approximately 20 years ago in 1976 when I visited Gallaire and Nicolas in Toulouse, France. In this article, I provide an assessment about what has been achieved in the 20 years since the field started as a distinct discipline. I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases.

Autonomous agents are computer systems that are capable of independent action in dynamic, unpredictable environments. Agents are also one of the most important and exciting areas of research and development in computer science today. Agents are currently being applied in domains as diverse as computer games and interactive cinema, information retrieval and filtering, user interface design, and industrial process control. Agents '98 will build on the enormous success of the First International Conference on Autonomous Agents (Agents '97), held in Marina del Rey in February 1997. The conference welcomes submissions of original, high quality papers and videos with summaries concerning autonomous agents in a variety of embodiments and playing a variety of roles in their environments.

In this article, we develop a framework for comparing ontologies and place a number of the more prominent ontologies into it. We have selected 10 specific projects for this study, including general ontologies, domain-specific ones, and one knowledge representation system. The comparison framework includes general characteristics, such as the purpose of an ontology, its coverage (general or domain specific), its size, and the formalism used. It also includes the design process used in creating an ontology and the methods used to evaluate it. Characteristics that describe the content of an ontology include taxonomic organization, types of concept covered, top-level divisions, internal structure of concepts, representation of part-whole relations, and the presence and nature of additional axioms. Finally, we consider what experiments or applications have used the ontologies. Knowledge sharing and reuse will require a common framework to support interoperability of independently created ontologies. Our study shows there is great diversity in the way ontologies are designed and the way they represent the world. By identifying the similarities and differences among existing ontologies, we clarify the range of alternatives in creating a standard framework for ontology design.

SEQUITUR is an algorithm that infers a hierarchical structure from a sequence of discrete symbols by replacing repeated phrases with a grammatical rule that generates the phrase, and continuing this process recursively. The result is a hierarchical representation of the original sequence, which offers insights into its lexical structure. The algorithm is driven by two constraints that reduce the size of the grammar, and produce structure as a by-product. SEQUITUR breaks new ground by operating incrementally. Moreover, the method's simple structure permits a proof that it operates in space and time that is linear in the size of the input. Our implementation can process 50,000 symbols per second and has been applied to an extensive range of real world sequences.

Some people believe that the expert system field is dead, yet others believe it is alive and well. To gain a better insight into these possible views, the first three world congresses on expert systems (which typically attract representatives from some 45-50 countries) are used to determine the health of the global expert system field in terms of applied technologies, applications, and management. This article highlights some of these findings.

The Third International Conference on Artificial Intelligence Planning Systems (AIPS-96) was held in Edinburgh, Scotland, from 29 to 31 May 1996. The main gathering of researchers in AI and planning and scheduling, the conference promoted the practical applications of planning technologies. Details of the conference papers and sessions are provided as well as information on the Defense Advanced Research Projects Agency -- Rome Laboratory Planning Initiative.

Spring AI related meetings, conferences, workshops, and symposia.

Y. Reich (Tel-Aviv University) proposed The paper by M. Benaroch (Syracuse University) suggested the use of knowledge-based tools for mass customization of service products; it dealt in general Grundstein (Framatome, France) reported than the other methods. At the macroeconomic and J. Zahavi (both of Tel-Aviv University) level, Deinichenko et al. presented found that genetic algorithms an expert system that utilizes performed even better than a fuzzy knowledge to analyze economic on Artificial Intelligence linear programming model on their Thus, their conclusion was Academy of Sciences) and T. Szapiro (AIEM4) was held in Tel-Aviv, that AI techniques might provide (Warsaw School of Economics) noted Israel, from 8 to 10 January 1996, better results than rigid analytic the lack of models appropriate to the with participants from 13 countries. Service to customers in the financial for discerning patterns in the economic As a matter of course, almost every area was another focus of the and demographic data of developing presentation at the workshop workshop. Lange et al. described a economies. The paper by touched on AI techniques in one way system for customizing investment Edmonds and S. Moss (Manchester or another.

The workshop entitled "Gaps and Bridges: New Directions in Planning and Natural Language Generation" was held on 12 August 1996 in Budapest, Hungary. This article describes the four sessions of the workshop and summarizes the important themes that were revealed.