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
  15. Enrico Giunchiglia, Fausto Giunchiglia
    Pages 261-275
  16. Hironobu Gotoda, Jianghong An, Yuzuru Fujiwara
    Pages 276-290
  17. Guido Governatori
    Pages 291-304
  18. Marcello Guarini
    Pages 305-317
  19. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Pages 331-344
  20. Gerd Große, Christoph S. Herrmann, Enno Sandner
    Pages 345-348
  21. Ralph H. Johnson
    Pages 349-360
  22. Manfred Kerber, Erica Melis
    Pages 361-374
  23. Christoph Kreitz, Kung -Kiu Lau, Mario Ornaghi
    Pages 384-398
  24. Wolfgang May, Peter H. Schmitt
    Pages 399-413
  25. J. -J. Ch. Meyer, J. C. van Leeuwen
    Pages 414-429
  26. Danilo Montesi, Chiara Renso, Franco Turini
    Pages 430-435
  27. John L. Pollock
    Pages 495-509
  28. Henry Prakken, Giovanni Sartor
    Pages 510-524
  29. Helmut Prendinger
    Pages 525-539
  30. Chris Reed, Derek Long, Maria Fox
    Pages 555-566
  31. Torsten Schaub, Michael Thielscher
    Pages 567-581
  32. Shiu S., Luo Z., Garigliano R.
    Pages 582-595
  33. Carl Vogel
    Pages 606-621
  34. Steffo Weber
    Pages 622-636
  35. Emil Weydert
    Pages 637-649

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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences