ESSLLI-StuS 2012
ESSLLI 2012 Student Session

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