© 2019

Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

  • Alexandra Silva
  • Sam Staton
  • Peter Sutton
  • Carla Umbach
Conference proceedings TbiLLC 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11456)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Nino Amiridze, Rusudan Asatiani, Zurab Baratashvili
    Pages 1-20
  3. Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
    Pages 21-41
  4. Dick de Jongh, Ana Lucia Vargas-Sandoval
    Pages 42-63
  5. Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
    Pages 64-85
  6. Kurt Erbach, Peter R. Sutton, Hana Filip
    Pages 86-107
  7. Jens Fleischhauer, Thomas Gamerschlag, Wiebke Petersen
    Pages 108-127
  8. David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
    Pages 147-165
  9. Gianluca Grilletti, Ivano Ciardelli
    Pages 166-186
  10. Ruth Kempson, Eleni Gregoromichelaki, Christine Howes
    Pages 209-227
  11. Ralf Naumann, Wiebke Petersen
    Pages 228-252
  12. Kerstin Schwabe
    Pages 253-274
  13. Diego Valota
    Pages 297-311
  14. Henk Zeevat
    Pages 312-329
  15. Dick de Jongh, Ana Lucia Vargas-Sandoval
    Pages C1-C1
  16. Back Matter
    Pages 353-353

About these proceedings


This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.

The volume contains 17 full revised papers presented at the conference from 22 submissions.  The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more. 


Natural language syntax Linguistic typology Language evolution Historical linguistics Natural logic formal pragmatics Logics for artificial intelligence Algorithmic game theory Computational social choice Formal models of multiagent systems Information retrieval query answer systems probabilistic models of information artificial intelligence formal logic first order logic probability probability distribution conditional probabilities

Editors and affiliations

  • Alexandra Silva
    • 1
  • Sam Staton
    • 2
  • Peter Sutton
    • 3
  • Carla Umbach
    • 4
  1. 1.Department of Computer ScienceUniversity College LondonLondonUK
  2. 2.Department of Computer ScienceUniversity of OxfordOxfordUK
  3. 3.Department of LinguisticsHeinrich Heine University DüsseldorfDüsseldorfGermany
  4. 4.Leibniz-Zentrum Allgemeine SprachwissenschaftBerlinGermany

Bibliographic information

  • Book Title Language, Logic, and Computation
  • Book Subtitle 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
  • Editors Alexandra Silva
    Sam Staton
    Peter Sutton
    Carla Umbach
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI
  • Copyright Information Springer-Verlag GmbH Germany, part of Springer Nature 2019
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-662-59564-0
  • eBook ISBN 978-3-662-59565-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIV, 353
  • Number of Illustrations 289 b/w illustrations, 6 illustrations in colour
  • Topics Mathematical Logic and Formal Languages
    Logic in AI
    Probability and Statistics in Computer Science
  • Buy this book on publisher's site
Industry Sectors
IT & Software