This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty.
This was the key paragraph in the invitation for the international conference
Logic at Work, organized jointly by the Center for Computer Science in Organization
and Management (CCSOM) and the Institute of Logic, Language,
and Computation (ILLC) and held at the University of Amsterdam, Dec. 17-
19th, 1992. The conference attracted 86 submissions from all over the world,
out of which the program committee (Patrick Blackburn, Jean-Jules Meyer,
Frank Veltman, plus the editors of this volume) selected 30 papers with the
help of anonymous referees. In addition, there were 8 invited speakers (e.g., Peter
G~irdenfors, Yoav Shoham, and Petr Hs Out of these contributions, we
selected 13 papers related to two core issues of formal AI for publication in a
volume on knowledge representation and reasoning under uncertainty.
The Dutch National Science Foundation provided the funding for this workshop
through a PIONIER-grant. Anja Krans maintained the day-to-day communication
with the authors, and processed the text together with Breanndeln (5
Nuall~in. Henk ttelmantel kept the computers up and running. Thanks are due,
last but not least, to all participants of the conference, and in particular to the
head of the