Logic, Language, Information and Computation

14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

  • Editors
  • Daniel Leivant
  • Ruy de Queiroz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4576)

Table of contents

  1. Front Matter
  2. Joachim Baran, Howard Barringer
    Pages 1-11
  3. Denis Béchet, Annie Foret
    Pages 12-25
  4. Benjamín C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos
    Pages 26-37
  5. Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
    Pages 38-52
  6. Raffaella Bernardi, Michael Moortgat
    Pages 53-71
  7. Ryan Bissell-Siders
    Pages 72-82
  8. Thomas Bolander, René Rydhof Hansen
    Pages 83-100
  9. Sabine Broda, Luís Damas
    Pages 120-130
  10. Alexander Dikovsky
    Pages 131-146
  11. Annie Foret
    Pages 147-161
  12. Murdoch J. Gabbay, Aad Mathijssen
    Pages 162-176
  13. André L. Galdino, César Muñoz, Mauricio Ayala-Rincón
    Pages 177-188
  14. Philippa Gardner, Uri Zarfaty
    Pages 189-202
  15. Sven Hartmann, Sebastian Link
    Pages 203-217
  16. André Hirschowitz, Marco Maggesi
    Pages 218-237
  17. Ariya Isihara
    Pages 238-247
  18. Louis H. Kauffman, Samuel J. Lomonaco Jr.
    Pages 248-263

About these proceedings

Introduction

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee’s invitation.

Keywords

Erfüllbarkeitsproblem der Aussagenlogik adaptive functions algorithhms algorithm algorithms calculi calculus classical computability complexity theory formal methods formal verification fuzzy lo logic optimization verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73445-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73443-7
  • Online ISBN 978-3-540-73445-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349