東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logic and argumentation = 5th Intern...

International Conference on Logic and Argumentation (2023 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and argumentation/ edited by Andreas Herzig, Jieting Luo, Pere Pardo.
Reminder of title:	5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings /
remainder title:	CLAR 2023
other author:	Herzig, Andreas.
corporate name:	International Conference on Logic and Argumentation
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xx, 225 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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
Subject:	Logic, Symbolic and mathematical - Congresses. -
Online resource:	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)