Skip to main content
SpringerLink
Log in

Formal Grammar

20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Annie Foret

    1. IRISA, University of Rennes 1 , Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Glyn Morrill

    1. Department of Computer Science, Universitat Politècnica de Catalunya , Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Reinhard Muskens

    1. Tilburg University , Tilburg, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Rainer Osswald

    1. Department of General Linguistics, Heinrich-Heine-University Düsseldorf , Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Sylvain Pogodalla

    1. INRIA Nancy, Villers-lès-Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FG 2015. FG 2016.

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 EPUB and 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 (19 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Formal Grammar 2015: Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Frames as Records

      • Robin Cooper
      Pages 3-18

    3. Types from Frames as Finite Automata

      • Tim Fernando
      Pages 19-40

  3. Formal Grammar 2015: Contributed Papers

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing

      • Vito Michele Abrusci, Roberto Maieli
      Pages 43-59

    3. Algebraic Governance and Symmetry in Dependency Grammars

      • Carles Cardó
      Pages 60-76

    4. On the Mild Context-Sensitivity of k-Tree Wrapping Grammar

      • Laura Kallmeyer
      Pages 77-93

    5. Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars

      • Makoto Kanazawa, Ryo Yoshinaka
      Pages 94-111

    6. Between the Event Calculus and Finite State Temporality

      • Derek Kelleher, Tim Fernando, Carl Vogel
      Pages 112-129

    7. A Modal Representation of Graded Medical Statements

      • Hans-Ulrich Krieger, Stefan Schulz
      Pages 130-146

    8. Models for the Displacement Calculus

      • Oriol Valentín
      Pages 147-163

    9. On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results

      • Christian Wurm
      Pages 164-179

  4. Formal Grammar 2016: Contributed Papers

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Overtly Anaphoric Control in Type Logical Grammar

      • María Inés Corbalán, Glyn Morrill
      Pages 183-199

    3. A Single Movement Normal Form for Minimalist Grammars

      • Thomas Graf, Alëna Aksënova, Aniello De Santo
      Pages 200-215

    4. Word Ordering as a Graph Rewriting Process

      • Sylvain Kahane, François Lareau
      Pages 216-239

    5. Undecidability of the Lambek Calculus with a Relevant Modality

      • Max Kanovich, Stepan Kuznetsov, Andre Scedrov
      Pages 240-256

    6. Introducing a Calculus of Effects and Handlers for Natural Language Semantics

      • Jirka Maršík, Maxime Amblard
      Pages 257-272

    7. Proof Nets for the Displacement Calculus

      • Richard Moot
      Pages 273-289
Back to top

Other volumes

  1. Formal Grammar

Keywords

About this book

This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.

The focus of papers are as follows:

  • Formal and computational phonology, morphology, syntax, semantics and pragmatics
  • Model-theoretic and proof-theoretic methods in linguistics
  • Logical aspects of linguistic structure
  • Constraint-based and resource-sensitive approaches to grammar
  • Learnability of formal grammar
  • Integration of stochastic and symbolic models of grammar
  • Foundational, methodological and architectural issues in grammar and linguistics
  • Mathematical foundations of statistical approaches to linguistic analysis


Editors and Affiliations

  • IRISA, University of Rennes 1 , Rennes, France

    Annie Foret

  • Department of Computer Science, Universitat Politècnica de Catalunya , Barcelona, Spain

    Glyn Morrill

  • Tilburg University , Tilburg, The Netherlands

    Reinhard Muskens

  • Department of General Linguistics, Heinrich-Heine-University Düsseldorf , Düsseldorf, Germany

    Rainer Osswald

  • INRIA Nancy, Villers-lès-Nancy, France

    Sylvain Pogodalla

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation