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

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. 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 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. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. 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. 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