OPAC

検索結果一覧に戻る

Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie
(Lecture Notes in Computer Science. ISSN:16113349 ; 13524)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2023
大きさ	IX, 189 p. 87 illus., 2 illus. in color : online resource
著者標目	Deng, Dun editor Liu, Mingming editor Westerståhl, Dag editor Xie, Kaibo editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002107	Computer Scinece R0 2005-6,2022-3				9783031258947

書誌詳細を非表示

一般注記	Neglect-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 Edited 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 HTTP:URL=https://doi.org/10.1007/978-3-031-25894-7
件　名	LCSH:Natural language processing (Computer science) LCSH:Mathematical logic LCSH:Logic programming LCSH:Computer programming LCSH:Computer systems FREE:Natural Language Processing (NLP) FREE:Mathematical Logic and Foundations FREE:Logic in AI FREE:Programming Techniques FREE:Computer System Implementation
分　類	LCC:QA76.9.N38 DC23:006.35
書誌ID	EB00001495
ISBN	9783031258947