The system generates traffic flow measurements that enable traffic operations centers to monitor traffic movement and better respond to accidents Wal-Mart Stores (Bentonville, Ark.) Tektronix (Wilsonville, Ore.), a and congestion. This system, which manage its automated storage and models for its computer-assisted includes fuzzy logic and neural network retrieval system. The systems will Mexico), a producer of metals, has Calif.) is using visualization and digital monitor satellite signals in near real implemented an intelligent system to prototyping software for vehicle time, alerting operators to out-of-tolerance improve its zinc yield. The advanced design and manufacturing within its conditions and the presence of control expert system provides operator new concurrent engineering system. The application was developed and virtual manufacturing.

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.

The Fifth International Conference on User Modeling (UM-96) is part of a recently established, biennial conference series that provides a forum for researchers in the field of user modeling and user-adapted interaction. The next major software revolution after graphic user interfaces will be software that adapts itself to the user. By adapting to the user's needs, preferences, knowledge, language, and even moods, software will attain new levels of usability and broad acceptance that would not be possible without built-in models of the user. This conference series provides a forum for recent research in the field, ranging from theoretical foundations to implemented systems to controlled studies of the human-computer interfaces of user-adapted systems.

The financial statements are presented B. Inventory: As described in Note 1A to the on the accrual basis of accounting. Magazine, proceedings, conference financial statements, the Association Effective for 1996 the Association books and publications in process changed its method of accounting for has changed its method of accounting inventory is valued at the lower of investments from "original cost" to for investments from "original cost" cost or market value as of December "fair market value" as required by the to "fair market value" as required by 31, 1996 provisions of Financial Accounting the provisions of newly enacted Statement Standard No. 124.

Artificial intelligence (AI) is the key technology in many of today's novel applications, ranging from banking systems that detect attempted credit card fraud, to telephone systems that understand speech, to software systems that notice when you're having problems and offer appropriate advice. These technologies would not exist today without the sustained federal support of fundamental AI research over the past three decades.

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.

With a power screwdriver the computer, the web, robots, the Europe the Hindu-Arabic system of anyone can drive the hardest screw; automation of manufacturing will all numbers and the arithmetic algorithms with a calculator, anyone can get the conspire to separate the rich and they made possible. One of the numbers right; with an aircraft anyone quick from the poor and slow, hurrying first books after the Bible printed with can fly to Paris; and with Deep the trend to an informed, skilled, moveable type was an Arithmetic. Blue, anyone can beat the world chess and employed elite living among an Even so, the algorithms were not easy champion. Cognitive prostheses undermine uninformed, unskilled, and unemployed and not widely disseminated. But both history and 17th century tradesman could not by giving non-experts equivalent an understanding of human-machine multiply.

It comprises activities Systems, Knowledge Representation managing an interaction. On the focused on the organization, acquiring and Reasoning, and Knowledge Discovery. Wide Web and will remain available in any system that aims to tutor users The KM community has been at ksi.cpsc.ucalgary.ca/AIKM97. Cross-language text retrieval (CLTR) is the problem of matching a query in The presentations made at this symposium This symposium brought together one language to related documents in dealt with vastly different environments, researchers in natural language processing other languages. As internet resources ranging from digital libraries (NLP) from both academia such as the World Wide Web have and broadcast news archives to virtual and industry, including service become global networks, many new reality and, of course, the web.

Does machine learning really work? Yes. Over the past decade, machine learning has evolved from a field of laboratory demonstrations to a field of significant commercial value. Machine-learning algorithms have now learned to detect credit card fraud by mining data on past transactions, learned to steer vehicles driving autonomously on public highways at 70 miles an hour, and learned the reading interests of many individuals to assemble personally customized electronic newsAbstracts. A new computational theory of learning is beginning to shed light on fundamental issues, such as the trade-off among the number of training examples available, the number of hypotheses considered, and the likely accuracy of the learned hypothesis. Newer research is beginning to explore issues such as long-term learning of new representations, the integration of Bayesian inference and induction, and life-long cumulative learning. This article, based on the keynote talk presented at the Thirteenth National Conference on Artificial Intelligence, samples a number of recent accomplishments in machine learning and looks at where the field might be headed. [Copyright restrictions preclude electronic publication of this article.]