Paul Meurer (auth.), Peter Bosch, David Gabelaia, Jérôme Lang (eds.)3642006647, 9783642006647
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georgia, in October 2007.
The 22 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: conceptual modeling of spatial relations, pragmatics and game theory, atypical valency phenomena, lexical typology, formal semantics and experimental evidence, exceptional quantifier scope, Georgian focussing particles, polarity and pragmatics, dynamics of belief, learning theory, inquisitive semantics, modal logic, coalgebras, computational linguistics of Georgian, type-logical grammar and cross-serial dependencies, non-monotonic logic, Japanese quantifiers, intuitionistic logic, semantics of negated nominals, word sense disambiguation, semantics of question-embedding predicates, and reciprocals and computational complexity.
Table of contents :
Front Matter….Pages –
A Computational Grammar for Georgian….Pages 1-15
The Structure of Rigid Frames of Depth 3 Only….Pages 16-22
Three Kinds of Event Nominal Negation in Russian….Pages 23-37
A Dynamic Conceptual Model for the Linguistic Structuring of Space: Georgian Preverbs….Pages 38-46
even in Horn Space….Pages 47-61
On -c and ḳi Particles in Georgian….Pages 62-68
Dealing with Polysemy in Russian National Corpus: The Case of Adjectives….Pages 69-79
Inquisitive Semantics: Two Possibilities for Disjunction….Pages 80-94
Implicatures of Irrelevant Answers and the Principle of Optimal Completion….Pages 95-109
Conceptualization of Pain: A Database for Lexical Typology….Pages 110-123
Expressing Belief Flow in Assertion Networks….Pages 124-138
The Computational Complexity of Quantified Reciprocals….Pages 139-152
Quantifiers in Japanese….Pages 153-164
Exceptional Scope as Discourse Reference to Quantificational Dependencies….Pages 165-179
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach….Pages 180-192
Identification through Inductive Verification….Pages 193-205
Enlarging the Diversity of Valency Instantiation Patterns and Its Implications….Pages 206-220
The Modal Formula (†) $square diamondsuit p supset square diamondsuit square diamondsuit p$ Is Not First-Order Definable….Pages 221-228
Semantic Characterizations of German Question-Embedding Predicates….Pages 229-241
Processing Definite Determiners: Formal Semantics Meets Experimental Results….Pages 242-256
Terminal Sequence Induction via Games….Pages 257-271
Dutch Grammar and Processing: A Case Study in TLG….Pages 272-286
Back Matter….Pages –
Reviews
There are no reviews yet.