Logic and Argumentation [[electronic resource] ] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo |
Autore | Herzig Andreas |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
LuoJieting
PardoPere |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-031-40875-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996546855103316 |
Herzig Andreas | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / / edited by Andreas Herzig, Jieting Luo, Pere Pardo |
Autore | Herzig Andreas |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina |
006.3
511.3 |
Altri autori (Persone) |
LuoJieting
PardoPere |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-031-40875-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910736993103321 |
Herzig Andreas | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|