Report on the Seventh International Workshop on Nonmonotonic Reasoning

AI Magazine 

The workshop was sponsored by the American Association for Artificial Intelligence, Compulog, Associazione Italiana per l'Intelligenza Artificiale, and the Prolog Development Center. This year's workshop, organized by Gerhard Brewka and Ilkka Niemela (local chair: Enrico Giunchiglia, honorary chair: Ray Reiter), was different from earlier workshops in this series in an important aspect: It consisted of several specialized tracks, held partially in parallel, embedded in a plenary program that comprised invited talks and a panel. The following five tracks were organized: (1) Formal Aspects and Applications of Nonmonotonic Reasoning (cochairs: Jim Delgrande, Mirek Truszczynski), (2) Computational Aspects of Nonmonotonic Reasoning (cochairs: Niemela, Torsten Schaub), (3) Logic Programming (cochairs: Jürgen Dix, Jorge Lobo), (4) Action and Causality (cochairs: Vladimir Lifschitz, Hector Geffner), and (5) Belief Revision (cochairs: Hans Rott, Mary-Anne Williams). Both the new format and the scheduling of the workshop in conjunction with the KR Conference proved to be highly fruitful. The Seventh International Workshop on Nonmonotonic Reasoning was held in Trento, Italy, on 30 May to 1 June 1998 in conjunction with the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR'98).