Logics in artificial intelligence

Sample

Thomas Johansson (ed

Fast Software Encryption is now a 10-year-old workshop on symmetric crypt- raphy, including the design and cryptanalysis of block and stream ciphers, as well as hash functions. The ?rst FSE workshop was held in Cambridge in 1993, followed by Leuven in 1994, Cambridge in 1996, Haifa in 1997, Paris in 1998, Rome in 1999, New York in 2000, Yokohama in 2001, and Leuven in 2002. This Fast Software Encryption workshop, FSE 2003, was held February 24– 26, 2003 in Lund, Sweden. The workshop was sponsored by IACR (International Association for Cryptologic Research) and organized by the General Chair, Ben Smeets, in cooperation with the Department of Information Technology, Lund University. Thisyearatotalof71papersweresubmittedtoFSE2003.Afteratwo-month reviewing process, 27 papers were accepted for presentation at the workshop. In addition, we were fortunate to have in the program an invited talk by James L. Massey. The selection of papers was di?cult and challenging work. Each submission was refereed by at least three reviewers. I would like to thank the program c- mittee members, who all did an excellent job. In addition, I gratefully ackno- edge the help of a number of colleagues who provided reviews for the program committee. They are: Kazumaro Aoki, Alex Biryukov, Christophe De Canni` ere, Nicolas Courtois, Jean-Charles Faug` ere, Rob Johnson, Pascal Junod, Joseph Lano, Marine Minier, Elisabeth Oswald, H? avard Raddum, and Markku-Juhani O. Saarinen.

Sample

J.M. Larrazabal, D. Lascar, G. Mints (eds

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.

Sample

Thomas Plagemann, Vera Goebel (eds

This book constitutes the refereed proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised full papers presented were carefully selected from a total of 68 submissions. Also included are seven position statements. The book is divided into topical sections on distributed multimedia applications; platforms for collaborative systems; MPEG; coding for WWW, wireless, and mobile environments; QoS and user aspects; flow control, congestion control, and multimedia streams; multimedia servers, documents, and authoring; and storage servers.

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.