Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

این کتاب مجموعه مقالات داوری کنفرانس بین المللی استدلال عملی رسمی و کاربردی، FAPR '96، در بن، آلمان، در ژوئن 1996 برگزار شد.
51 مقاله کامل اصلاح شده همراه با هشت پوستر در کتاب گنجانده شده است. برای ارائه در کنفرانس به دقت انتخاب شدند. این کتاب به جنبه‌های کنونی حوزه بسیار بین‌رشته‌ای استدلال عملی در هوش مصنوعی، فلسفه، روان‌شناسی، زبان‌شناسی، مهندسی نرم‌افزار، سیستم‌های هوشمند و کاربردهای صنعتی می‌پردازد. از جمله موضوعاتی که به آنها پرداخته می‌شود، مدل‌سازی کاربر، باور، استدلال قانونی، استدلال، منطق گفتگو، استدلال پیش‌فرض، قیاس، استدلال فراگیر، استدلال زمانی و رویه‌ای، و بسیاری موارد دیگر است.

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.