國立高雄大學圖資館 |

Language: English

Back

Logic and argumentationthird Interna...

(1998 :)

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and argumentationedited by Mehdi Dastani, Huimin Dong, Leon van der Torre.
Reminder of title:	third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
remainder title:	CLAR 2020
other author:	Dastani, Mehdi.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	x, 363 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical
Online resource:	https://doi.org/10.1007/978-3-030-44638-3
ISBN:	9783030446383$q(electronic bk.)

Logic and argumentationthird 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 ;4891..

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$q(electronic bk.)

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

254195
Logic, Symbolic and mathematical

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

Dewey Class. No.: 511.3

Logic and argumentationthird International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings /
LDR:03113nmm a2200361 a 4500 001 572463
003 DE-He213
005 20200327212007.0
006 m d
007 cr nn 008maaau
008 200925s2020 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $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
700 1 $a Dastani, Mehdi. $3 277533
700 1 $a Dong, Huimin. $3 859511
700 1 $a Torre, Leon van der. $3 859512
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
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-030-44638-3
950 $a Computer Science (Springer-11645)