000 03657nam a22006255i 4500
001 978-3-031-25894-7
003 DE-He213
005 20240423125227.0
007 cr nn 008mamaa
008 230223s2023 sz | s |||| 0|eng d
020 _a9783031258947
_9978-3-031-25894-7
024 7 _a10.1007/978-3-031-25894-7
_2doi
050 4 _aQA76.9.N38
072 7 _aUYQL
_2bicssc
072 7 _aCOM073000
_2bisacsh
072 7 _aUYQL
_2thema
082 0 4 _a006.35
_223
245 1 0 _aDynamics in Logic and Language
_h[electronic resource] :
_bThird Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
_cedited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2023.
300 _aIX, 189 p. 87 illus., 2 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 Computer Science,
_x1611-3349 ;
_v13524
505 0 _aNeglect-zero effects in Dynamic Semantics -- Another Look at Chinese Donkey Sentences: A Reply to Cheng and Huang (2020) -- Updating Contexts: Ignorance and Concession -- Disjunction in a predictive theory of anaphora -- Scope reconstruction and interpretation of copies -- Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic -- Incompleteness and (not-)at-issue updates in Mandarin Chinese -- Comparing the derivation of modal domains and strengthened meanings -- Post-suppositions and uninterpretable questions.
520 _aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022. The 9 full papers presented in this volume were carefully reviewed and selected from 13 submissions. The workshop covers a wide range of topics such as dynamic semantics, logical dynamics, Dynamic Epistemic Logic, Discourse Representation Theory, formal semantics, free choice inference, update semantics, and donkey sentences.
650 0 _aNatural language processing (Computer science).
650 0 _aMathematical logic.
650 0 _aLogic programming.
650 0 _aComputer programming.
650 0 _aComputer systems.
650 1 4 _aNatural Language Processing (NLP).
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aLogic in AI.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputer System Implementation.
700 1 _aDeng, Dun.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLiu, Mingming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWesterståhl, Dag.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aXie, Kaibo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031258930
776 0 8 _iPrinted edition:
_z9783031258954
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13524
856 4 0 _uhttps://doi.org/10.1007/978-3-031-25894-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c175632
_d175632