Skip to main content
SpringerLink
Log in
Book cover

Practical Reasoning

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

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Dov M. Gabbay
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Jürgen Ohlbach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: FAPR 1996.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (58 papers)

  1. Front Matter

    Download chapter PDF

  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. Modal logics with relative accessibility relations

    • Philippe Balbiani
    Pages 29-42

  5. Geometrical structures and modal logic

    • Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Pages 43-57

  6. A unified framework for hypothetical and practical reasoning (1): Theoretical foundations

    • S. K. Das, J. Fox, P. Krause
    Pages 58-72

  7. A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications

    • John Fox, Subrata Das
    Pages 73-92

  8. General domain circumscription and its first-order reduction

    • Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas
    Pages 93-109

  9. Reasoning about rational, but not logically omniscient agents (extended abstract)

    • Ho Ngoc Duc
    Pages 110-110

  10. Specification of nonmonotonic reasoning

    • Joeri Engelfriet, Jan Treur
    Pages 111-125

  11. Intelligent agents in the Situation Calculus: An application to user modelling

    • Bruno Errico, Luigia Carlucci Aiello
    Pages 126-140

  12. Talkin'bout consistency, or: When logically possible becomes possible

    • Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
    Pages 141-150

  13. The analysis and evaluation of legal argumentation from a pragma-dialectical perspective

    • E. T. Feteris
    Pages 151-166

  14. Reasoning about reasoning

    • Maurice A. Finocchiaro
    Pages 167-177

  15. A resolution-based proof method for temporal logics of knowledge and belief

    • Michael Fisher, Michael Wooldridge, Clare Dixon
    Pages 178-192

  16. A methodology for iterated theory change

    • Dov Gabbay, Odinaldo Rodrigues
    Pages 193-207

  17. A formal framework for causal modeling and argumentation

    • Hector Geffner
    Pages 208-222

  18. Goals in argumentation

    • Michael A. Gilbert
    Pages 223-230

  19. An abductive proof procedure for conditional logic programming

    • L. Giordano, A. Martelli, M. L. Sapino
    Pages 231-245

  20. Commands in dialogue logic

    • Roderic A. Girle
    Pages 246-260
Back to top

Other volumes

  1. Practical Reasoning

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation