Advertisement

© 2007

Logic, Language, and Computation

6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

  • Editors
  • Balder D. ten Cate
  • Henk W. Zeevat
Conference proceedings TbiLLC 2005

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

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

Table of contents

  1. Front Matter
  2. Maria Aloni
    Pages 1-20
  3. Kata Balogh
    Pages 31-44
  4. Alastair Butler, Mark Donohue
    Pages 72-84
  5. Michael Götze, Stavros Skopeteas, Torsten Roloff, Ruben Stoel
    Pages 127-138
  6. Scott Grimm
    Pages 139-153
  7. Frans C. A. Groen, Matthijs T. J. Spaan, Jelle R. Kok, Gregor Pavlin
    Pages 154-165
  8. Barbara H. Partee, Vladimir Borschev
    Pages 166-188
  9. Kjell Johan Sæbø
    Pages 189-199
  10. Jan van Eijck
    Pages 216-230

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005.

The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail: modal logic, linguistics and typology, formal pragmatics, linguistics and formal pragmatics, semantics and pragmatics, linguistic, typology, semantics and pragmatics, linguistics, semantics and learnability, information and artificial intelligence, formal pragmatics and typology, linguistics, semantics and typology, as well as logic and linguistics.

Keywords

AI logics Bisimulation algebraic semantics computational logics constraint programming database logic information retrieval intelligence knowledge-based systems linguistics logic-based programm modal logic morphology multi-agent system semantics

Bibliographic information

  • Book Title Logic, Language, and Computation
  • Book Subtitle 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
  • Editors Balder D. ten Cate
    Henk W. Zeevat
  • Series Title Lecture Notes in Computer Science
  • DOI https://doi.org/10.1007/978-3-540-75144-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-540-75143-4
  • eBook ISBN 978-3-540-75144-1
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 282
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logic
    Artificial Intelligence
    Mathematical Logic and Formal Languages
    Natural Language Processing (NLP)
  • Buy this book on publisher's site