| MONDAY |
|
|
|
|
Session Language and Computation (LaCo1) |
Session Logic and Computation (LoCo1) |
| 14.00 - 14.30 |
Nani Chanishvili
Syntactic and Semantic Structure of Georgian Sentence |
Krzysztof R. Apt
Relative Strength of Strategy Elimination Procedures |
| 14.30 - 15.00 |
George Chikoidze et al.
Three Aspects of Language Modelling |
Fenrong Liu
Merging Two Models of Preference and Preference Change |
| 15.00 - 15.30 |
Anna Chutkerashvili
On '-c'and 'ki' Particles in Georgian |
Alexei Muravitsky
Satisfaction and Friendliness within Classical Logic |
|
|
Session Language and Computation (LaCo2) |
Session Language and Logic (LaLo1) |
| 15.45 - 16.15 |
Rusudan Asatiani
Dynamic Conceptual Model of the Linguistic Structuring of Space |
Houda Anoun - Alain Lecomte
Towards a Logical Account of Binding Theory |
| 16.15 - 16.45 |
Marika Jikia
Maximal Components of Different Lingual Units |
Anna Pazelskaya
Three Kinds of Event Nominal Negation in Russian |
| 16.45 - 17.15 |
Nana Shengelaia
On the General Character of Substitution Cohesion, and its Nature in Georgian |
Irine Melikishvili
The Opposition Active/Inactive in Georgian Morphology |
TUESDAY |
|
|
|
|
Session Language and Logic (LaLo2) |
Session Logic and Computation (LoCo2) |
| 14.00 - 14.30 |
Anton Benz
Scalar Implicatures and Implicatures of Irrelevant Answers |
Cigdem Gencer - Dick de Jongh
Unifiability in Extensions of K4 |
| 14.30 - 15.00 |
Sujata Ghosh - F. R. Velazquez-Quesado - E. Scorelle
A Logic for Assertion Networks |
Ali Basak Karatay
A modal Formula Not First-Order Definable |
| 15.00 - 15.30 |
Jeroen Groenendijk
Alternative Logical Semantics |
Pavel Braslavsky
Incorporating Genre into Relevance Ranking |
|
|
Session Language and Computation (LaCo3) |
Session Logic and Computation (LoCo3) |
| 15.45 - 16.15 |
Stephan Oepen - U. Callmeier - D. Flickinger
Some Fine Points of Hybrid Natural Language Parsing |
Nick Bezhanishvili - Dick de Jongh
Extendable Formulas in Two Variables in Intuitionistic Logic |
| 16.15 - 16.45 |
Liana Lortkipanidze - N. Amirezashvili - L. Samsonadze
Modeling of Derivation in the Multilingual Expert System |
Revaz Grigolia
On Medvedev's Logic of Finite Problems |
| 16.45 - 17.15 |
Paul Meurer
A Computational Grammar for Georgian |
Tashin Oner - Dick de Jongh
The Structure of Rigid Frames of Depth 3 Only |
THURSDAY |
|
|
|
|
Session Language and Logic (LaLo3) |
Session Logic and Computation (LoCo4) |
| 14.00 - 14.30 |
Adrian Brasoveanu - Donka F. Farkas
Exceptional Wide Scope as Anaphora to Quantificational Dependencies |
Levan Uridia
Kripke Coalgebras over Set2 |
| 14.30 - 15.00 |
Sumiyo Nishiguchi
Quantifiers in Japanese |
Clemens Kupke
Pair Preserving Functors |
| 15.00 - 15.30 |
Jakub Szymanik
Computational Complexity of the Reciprocal Lifts and Strong Meaning Hypothesis |
Luca Spada - A. di Nola - G. Georgescu
Forcing in Lukasiewicz Predicate Logic |
|
|
Session Language and Computation (LaCo4) |
Session Language and Logic (LaLo4) |
| 15.45 - 16.15 |
Zaal Kikvidze - Irine Chachanidze
Some Preliminaries for the Study of Covert Categories with Special Reference to Gender |
Nina Gierasimczuk
Computational Epistemology for Quantifiers |
| 16.15 - 16.45 |
Tatiana Reznikova - A. Bonch-Osmolovskaya - E. Rakhilia
Conseptualization of Pain: a Database for Lexical Typology |
Sophia Katrenko - Pieter Adriaans
Towards Incorporating Semantic Information into Relation Learning Task |
| 16.45 - 17.15 |
Olga Shemanaeva - E. Rakhilia - T. Reznikova
Dealing with Polysemy in Russian National Corpus: the Case of Adjectives |
Kerstin Schwabe - Robert Flitter
Conditions on Question-embedding Predicates in German |
