The European Summer School in Logic, Language and Information (ESSLLI) takes place every year, each time at a di?erent location in Europe. With its focus on the largeinterdisciplinaryareawhere linguistics,logic andcomputation converge, it has become very popular since it started in 1989, attracting large crowds of students. ESSLLI is where everyone in the ?eld meets, teaches, takes courses, gives talks, dances all night, and generally has a good time. One of the enjoyable features of the School is its recurring Student Session, organized by students along the lines of a conference. The speakers are students too, who are eager to get a chance to present their work. They face sti? com- tition to get their talks accepted, as the number of papers that is sent in each year is high and acceptance rates low. In my experience many of the selected talks contain fresh and surprising insights and are a pleasure to attend. But the reader may judge the quality of the Student Session for himself, as this volume contains a selection of papers from its 2008 and 2009 installments, the ?rstheld in Hamburg,the secondin Bordeaux.The book is divided into four parts.
Author(s): Simon Charlow (auth.), Thomas Icard, Reinhard Muskens (eds.)
Series: Lecture Notes in Computer Science 6211 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 167
Tags: Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Can DP Be a Scope Island?....Pages 1-12
Semantic Meaning and Pragmatic Inference in Non-cooperative Conversation....Pages 13-24
What Makes a Knight?....Pages 25-37
The Algebraic Structure of Amounts: Evidence from Comparatives....Pages 38-56
Extraction in the Lambek-Grishin Calculus....Pages 57-71
Formal Parameters of Phonology....Pages 72-86
Variable Selection in Logistic Regression: The British English Dative Alternation....Pages 87-101
A Salience-Driven Approach to Speech Recognition for Human-Robot Interaction....Pages 102-113
Language Technologies for Instructional Resources in Bulgarian....Pages 114-123
Description Logics for Relative Terminologies....Pages 124-141
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems....Pages 142-154
POP* and Semantic Labeling Using SAT....Pages 155-166
Back Matter....Pages -