Logic and argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, proceedings
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 Form...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14156 |
| Schlagworte: |
Algorithms & data structures
> Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Programming / Algorithms
> COMPUTERS / Programming / General
> COMPUTERS / Programming Languages / General
> Compiler und Übersetzer
> Computer programming / software development
> Computerprogrammierung und Softwareentwicklung
> Künstliche Intelligenz
> MATHEMATICS / Logic
> Mathematical theory of computation
> Programming & scripting languages: general
> Theoretische Informatik
> Konferenzschrift
> Mathematische Logik
> Schlussfolgern
> Argumentation
> Spieltheorie
|
| Online Zugang: | Cover Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Zusammenfassung: | 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.- Fuzzy Labeling Semantics for Quantitative Argumentation.- A Logic for Preference Lifting under Uncertainty and its Decidability. This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation |
|---|---|
| Beschreibung: | xx, 223 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031408748 978-3-031-40874-8 |