Table of contents

  1. Front Matter
  2. Carine Van den Acker, Jan Vanthienen
    Pages 1-14
  3. Grigoris Antoniou
    Pages 15-28
  4. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Pages 43-57
  5. Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas
    Pages 93-109
  6. Joeri Engelfriet, Jan Treur
    Pages 111-125
  7. Bruno Errico, Luigia Carlucci Aiello
    Pages 126-140
  8. Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
    Pages 141-150
  9. Maurice A. Finocchiaro
    Pages 167-177
  10. Michael Fisher, Michael Wooldridge, Clare Dixon
    Pages 178-192
  11. Dov Gabbay, Odinaldo Rodrigues
    Pages 193-207
  12. Michael A. Gilbert
    Pages 223-230
  13. L. Giordano, A. Martelli, M. L. Sapino
    Pages 231-245
  14. Roderic A. Girle
    Pages 246-260

About these proceedings


This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.
The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.


Argumentation Dialoglogik Dialogue Logic Informal Logic Informelle Logik Intelligent Systems Menschliches Argumentieren Practical Reasoning Praktisches Schließen artificial intelligence knowledge representation linguistics nonmonotonic reasoning programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61313-8
  • Online ISBN 978-3-540-68454-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book