Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13524)
Included in the following conference series:
Conference proceedings info: TLLM 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
Other volumes
-
Dynamics in Logic and Language
Keywords
- artificial intelligence
- formal methods
- natural language processing
- operational semantics
- formal languages
- computational linguistics
- computer programming
- databases
- discourse representation theory
- dynamic epistemic logic
- dynamic semantics
- Field Programmable Gate Array (FPGA)
- logical dynamics
- Natural Language Processing (NLP)
- fuzzy sets
- linguistics
- syntactic structure
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Dynamics in Logic and Language
Book Subtitle: Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
Editors: Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-25894-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-25893-0Published: 25 February 2023
eBook ISBN: 978-3-031-25894-7Published: 23 February 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 189
Number of Illustrations: 85 b/w illustrations, 2 illustrations in colour
Topics: Natural Language Processing (NLP), Mathematical Logic and Foundations, Logic in AI, Programming Techniques, Computer System Implementation