Logic, Language, Information and Computation

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

  • Hiroakira Ono
  • Makoto Kanazawa
  • Ruy de Queiroz
Conference proceedings WoLLIC 2009

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    11. Alain Lecomte, Myriam Quatrini
      Pages 242-255
    12. Carlos Caleiro, João Marcos
      Pages 268-280
    13. Yoshihiro Maruyama
      Pages 281-295
    14. Sara Miner More, Pavel Naumov
      Pages 296-304
    15. Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda
      Pages 305-319
    16. Linda Postniece
      Pages 320-334
    17. Cristian Prisacariu, Gerardo Schneider
      Pages 335-349
    18. Benjamin Rossman
      Pages 350-364
    19. Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
      Pages 379-393
    20. Ren-June Wang
      Pages 394-407
  4. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-02260-9
  • Online ISBN 978-3-642-02261-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site