Overview

Full Product Details

Author:   Andreas Herzig ,  Jieting Luo ,  Pere Pardo
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2023
Volume:   14156
Weight:   0.385kg
ISBN:  

9783031408748

ISBN 10:   3031408748
Pages:   225
Publication Date:   02 August 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

​Logic and Automated Deduction.- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail.- Solving Modal Logic Problems by Translation to Higher-order Logic.- Formalizing the Unexpected Hanging Paradox: a Classical Surprise.- Abstract and Structured Argumentation.- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis.- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation.- Topological Conditions and Solutions for Repairing Argumentation Frameworks.- Dialogues, Games and Practical Reasoning.- Providing personalized Explanations: a Conversational Approach.- Audience irrelevance in Strategic Argumentation Games.- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning.- Quantitative Argumentation.- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs.- FuzzyLabeling Semantics for Quantitative Argumentation.- A Logic for Preference Lifting under Uncertainty and its Decidability.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions