Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

✍ Scribed by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2017
• Tongue: English
• Leaves: 378
• Series: Lecture Notes in Computer Science 10148
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.Initially there were 64 submissions, but 29 were actually presented of which 18 full papers have been accepted.
The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

✦ Table of Contents

Front Matter....Pages I-XXVIII
Front Matter....Pages 1-1
An Algorithm Defining the Choice of ‘Active~Passive’ Formal Paradigms in Georgian....Pages 3-17
Towards Verb Modification in Frames....Pages 18-36
Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Types....Pages 37-53
First-Order Abduction as Enumeration of Stable Models....Pages 54-65
A Semantic Account of the Intervention Effects in Chinese Why-Questions....Pages 66-88
Syntax Annotation of the Georgian Literary Corpus....Pages 89-97
Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames....Pages 98-117
Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision....Pages 118-145
A Probabilistic, Mereological Account of the Mass/Count Distinction....Pages 146-170
Semantic Dependency Graphs....Pages 171-184
Reflexive and Reciprocal Determiners....Pages 185-201
Front Matter....Pages 203-203
The Topology of Full and Weak Belief....Pages 205-228
Universal Models for the Positive Fragment of Intuitionistic Logic....Pages 229-250
On Gödel Algebras of Concepts....Pages 251-262
A Representation Theorem for Stratified Complete Lattices....Pages 263-289
Equilibrium Semantics for IF Logic and Many-Valued Connectives....Pages 290-312
Quasi-Realization....Pages 313-332
Subintuitionistic Logics with Kripke Semantics....Pages 333-354
Back Matter....Pages 355-355

✦ Subjects

Mathematical Logic and Formal Languages;Artificial Intelligence (incl. Robotics);Language Translation and Linguistics