Skip to main content
  • Conference proceedings
  • © 1996

Practical Reasoning

International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1085)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): FAPR: International Joint Conference on Qualitative and Quantitative Practical Reasoning

Conference proceedings info: FAPR 1996.

Buy it now

Buying options

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (58 papers)

  1. Front Matter

  2. Integrating statistical audit evidence with belief function theory

    • Carine Van den Acker, Jan Vanthienen
    Pages 1-14
  3. A comparative survey of default logic variants

    • Grigoris Antoniou
    Pages 15-28
  4. Geometrical structures and modal logic

    • Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Pages 43-57
  5. General domain circumscription and its first-order reduction

    • Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas
    Pages 93-109
  6. Specification of nonmonotonic reasoning

    • Joeri Engelfriet, Jan Treur
    Pages 111-125
  7. Intelligent agents in the Situation Calculus: An application to user modelling

    • Bruno Errico, Luigia Carlucci Aiello
    Pages 126-140
  8. Talkin'bout consistency, or: When logically possible becomes possible

    • Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
    Pages 141-150
  9. Reasoning about reasoning

    • Maurice A. Finocchiaro
    Pages 167-177
  10. A resolution-based proof method for temporal logics of knowledge and belief

    • Michael Fisher, Michael Wooldridge, Clare Dixon
    Pages 178-192
  11. A methodology for iterated theory change

    • Dov Gabbay, Odinaldo Rodrigues
    Pages 193-207
  12. Goals in argumentation

    • Michael A. Gilbert
    Pages 223-230
  13. An abductive proof procedure for conditional logic programming

    • L. Giordano, A. Martelli, M. L. Sapino
    Pages 231-245
  14. Commands in dialogue logic

    • Roderic A. Girle
    Pages 246-260

Other Volumes

  1. Practical Reasoning

About this book

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.

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

  • DOI: https://doi.org/10.1007/3-540-61313-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1996

  • Softcover ISBN: 978-3-540-61313-8Published: 21 May 1996

  • eBook ISBN: 978-3-540-68454-1Published: 15 September 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 726

  • Topics: Artificial Intelligence, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Buy it now

Buying options

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access