Logic, Language, Information and Computation

16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

  • Hiroakira Ono
  • Makoto Kanazawa
  • Ruy de Queiroz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5514)

Table of contents

  1. Front Matter
  2. Tutorials and Invited Talks

    1. Carlos Caleiro, Ricardo Gonçalves
      Pages 13-25
    2. Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Šimkus
      Pages 26-36
    3. Carsten Lutz, Frank Wolter
      Pages 37-47
    4. Taisuke Sato
      Pages 61-71
  3. Contributed Papers

    1. Majid Alizadeh
      Pages 72-83
    2. Gleifer V. Alves, Anjolina G. de Oliveira, Ruy de Queiroz
      Pages 84-98
    3. Gianluca Amato, Francesca Scozzari
      Pages 99-112
    4. Matthias Baaz, Agata Ciabattoni, Norbert Preining
      Pages 113-123
    5. Hubie Chen, Omer Giménez
      Pages 155-169
    6. Henning Christiansen, Verónica Dahl
      Pages 170-181
    7. Philippe de Groote, Sylvain Pogodalla, Carl Pollard
      Pages 182-196
    8. Bernhard Heinemann
      Pages 197-208
    9. Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
      Pages 218-229
    10. Juha Kontinen, Ville Nurmi
      Pages 230-241

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009.

The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Keywords

Ehrenfeucht-Fraisse Gentzen Gödel logic arrow calculus categorial grammers cut elimination description logic epistemic logic first-order logic forcing intuitionistic logic lambda calculus logic grammers modal logic monadic logic natural lan

Editors and affiliations

  • Hiroakira Ono
    • 1
  • Makoto Kanazawa
    • 2
  • Ruy de Queiroz
    • 3
  1. 1.Japan Advanced Institute of Science and TechnologyIshikawaJapan
  2. 2.National Institute of InformaticsTokyoJapan
  3. 3.Centro de InformáticaUniversidade Federal de PernambucoRecifeBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02261-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02260-9
  • Online ISBN 978-3-642-02261-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349