國立高雄大學圖資館 |

Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic and argumentationedited by Andreas Herzig, Jieting Luo, Pere Pardo.
其他題名:	5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
其他題名:	CLAR 2023
其他作者:	Herzig, Andreas.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2023.
面頁冊數:	xx, 225 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical
電子資源:	https://doi.org/10.1007/978-3-031-40875-5
ISBN:	9783031408755$q(electronic bk.)

Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /[electronic resource] :CLAR 2023edited by Andreas Herzig, Jieting Luo, Pere Pardo. - Cham :Springer Nature Switzerland :2023. - xx, 225 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,141560302-9743 ;. - Lecture notes in computer science ;4891..

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.

ISBN: 9783031408755$q(electronic bk.)

Standard No.: 10.1007/978-3-031-40875-5doiSubjects--Topical Terms:

254195
Logic, Symbolic and mathematical

LC Class. No.: QA9.A1

Dewey Class. No.: 511.3

Logic and argumentation5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
LDR:02753nmm a2200361 a 4500 001 648430
003 DE-He213
005 20230801194115.0
006 m d
007 cr nn 008maaau
008 240116s2023 sz s 0 eng d
020 $a 9783031408755$q(electronic bk.)
020 $a 9783031408748$q(paper)
024 7 $a 10.1007/978-3-031-40875-5 $2 doi
035 $a 978-3-031-40875-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.A1 $b I61 2023
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Logic and argumentation $h [electronic resource] : $b 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings / $c edited by Andreas Herzig, Jieting Luo, Pere Pardo.
246 3 $a CLAR 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xx, 225 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14156
490 1 $a Lecture notes in artificial intelligence
505 0 $a 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.
520 $a 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.
650 0 $a Logic, Symbolic and mathematical $3 254195
650 0 $a Reasoning $v Congresses. $3 437256
650 0 $a Uncertainty (Information theory) $3 206405
650 1 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Compilers and Interpreters. $3 914937
650 2 4 $a Design and Analysis of Algorithms. $3 913142
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 913141
650 2 4 $a Formal Languages and Automata Theory. $3 914922
700 1 $a Herzig, Andreas. $3 576978
700 1 $a Luo, Jieting. $3 958139
700 1 $a Pardo, Pere. $3 958140
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Lecture notes in artificial intelligence. $3 822012
856 4 0 $u https://doi.org/10.1007/978-3-031-40875-5
950 $a Computer Science (SpringerNature-11645)