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

  • Book Title Practical Reasoning
  • Book Subtitle International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
  • Editors Dov M. Gabbay
    Hans Jürgen Ohlbach
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61313-8
  • eBook ISBN 978-3-540-68454-1
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVIII, 726
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Foundations
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences