TbiLLC 2015: Eleventh International Tbilisi Symposium
on Language, Logic and Computation

Schedule contributed talks

  Session Language Session Logic & Computation
16:30-17:00 Rusudan Asatiani
The Algorithm defining the choice of ‘Active~Passive’ formal models in Georgian
Guram Bezhanishvili, Nick Bezhanishvili and Julia Ilin
Subframization for superintuitionistic logics
17:00-17:30 Lea Nash
Structural Source of Georgian Ergative
Dick De Jongh and Ana Lucia Vargas Sandoval
Minimal Negation
17:30-18:00 Sebastian Löbner
Frame theory with first-order comparators: modeling verbs of change with frames
Dick de Jongh, Apostolos Tzimoulis and Zhiguang Zhao
Morphisms and universal model for positive IPC
  Session Language Session Logic & Computation
12:00-12:30 Jeremy Pasquereau
Overt movement of comparative quantifiers in European French
Mikheil Rukhaia, Gela Chankvetadze and Lia Kurtanidze
Semi-Automated Construction of Proof Schemata
12:30-13:00 Richard Zuber
Reflexive and reciprocal determiners
Matthias Baaz and Daniel Weller
On weakened Eigenvariable conditions
  Session Language Session Logic & Computation
12:00-12:30 Poppy Mankowitz
The Anomaly in Bob's Yard: A Response to Shaw's ‘Anomaly and Quantification’
Zoltan Esik
A Representation Theorem for Stratified Complete Lattices
12:30-13:00 Jack Marley-Payne
Reference and Practical Interests
Sergey Davidov
A characterization of invertible algebras linear over a group by formulae of second-order language
16:30-17:00 Henk Zeevat
Dependency Trees as Semantic Representations
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets
The Topology of Full and Weak Belief


Isabelle Roy, Bridget Copley and Lorraine McCune
Measuring syntactic complexity in early child productions:
maximal syntactic depth
17:30-18:00  Lasha Abzianidze
Solving an RTE Task with a Theorem Prover for Natural Language
  Session Language Session Logic & Computation
12:00-12:30 Ralf Naumann and Wiebke Petersen
A probabilistic approach for semantic predictions in natural language processing
Johannes Marti and Riccardo Pinosio
Game Semantics for System P
12:30-13:00 Hana Filip and Peter Sutton
A probabilistic, mereological account of the mass/count distinction
Christian Fermüller and Ondrej Majer
Equilibrium Semantics for IF-Logic and Many-Valued Connectives 
  Session Language Session Logic & Computation
12:00-12:30 Carla Umbach
On-the-fly Kind-formation by Similarity
Diego Valota and Pietro Codara
Towards a Formal Concept Semantics for Gödel Logic
12:30-13:00 Justyna Grudzinska and Marek Zawadowski
A Puzzle about Long-distance Indefinites and Dependent Type
Nikolai Poliakov
On the clonal approach to some problems of social choice theory
16:30-17:00 Dawei Jin
Intervention Effects in Why-questions Follow from the Constraints on Topicality
Denis I. Saveliev and Nikolay L. Poliakov
On various concepts of ultrafilter extensions of first-order models
17:00-17:30 Liana Lortkipanidze, Nino Amirezashvili, Liana Samsonadze, Anna Chutkerashvili and Nino Javashvili
Syntax Annotation of Georgian Literary Corpus
Levan Uridia and Dirk Walther
Completeness by Modal Definitions
17:30-18:00 Elitzur Bar-Asher Siegal and Nora Boneh
What Discursive Datives are: the case of Modern Hebrew
Petr Homola
First-order abduction as enumeration of stable models
  Session Language Session Logic & Computation
12:00-12:30 Anja Goldschmidt, Ekaterina Gabrovska, Thomas Gamerschlag and Wiebke Petersen
Does the rain hit the
window playfully? A frame-based analysis of German hit-verbs
12:30-13:00 Kata Balogh

Hungarian preverbal field in complex sentences: towards an MCTAG analysis