Proceedings of the 13 ESSLLI Student Session - Multiple Choices ...

More documents

Recommendations

Info

Proceedings of the 13 th ESSLLI Student Session Yves Peirsman Word Space Models of Semantic Similarity and Relatedness . . 143 Maren Schierloh Examining the Noticing Function of Output . . . . . . . . . . 153 Andreas Schnabl Cdiprover3: a Tool for Proving Derivational Complexities of Term Rewriting Systems . . . . . 165 Éva Szilágyi The Rank(s) Of A Totally Lexicalist Syntax . . . . . . . . . . 175 Camilo Thorne Expressing Conjunctive and Aggregate Queries over Ontologies with Controlled English . . . . . . . . . . . . . 185 Christina Unger – Gianluca Giorgolo Interrogation in Dynamic Epistemic Logic . . . . . . . . . . . 195 Melanie Uth The Semantic Change of the French -age-Derivation . . . . . . 203 Grégoire Winterstein Adversary Implicatures . . . . . . . . . . . . . . . . . . . . . . 213 List of Authors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223 4
Preface Proceedings of the 13 th ESSLLI Student Session This years Student Session is the thirteenth in the twenty years history of the annual European Summer School on Logic Language and Information. The first edition was held in Prague in 1996, invented and organized by students, and ever since ESS- LLI has been accompanied by a separate Student Session. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master-, and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Similarly to the previous years, the quality of the submissions was high, this made the selection procedure difficult. This year 17 papers were selected for oral presentation and 5 for poster presentation from a total of 46 submissions. All the accepted papers are included in this volume. I would like to thank the ESSLLI organization, in particular Rineke Verbrugge and Benedikt Loewe for their continuos support and for making it possible. I am grateful to the StuS Program Committee, the co-chairs: Laia Mayol, Manuel Kirschner and Ji Ruan, for their efforts in coordinating the reviewing process, and the senior area experts: Anke Lüdeling, Paul Egré, Guram Bezhanishvili and Alexander Rabinovich for their continuous presence and helpful advice. Also, I want to hank the anonymous reviewers, whose detailed comments have not only proved invaluable during the selection procedure, but also provide useful feedback to the authors. Many thanks to the Kluwer Academic Publishers who offered — as in previous years — prizes in “Best Student Paper in the Oral Session” and “Best Student Paper in the Poster Session” nominations. We are very much looking forward to the 13 th ESSLLI Student Session in Hamburg, and believe that it will be again a very inspiring meeting. 5 Kata Balogh Amsterdam, May 2008
Page 1 and 2: Proceedings of the 13 th ESSLLI Stu
Page 3: Contents Preface . . . . . . . . .
Page 9 and 10: mechanism of the encoded function.
Page 13 and 14: The table below presents experiment
Page 17 and 18: SIMULATING SPOKEN DIALOGUE WITH A F
Page 19 and 20: 21 Speech Generation Speech generat
Page 31 and 32: We now state our update semantics f
Page 33 and 34: 3 Comparison With a Partition Seman
Page 35 and 36: We take this objection seriously, a
Page 37 and 38: BARE PREDICATION AND KINDS ∗ Bert
Page 39 and 40: The reason why the b-variants are o
Page 41 and 42: 2006)). The second is that nouns re
Page 43 and 44: 43 Non-bare predication and non-uni
Page 45 and 46: References Proceedings of the 13 th
Page 47 and 48: DIAGRAMMATIC REASONING WITH ENHANCE
Page 51 and 52: previously. Proceedings of the 13 t
Page 53 and 54: type theory of Euler diagrams based
Page 55 and 56:
software (Stapleton and Delaney, 20
Page 57 and 58:
FICTIONAL CONTINGENCIES Gemma Celes
Page 59 and 60:
Proceedings of the 13 th ESSLLI Stu
Page 61 and 62:
Page 63 and 64:
of as the individuals that these fi
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
TOWARDS A NEW CHARACTERISATION OF C
Page 77 and 78:
The following paper continues this
Page 79 and 80:
Page 81 and 82:
only one increasing chain completel
Page 83 and 84:
the minimal step width seems to be
Page 85 and 86:
Page 87 and 88:
etrieved in order to check it again
Page 89 and 90:
Results The percentages of correct
Page 91 and 92:
The complexity of relative clauses
Page 93 and 94:
References Proceedings of the 13 th
Page 95 and 96:
A SALIENCE-DRIVEN APPROACH TO SPEEC
Page 97 and 98:
Page 99 and 100:
2. the linguistic salience or “re
Page 101 and 102:
Page 103 and 104:
where the expectations provided by
Page 105 and 106:
A LOGIC WITH A CONDITIONAL PROBABIL
Page 107 and 108:
• v : F orC × W −→ {0, 1} is
Page 109 and 110:
Page 111 and 112:
Lemma 4 M ∗ is a measurable model
Page 113 and 114:
is a tautology. Now we can equivale
Page 115 and 116:
A PROOF-THEORETIC APPROACH TO FRENC
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
References Abeillé, A., Godard, D.
Page 125 and 126:
INFINITE GAMES FROM AN INTUITIONIST
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
6 Further problems Proceedings of t
Page 135 and 136:
Page 137 and 138:
pointers to the text, containing th
Page 139 and 140:
example in a comparatively short te
Page 141 and 142:
Such an example is: Constant modifi
Page 143 and 144:
WORD SPACE MODELS OF SEMANTIC SIMIL
Page 145 and 146:
tween semantic similarity and seman
Page 147 and 148:
wu & palmer 0.0 0.2 0.4 0.6 0.8 1.0
Page 149 and 150:
Page 151 and 152:
frequency F−score 0 100 200 300 4
Page 153 and 154:
EXAMINING THE NOTICING FUNCTION OF
Page 155 and 156:
Page 157 and 158:
effects of input flood and individu
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
CDIPROVER3: A TOOL FOR PROVING DERI
Page 167 and 168:
Page 169 and 170:
Example 8. Consider the TRS given i
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
THE RANK(S) OF A TOTALLY LEXICALIST
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
EXPRESSING CONJUNCTIVE AND AGGREGAT
Page 187 and 188:
Page 189 and 190:
(Rule) (Semantic Action) Qwh → In
Page 191 and 192:
(⇐) We will prove, by induction o
Page 193 and 194:
Page 195 and 196:
1 Introduction INTERROGATION IN DYN
Page 197 and 198:
Page 199 and 200:
to hold for questions to be felicit
Page 201 and 202:
5 Further research One goal for a s
Page 203 and 204:
THE SEMANTIC CHANGE OF THE FRENCH -
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
6 Conclusion In this paper, I inves
Page 213 and 214:
ADVERSARY IMPLICATURES ∗ Grégoir
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
2.2.1 The derivation of Q-Implicatu
Page 221 and 222:
of the first, the relation of Contr
Page 223 and 224:
List of authors Martin Avanzini Mar
show all

Proceedings of the 13 ESSLLI Student Session - Multiple Choices ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?