Skip to main content
SpringerLink
Log in
Book cover

Interfaces: Explorations in Logic, Language and Computation

ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Thomas Icard

    1. Stanford University, Stanford,, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reinhard Muskens

    1. Tilburg University, Tilburg, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Edited in collaboration with Fo.
  • LLI, the Association of Logic, Language and Information

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6211)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ESSLLI 2008. ESSLLI 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Semantics and Pragmatics

    1. Can DP Be a Scope Island?

      • Simon Charlow
      Pages 1-12

    2. Semantic Meaning and Pragmatic Inference in Non-cooperative Conversation

      • Michael Franke
      Pages 13-24

    3. What Makes a Knight?

      • Stefan Wintein
      Pages 25-37

    4. The Algebraic Structure of Amounts: Evidence from Comparatives

      • Daniel Lassiter
      Pages 38-56

  3. Mathematical Linguistics

    1. Extraction in the Lambek-Grishin Calculus

      • Arno Bastenhof
      Pages 57-71

    2. Formal Parameters of Phonology

      • Thomas Graf
      Pages 72-86

  5. Logic and Computation

    1. Description Logics for Relative Terminologies

      • Szymon Klarman
      Pages 124-141

    2. Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems

      • Andreas Schnabl
      Pages 142-154

    3. POP* and Semantic Labeling Using SAT

      • Martin Avanzini
      Pages 155-166

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Interfaces: Explorations in Logic, Language and Computation

Keywords

About this book

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.

Editors and Affiliations

  • Stanford University, Stanford,, USA

    Thomas Icard

  • Tilburg University, Tilburg, The Netherlands

    Reinhard Muskens

Bibliographic Information

  • Book Title: Interfaces: Explorations in Logic, Language and Computation

  • Book Subtitle: ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers

  • Editors: Thomas Icard, Reinhard Muskens

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-14729-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-14728-9Published: 30 July 2010

  • eBook ISBN: 978-3-642-14729-6Published: 27 July 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 167

  • Number of Illustrations: 19 b/w illustrations

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation