000 03519nam a22006495i 4500
001 978-3-030-89391-0
003 DE-He213
005 20240730180613.0
007 cr nn 008mamaa
008 211014s2021 sz | s |||| 0|eng d
020 _a9783030893910
_9978-3-030-89391-0
024 7 _a10.1007/978-3-030-89391-0
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogic and Argumentation
_h[electronic resource] :
_b4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings /
_cedited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXV, 552 p. 97 illus., 46 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v13040
505 0 _aLogic -- Proof theory -- Modal and temporal logics -- Automated reasoning -- Artificial intelligence -- Knowledge representation and reasoning -- Argumentation -- Nonmonotonic -- default reasoning and belief revision -- Reasoning about belief and logic -- Natural language processing.
520 _aThis book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aAlgorithms.
_93390
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9120993
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aProgramming Techniques.
_9120994
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aDesign and Analysis of Algorithms.
_931835
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9120995
700 1 _aBaroni, Pietro.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120996
700 1 _aBenzmüller, Christoph.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120997
700 1 _aWáng, Yὶ N.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120998
710 2 _aSpringerLink (Online service)
_9120999
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030893903
776 0 8 _iPrinted edition:
_z9783030893927
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v13040
_9121000
856 4 0 _uhttps://doi.org/10.1007/978-3-030-89391-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90407
_d90407