Advanced topics in artificial intelligence

Sample

Ming Li, Akira Maruoka (eds

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithmic Learning Theory, ALT'97, held in Sendai, Japan, in October 1997. The volume presents 26 revised full papers selected from 42 submissions. Also included are three invited papers by leading researchers. Among the topics addressed are PAC learning, learning algorithms, inductive learning, inductive inference, learning from examples, game-theoretical aspects, decision procedures, language learning, neural algorithms, and various other aspects of computational learning theory.

Sample

Norman Foo (ed

The 12th Australian Joint Conference on Artificial Intelligence (AI'QQ) held in Sydney, Australia, 6-10 December 1999, is the latest in a series of annual re­ gional meetings at which advances in artificial intelligence are reported. This series now attracts many international papers, and indeed the constitution of the program committee reflects this geographical diversity. Besides the usual tutorials and workshops, this year the conference included a companion sympo­ sium at which papers on industrial appUcations were presented. The symposium papers have been published in a separate volume edited by Eric Tsui. Ar99 is organized by the University of New South Wales, and sponsored by the Aus­ tralian Computer Society, the Commonwealth Scientific and Industrial Research Organisation (CSIRO), Computer Sciences Corporation, the KRRU group at Griffith University, the Australian Artificial Intelligence Institute, and Neuron- Works Ltd. Ar99 received over 120 conference paper submissions, of which about o- third were from outside Australia. Prom these, 39 were accepted for regular presentation, and a further 15 for poster display. These proceedings contain the full regular papers and extended summaries of the poster papers. All papers were refereed, mostly by two or three reviewers selected by members of the program committee, and a list of these reviewers appears later. The technical program comprised two days of workshops and tutorials, fol­ lowed by three days of conference and symposium plenary and paper sessions.

Sample

Panos Antsaklis ... [et al.], eds

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

Sample

Francesco Parisi Presicce, (ed

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.