Table of contents

  1. Front Matter
  2. Peter Gärdenfors
    Pages 1-16
  3. Petr Hájek
    Pages 17-29
  4. Churn Jung Liau, Bertrand I -Peng Lin
    Pages 31-40
  5. Peter A. Flach
    Pages 41-56
  6. Flávio S. Corrêa da Silva, Dave S. Robertson, Jane Hesketh
    Pages 57-79
  7. Luís Moniz Pereira, José J. Alferes, Joaquim N. Aparício
    Pages 91-105
  8. Luís Moniz Pereira, Joaquim N. Aparício, José J. Alferes
    Pages 107-121
  9. Konstantinos Georgatos
    Pages 147-159
  10. Cecylia M. Rauszer
    Pages 161-181
  11. Laurence Cholvy
    Pages 183-196
  12. Keith Devlin
    Pages 197-237
  13. Back Matter

About these proceedings


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.


Artificial intelligence intelligence knowledge knowledge representation linguistics logic uncertainty

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58095-9
  • Online ISBN 978-3-540-48451-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site