ESSLLI 2012
Student Session
Proceedings
Edited by

Rasmus K. Rendsvig
University of Copenhagen

Sophia Katrenko
Utrecht University
                                    Preface


The 24th European Summer School in Logic, Language, and Information (ESSLLI)
took place on August 6-17, Opole, Poland, under the auspices of FoLLI. This volume
contains the proceedings of the 17th Student Session, an annual event which takes
place within ESSLLI. It contains 21 papers addressing a wide range of topics in logic,
language, and computation. These papers were selected from a large number of excellent
submissions on the basis of reports by expert reviewers in the relevant areas.
    Great thanks are due to the area experts and to the two previous chairs, Marija
Slavkovik (2010) and Daniel Lassiter (2011), for their advice and support, to Kristian
K. Olesen for help with matters LATEX, and to Janusz Czelakowski, Urszula Wybraniec-
Skardowska and the rest of the ESSLLI 2012 Organizing Committee. Special recognition
goes to Springer for their continuing support of the Student Session. Most importantly,
thanks to all those who submitted papers, and to the many reviewers who generously
gave their time to provide thoughtful feedback on each submission.

                                                               Rasmus K. Rendsvig
                                                 Chair, ESSLLI 2012 Student Session
                                                          Copenhagen, August 2012




Copyright ➞   2012 for the individual papers by the papers’ authors. Copying permitted
for private and academic purposes. This volume is published and copyrighted by its
editors.
                     Organization


Chair:          Rasmus K. Rendsvig

Co-Chairs:      Niels Beuck (Language and Computation)
                Margot Colinet (Logic and Language)
                Maxim Haddad (Logic and Computation)
                Anders Johannsen (Language and Computation)
                Dominik Klein (Logic and Computation)
                Matthijs Westera (Logic and Language)
Area Experts:   Ann Copestake (Language and Computation)
                Friederike Moltmann (Logic and Language)
                Eric Pacuit (Logic and Computation)
                                             Table of Contents


Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    i

Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .        ii

Aligning Geospatial Ontologies Logically . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                             1
    Heshan Du

Doing Argumentation using Theories in Graph Normal Form . . . . . . . . . . . . . . . . .                                                 13
   Sjur Dyrkolbotn

The Expressive Power of Swap Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                            23
   Raul Fervari

Reasoning on Procedural Programs using Description Logics with Concrete
Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .     32
   Ronald de Haan

Small Steps in Heuristics for the Russian Cards Problem Protocols . . . . . . . . . . . .                                                 43
  Ignacio Hernández-Antón

Markov Logic Networks for Spatial Language in Reference Resolution . . . . . . . . . .                                                    54
   Casey Kennington

Using Conditional Probabilities and Vowel Collocations of a Corpus of
Orthographic Representations to Evaluate Nonce Words . . . . . . . . . . . . . . . . . . . . .                                            65
   Özkan Kılıç

A Dynamic Probabilistic Approach to Epistemic Modality . . . . . . . . . . . . . . . . . . .                                              73
   Manuel Križ

Computing with Numbers, Cognition and the Epistemic Value of Iconicity . . . . .                                                          84
  José Gustavo Morales

The Force of Innovation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                 93
   Mühlenbernd, Nick & Adam

Existential Definability of Modal Frame Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
   Tin Perkov

Spotting and Improving Modularity in Large Scale Grammar Development . . . . . 112
   Simon Petitjean

Questions of Trust . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
   Jason Quinley and Christopher Ahern

Checking Admissibility in Finite Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
   Christoph Röthlisberger
iv

Scalar Properties of Degree Modification in Karitiana: Evidence for
Indeterminate Scales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
   Luciana Sanchez Mendes

PCFG Extraction and Sentence Analysis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
  Noémie-Fleur Sandillon-Rezer

An Interaction Grammar for English Verbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
   Shohreh Tabatabayi Seifi

Toward a Discourse Structure Account of Speech and Attitude Reports . . . . . . . . 170
   Antoine Venant

Some, Speaker Knowledge, and Subkinds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
   Andrew Weir

Tableau-based Decision Procedure for Hybrid Logic with Satisfaction
Operators, Universal Modality and Difference Modality . . . . . . . . . . . . . . . . . . . . . . 191
   Michal Zawidzki

A Frame-Based Semantics of Locative Alternation in LTAG . . . . . . . . . . . . . . . . . . 202
   Yulia Zinova