Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

  • Editors
  • Wilfrid Hodges
  • Ruy de Queiroz
Conference proceedings WoLLIC 2008

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5110)

Table of contents

  1. Front Matter
  2. Tutorials and Invited Lectures

    1. Olivier Danvy, Jacob Johannsen
      Pages 1-16
    2. Sam Lomonaco
      Pages 26-27
    3. Ilya Mezhirov, Nikolay Vereshchagin
      Pages 28-42
    4. Mark Steedman
      Pages 43-43
  3. Contributed Papers

    1. Tamar Aizikowitz, Michael Kaminski
      Pages 44-55
    2. Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
      Pages 56-68
    3. Ofer Arieli, Anna Zamansky
      Pages 69-82
    4. Mario R. F. Benevides, L. Menasché Schechter
      Pages 83-97
    5. Alan Bundy, Michael Chan
      Pages 98-110
    6. Christophe Calvès, Maribel Fernández
      Pages 111-122
    7. G. P. Dimuro, B. C. Bedregal, R. H. S. Reiser, R. H. N. Santiago
      Pages 123-135
    8. Jan van Eijck, Yanjing Wang
      Pages 136-148
    9. Santiago Figueira, Daniel Gorín, Rafael Grimson
      Pages 164-178
    10. Murdoch J. Gabbay, Dominic P. Mulligan
      Pages 179-193
    11. D. Galmiche, Y. Salhi
      Pages 194-207
    12. Edward A. Hirsch, Dmitry M. Itsykson
      Pages 208-217
    13. Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
      Pages 218-225
    14. Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao
      Pages 226-237
    15. Juha Kontinen, Heribert Vollmer
      Pages 238-248
    16. J. B. Paris, S. R. Rad
      Pages 249-259
    17. Silvio do Lago Pereira, Leliane Nunes de Barros
      Pages 260-271
    18. Carl Pollard
      Pages 272-285
    19. Livio Robaldo
      Pages 286-297
    20. R. de Freitas, P. A. S. Veloso, S. R. M. Veloso, P. Viana
      Pages 298-312
  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 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science 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.


Action Natural adaptive functions algorithms artificial intelligence belief revision calculi classical computability completeness computational logic computational modeling decision procedure epistemic dynamic logic formal languages logic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-69936-1
  • Online ISBN 978-3-540-69937-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site