東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic and argumentation = 5th Intern...

International Conference on Logic and Argumentation (2023 :)

FindBook

Google Book

Amazon

博客來

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

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

Logic and argumentation = 5th 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 ;14156..

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

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

658487
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1

Dewey Class. No.: 511.3

Logic and argumentation = 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
LDR:02753nmm a2200361 a 4500 001 2332837
003 DE-He213
005 20230801194115.0
006 m d
007 cr nn 008maaau
008 240402s2023 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 $a International Conference on Logic and Argumentation $n (5th : $d 2023 : $c Hangzhou, China) $3 3663071
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 $x Congresses. $3 658487
650 0 $a Reasoning $x Congresses. $3 667850
650 0 $a Uncertainty (Information theory) $x Congresses. $3 566568
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Compilers and Interpreters. $3 3592044
650 2 4 $a Design and Analysis of Algorithms. $3 3538532
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
700 1 $a Herzig, Andreas. $3 1620658
700 1 $a Luo, Jieting. $3 3663072
700 1 $a Pardo, Pere. $3 3663073
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14156. $3 3663074
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-40875-5
950 $a Computer Science (SpringerNature-11645)