Logic, Language, Information and Computation

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

  • Editors
  • Wilfrid Hodges
  • Ruy de Queiroz
Part of the Lecture Notes in Computer Science book series (LNCS, 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

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 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.

Keywords

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 https://doi.org/10.1007/978-3-540-69937-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69936-1
  • Online ISBN 978-3-540-69937-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349