Logic and argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, proceedings

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CLAR (VerfasserIn)
Weitere Verfasser: Herzig, Andreas (HerausgeberIn), Luo, Jieting (HerausgeberIn), Pardo, Pere (HerausgeberIn)
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!
Titel Jahr Verfasser
Solving Modal Logic Problems by Translation to Higher-Order Logic 2023 Steen, Alexander
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation 2023 Mailly, Jean-Guy
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning 2023 Yu, Zhe
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail 2023 Fu, Xiaoxuan
Formalizing the Unexpected Hanging Paradox: A Classical Surprise 2023 Vinogradova, Polina
Topological Conditions and Solutions for Repairing Argumentation Frameworks 2023 Takahashi, Kazuko
Providing Personalized Explanations: A Conversational Approach 2023 Luo, Jieting
Audience Irrelevance in Strategic Argumentation Games 2023 Tang, Liping
Fuzzy Labeling Semantics for Quantitative Argumentation 2023 Wang, Zongshun
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs 2023 Chi, Xiao
A Logic for Preference Lifting Under Uncertainty and Its Decidability 2023 Fu, Xiaoxuan
Modal and Justification Logics for Multi-agent Systems (Invited Talk) 2023 Cachin, Christian
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis 2023 Chen, Chen
Alle Artikel auflisten