Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12564)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: TLLM 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions.
Due to COVID-19 the workshop will be held online.
The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, polarity, syntax, comparatives, and various semantic phenomena in particular languages.
Similar content being viewed by others
Keywords
- artificial intelligence
- automata theory
- computer programming
- computer science
- computer systems
- databases
- formal languages
- formal logic
- formal methods
- formal semantics
- linguistics
- mathematics
- Natural Language Processing (NLP)
- natural languages
- operational semantics
- semantics
- software architecture
- software design
- software engineering
- theoretical computer science
Table of contents (12 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Monotonicity in Logic and Language
Editors and Affiliations
Bibliographic Information
Book Title: Monotonicity in Logic and Language
Book Subtitle: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Editors: Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-62843-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2020
Softcover ISBN: 978-3-662-62842-3Published: 17 December 2020
eBook ISBN: 978-3-662-62843-0Published: 16 December 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 239
Number of Illustrations: 106 b/w illustrations, 17 illustrations in colour
Topics: Natural Language Processing (NLP), Software Engineering, Programming Languages, Compilers, Interpreters, Logic in AI, Logics and Meanings of Programs, Mathematical Logic and Formal Languages