Blick ins Buch

Interfaces: Explorations in Logic, Language and Computation

ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers

Thomas Icard, Reinhard Muskens (Herausgeber)

Buch | Softcover

VII, 167 Seiten

2010
Springer Berlin (Verlag)
978-3-642-14728-9 (ISBN)

Artikel merken

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.

Semantics and Pragmatics.- Can DP Be a Scope Island?.- Semantic Meaning and Pragmatic Inference in Non-cooperative Conversation.- What Makes a Knight?.- The Algebraic Structure of Amounts: Evidence from Comparatives.- Mathematical Linguistics.- Extraction in the Lambek-Grishin Calculus.- Formal Parameters of Phonology.- Applied Computational Linguistics.- Variable Selection in Logistic Regression: The British English Dative Alternation.- A Salience-Driven Approach to Speech Recognition for Human-Robot Interaction.- Language Technologies for Instructional Resources in Bulgarian.- Logic and Computation.- Description Logics for Relative Terminologies.- Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems.- POP* and Semantic Labeling Using SAT.

Erscheint lt. Verlag	30.7.2010
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VII, 167 p. 19 illus.
Verlagsort	Berlin
Sprache	englisch
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Beweis (Mathematik) • Cognition • Computation • Computational Linguistics • description logic • Hardcover, Softcover / Informatik, EDV/Informatik • Human-Robot Interaction • Interface • Linguistics • Mathematical Logic • Mathematische Logik • Mensch-Maschine-Kommunikation • Proof theory • proving • robot • Semantics • Speech Recognition
ISBN-10	3-642-14728-3 / 3642147283
ISBN-13	978-3-642-14728-9 / 9783642147289
Zustand	Neuware