東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic and argumentation = third Inte...

International Conference on Logic and Argumentation (2020 :)

FindBook

Google Book

Amazon

博客來

Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic and argumentation/ edited by Mehdi Dastani, Huimin Dong, Leon van der Torre.
其他題名:	third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
其他題名:	CLAR 2020
其他作者:	Dastani, Mehdi.
團體作者:	International Conference on Logic and Argumentation
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	x, 363 p. :ill., digital ;24 cm.
內容註:	Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering -- A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling -- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument.
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-44638-3
ISBN:	9783030446383

Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
Logic and argumentationthird International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /[electronic resource] :CLAR 2020edited by Mehdi Dastani, Huimin Dong, Leon van der Torre. - Cham :Springer International Publishing :2020. - x, 363 p. :ill., digital ;24 cm. - Lecture notes in computer science,120610302-9743 ;. - Lecture notes in computer science ;12061..

Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering -- A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling -- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument.

This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.

ISBN: 9783030446383

Standard No.: 10.1007/978-3-030-44638-3doiSubjects--Topical Terms:

658487
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1 / I57 2020

Dewey Class. No.: 511.3

Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
LDR:03113nmm a2200361 a 4500 001 2216878
003 DE-He213
005 20200327212007.0
006 m d
007 cr nn 008maaau
008 201120s2020 sz s 0 eng d
020 $a 9783030446383 $q (electronic bk.)
020 $a 9783030446376 $q (paper)
024 7 $a 10.1007/978-3-030-44638-3 $2 doi
035 $a 978-3-030-44638-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b I57 2020
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 2020
111 2 $a International Conference on Logic and Argumentation $n (3rd : $d 2020 : $c Hangzhou, China) $3 3449659
245 1 0 $a Logic and argumentation $h [electronic resource] : $b third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / $c edited by Mehdi Dastani, Huimin Dong, Leon van der Torre.
246 3 $a CLAR 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a x, 363 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12061
490 1 $a Lecture notes in artificial intelligence
505 0 $a Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering -- A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling -- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument.
520 $a This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.
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
700 1 $a Dastani, Mehdi. $3 840464
700 1 $a Dong, Huimin. $3 3449660
700 1 $a Torre, Leon van der. $3 3449661
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 12061. $3 3449662
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-030-44638-3
950 $a Computer Science (Springer-11645)