Logical Aspects of Computational Linguistics

8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings

  • Nicholas Asher
  • Sergei Soloviev
Conference proceedings LACL 2014

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

Table of contents

  1. Front Matter
    PDF

  2. Regular Articles

    1. Building PMCFG Parsers as Datalog Program Transformations
      Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati
      Pages 1-13
    2. Representing Anaphora with Dependent Types
      Daisuke Bekki
      Pages 14-29
    3. An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents
      Wojciech Buszkowski
      Pages 30-43
    4. Adverbs in a Modern Type Theory
      Stergios Chatzikyriakidis
      Pages 44-56
    5. An Algebraic Approach to Multiple Context-Free Grammars
      Alexander Clark, Ryo Yoshinaka
      Pages 57-69
    6. An ACG View on G-TAG and Its g-Derivation
      Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
      Pages 70-82
    7. On Harmonic CCG and Pregroup Grammars
      Annie Foret
      Pages 83-95
    8. The Granularity of Meaning in Proof-Theoretic Semantics
      Nissim Francez
      Pages 96-106
    9. Late Merge as Lowering Movement in Minimalist Grammars
      Thomas Graf
      Pages 107-121
    10. Pseudogapping as Pseudo-VP Ellipsis
      Yusuke Kubota, Robert Levine
      Pages 122-137
    11. Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
      Georgiana E. Lungu, Zhaohui Luo
      Pages 138-148
    12. Semantically Inactive Multiplicatives and Words as Types
      Glyn Morrill, Oriol Valentín
      Pages 149-162
    13. Generalising Predicate and Argument Invariance
      Richard Zuber
      Pages 163-176

  3. Invited Speaker

    1. Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
      Zhaohui Luo
      Pages 177-188
  4. Back Matter
    PDF

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning, and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.

Keywords

context-free languages lambda semantics lexical semantics natural language processing proof theory semantics transductions type theory

Editors and affiliations

  • Nicholas Asher
    • 1
  • Sergei Soloviev
    • 1
  1. 1.IRITToulouseFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-43742-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-43741-4
  • Online ISBN 978-3-662-43742-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering