| Vol-954 urn:nbn:de:0074-954-7 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ESSLLI-StuS 2012
ESSLLI 2012 Student Session

### Proceedings of the ESSLLI 2012 Student Session

#### A student session of the 24th European Summer School in Logic, Language and Information (ESSLLI 2012)

### Opole, Poland, August 6-17, 2012.

Edited by

### Rasmus K. Rendsvig *
Sophia Katrenko **

* University of Copenhagen, Department of Philosophy, 2300 Copenhagen, Denmark
** Utrecht University, Utrecht Institute of Linguistics OTS, 3512JK Utrecht, Netherlands

### Full Proceedings (2.6 Mb)

## Table of Contents

- Preface

- Aligning Geospatial Ontologies Logically 1-12
  Heshan Du
- Doing Argumentation using Theories in Graph Normal Form 13-22
  Sjur Dyrkolbotn
- The Expressive Power of Swap Logic 23-31
  Raul Fervari
- Reasoning on Procedural Programs using Description Logics with Concrete Domains 32-42
  Ronald de Haan
- Small Steps in Heuristics for the Russian Cards Problem Protocols 43-53
  Ignacio Hernández-Antón
- Markov Logic Networks for Spatial Language in Reference Resolution 54-64
  Casey Kennington
- Using Conditional Probabilities and Vowel Collocations of a Corpus of Orthographic Representations to Evaluate Nonce Words 65-72
  Özkan Kilic
- A Dynamic Probabilistic Approach to Epistemic Modality 73-83
  Manuel Kriz
- Computing with Numbers, Cognition and the Epistemic Value of Iconicity 84-92
  José Gustavo Morales
- The Force of Innovation 93-103
  Roland Mühlenbernd, Jonas David Nick, Christian Adam
- Existential Definability of Modal Frame Classes 104-111
  Tin Perkov
- Spotting and Improving Modularity in Large Scale Grammar Development 112-120
  Simon Petitjean
- Questions of Trust 121-132
  Jason Quinley, Christopher Ahern
- Checking Admissibility in Finite Algebras 133-141
  Christoph Röthlisberger
- Scalar Properties of Degree Modification in Karitiana: Evidence for Indeterminate Scales 142-149
  Luciana Sanchez Mendes
- PCFG Extraction and Sentence Analysis 150-159
  Noémie-Fleur Sandillon-Rezer
- An Interaction Grammar for English Verbs 160-169
  Shohreh Tabatabayi Seifi
- Toward a Discourse Structure Account of Speech and Attitude Reports 170-179
  Antoine Venant
- "Some", Speaker Knowledge, and Subkinds 180-190
  Andrew Weir
- Tableau-based Decision Procedure for Hybrid Logic with Satisfaction Operators, Universal Modality and Difference Modality 191-200
  Michal Zawidzki
- A Frame-Based Semantics of Locative Alternation in LTAG 202-210
  Yulia Zinova

07-Jan-2013: submitted by Rasmus K. Rendsvig
07-Jan-2013: published on CEUR-WS.org