This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this...

This volume contains the proceedings of the Eurpoean Conference on Machine Learning (ECML-93), continuing the tradition of the five earlier EWSLs (European Working Sessions on Learning). The aim of these conferences is to provide a platform for presenting the latest results in the area of machine learning. The ECML-93 programme included invited talks, selected papers, and the presentation of ongoing work in poster sessions. The programme was completed by several workshops on specific topics. The volume contains papers related to all these activities. The first chapter of the proceedings...

This volume gives the proceedings of the sixteenth German Conference on Artificial Intelligence, held in the Gustav Stresemann Institute in Berlin from August 31 to September 3, 1992. The volume contains 24 papers presentedin the technical sessions, 8 papers selected from the workshop contributions, and an invited talk by D.M. Gabbay entitled "Howto construct a logic for your application." Topics discussed in the technical papers include: a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, expert system applications, knowledge engineering,...

LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions,...

Perceptual processes in humans and machines, investigated and simulated by means of the computational approach, are the subject matter of this volume. Researchers in artificial intelligence, pattern recognition, and psychology discuss aspects of vision, speech understanding, sensory-motor coordination, and their interplay with cognitive and behavioral functionalities. The papers adopt the computational approach as the basic research paradigm. Connectionist models, numerical and statistical techniques, symbolic (logic-based) formalisms, and hybrid representations provide the formal background...

This volume contains the 5 invited papers and 72 selectedpapers that were presented at the Fifth InternationalConference on Industrial and Engineering Applications ofArtificial Intelligence. This is the first IEA/AIEconference to take place outside the USA: more than 120papers were received from 23 countries, clearly indicatingthe international character of the conference series. Eachpaper was reviewed by at least three referees. The papersare grouped into parts on: CAM, reasoning and modelling, pattern recognition, software engineering and AI/ES, CAD, vision, verification and validation,...

This volume contains all the papers that were presented at the Fourth Workshop on Algorithmic Learning Theory, held in Tokyo in November 1993. In addition to 3 invited papers, 29 papers were selected from 47 submitted extended abstracts. The workshop was the fourth in a series of ALT workshops, whose focus is on theories of machine learning and the application of such theories to real-world learning problems. The ALT workshops have been held annually since 1990, sponsored by the Japanese Society for Artificial Intelligence. The volume is organized into parts on inductive logic and inference,...

This book constitutes the refereed preceedings of the 13th European Conference on Machine Learning, ECML 2002, held in Helsinki, Finland in August 2002.
The 41 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. Among the topics covered are computational discovery, search strategies, Classification, support vector machines, kernel methods, rule induction, linear learning, decision tree learning, boosting, collaborative learning, statistical learning, clustering, instance-based learning, reinforcement learning,...

This book collects the scientific papers presented at the2nd Congress of the Italian Association for ArtificialIntelligence, held in Palermo in October 1991. It displaysthe state of the art of both Italian and European scientificresearch in AI. The book begins with an invited paper by W.Wahlster et al. The bulk of the book is then divided intofive parts on: - Knowledge representation (18 papers), -Knowledge acquisition (5 papers), - Natural language (5papers), - Perception and robotics (5 papers), -Architecture and technologies (5 papers). A sectioncontaining short papers completes the book....

This volume contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.