This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning...
This book constitutes the refereed proceedings of the 5th Catalonian Conference on Artificial Intelligence, CCIA 2002, held in Castellon, Spain in October 2002. The 37 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on reasoning models, constraint satisfation, machine learning and classification, multi-agent systems, and computer vision and robotics.
This book constitutes the refereed proceedings of the 5th Catalonian Conference on Artificial Intelligence, CCIA 2002, held in Castellon, Spain in ...
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27-29, 2002. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several re- arch areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. Previous FQAS events were held in 1994, 1996, 1998,...
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on Oct...
The biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) - of which this is the 16th event - is a meeting and discussion forum for arti?cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti?cial intelligence. The ?rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII...
The biennial Brazilian Symposium on Arti?cial Intelligence (SBIA 2002) - of which this is the 16th event - is a meeting and discussion forum for arti?...
The 8th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2002, took place in Spain for the second time in 14 years; the first conference was organized in Barcelona in January 1988. The city of Seville hosted this 8th conference, giving the participants the opportunity of enjoying the richness of its historical and cultural atmosphere. Looking back over these 14 years, key aspects of the conference, such as its structure, organization, the quantity and quality of submissions, the publication policy, and the number of attendants, have significantly changed. Some data taken from...
The 8th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2002, took place in Spain for the second time in 14 years; the first conference...
In recent years, autonomous robots, including Xavier, Martha 1], Rhino 2,3], Minerva, and Remote Agent, have shown impressive performance in long-term demonstrations. In NASA's Deep Space program, for example, an - tonomous spacecraft controller, called the Remote Agent 5], has autonomously performed a scienti?c experiment in space. At Carnegie Mellon University, Xavier 6], another autonomous mobile robot, navigated through an o?ce - vironment for more than a year, allowing people to issue navigation commands and monitor their execution via the Internet. In 1998, Minerva 7] acted for 13...
In recent years, autonomous robots, including Xavier, Martha 1], Rhino 2,3], Minerva, and Remote Agent, have shown impressive performance in long-te...
This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub ] eck (Germany) during November 24-26, 2002. The main objective of the conference was to p- vide an interdisciplinary forum discussing the theoretical foundations of machine learning as well as their relevance to practical applications. The conference was colocated with the Fifth International Conference on Discovery Science (DS 2002). The volume includes 26 technical contributions which were selected by the program committee from 49 submissions. It also...
This volume contains the papers presented at the 13th Annual Conference on Algorithmic Learning Theory (ALT 2002), which was held in Lub ] eck (German...
AI 2002 is the 15th in the series of annual conferences on arti?cial intelligence held in Australia. This conference is the major forum for the presentation of arti?cial intelligence research in Australia, encompassing all aspects of that broad ?eld. It has traditionally attracted signi?cant international participation, as was again the case in 2002. The current volume is based on the proceedings of AI 2002. Full length ver- ons of all submitted papers were refereed by an international program committee, each paper receiving at least two independent reviews. As a result, 62 papers were...
AI 2002 is the 15th in the series of annual conferences on arti?cial intelligence held in Australia. This conference is the major forum for the presen...
In cognitive science, mental representations of spatial knowledge are metaphorically referred to as cognitive maps. However, investigations in cognitive psychology reveal that the cognitive map metaphor is inadequate and that more suitable conceptions of human spatial knowledge processing are needed. This book addresses mental processing of knowledge about geographic space from an AI point of view by presenting an experimental computational modeling approach. Results about human memory and visual mental imagery from cognitive psychology are combined with AI techniques of spatial and...
In cognitive science, mental representations of spatial knowledge are metaphorically referred to as cognitive maps. However, investigations in cogn...
This book contains the papers presented at the 4th International Conference on Practical Aspects of Knowledge Management organized by the Department of Knowledge Management, Institute of Informatics and Business Informatics, University of Vienna. The event took place on 2002, December 2-3 in Vienna, Austria. The PAKM conference series is a forum for people to share their views, to exchange ideas, to develop new insights, and to envision completely new kinds of solutions to knowledge management problems, because to succeed in the accelerating pace of the "Internet age," organizations will be...
This book contains the papers presented at the 4th International Conference on Practical Aspects of Knowledge Management organized by the Department o...
