Skip to main content
SpringerLink
Log in

Logic, Language, and Computation

11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Helle Hvid Hansen

    1. Faculty of Technology, Policy and Management, Delft University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sarah E. Murray

    1. Department of Linguistics, Cornell University, Ithaca, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mehrnoosh Sadrzadeh

    1. School of Electronic Engineering and Computer Science, Queen Mary University of London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Henk Zeevat

    1. Heinrich-Heine-Universität, Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TbiLLC 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-XXVIII
    Download chapter PDF

  2. Language and Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Algorithm Defining the Choice of ‘Active~Passive’ Formal Paradigms in Georgian

      • Rusudan Asatiani
      Pages 3-17

    3. Towards Verb Modification in Frames

      • Anja Goldschmidt, Thomas Gamerschlag, Wiebke Petersen, Ekaterina Gabrovska, Wilhelm Geuder
      Pages 18-36

    4. Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Types

      • Justyna GrudziÅ„ska, Marek Zawadowski
      Pages 37-53

    5. First-Order Abduction as Enumeration of Stable Models

      • Petr Homola
      Pages 54-65

    6. A Semantic Account of the Intervention Effects in Chinese Why-Questions

      • Dawei Jin
      Pages 66-88

    7. Syntax Annotation of the Georgian Literary Corpus

      • Liana Lortkipanidze, Nino Amirezashvili, Ana Chutkerashvili, Nino Javashvili, Liana Samsonadze
      Pages 89-97

    8. Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames

      • Sebastian Löbner
      Pages 98-117

    9. Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision

      • Ralf Naumann, Wiebke Petersen
      Pages 118-145

    10. A Probabilistic, Mereological Account of the Mass/Count Distinction

      • Peter R. Sutton, Hana Filip
      Pages 146-170

    11. Semantic Dependency Graphs

      • Henk Zeevat
      Pages 171-184

    12. Reflexive and Reciprocal Determiners

      • Richard Zuber
      Pages 185-201

  3. Logic and Computation

    1. Front Matter

      Pages 203-203
      Download chapter PDF

    2. The Topology of Full and Weak Belief

      • Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
      Pages 205-228

    3. Universal Models for the Positive Fragment of Intuitionistic Logic

      • Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao
      Pages 229-250

    4. On Gödel Algebras of Concepts

      • Pietro Codara, Diego Valota
      Pages 251-262

    5. A Representation Theorem for Stratified Complete Lattices

      • Zoltán Ésik
      Pages 263-289

    6. Equilibrium Semantics for IF Logic and Many-Valued Connectives

      • Christian G. Fermüller, Ondrej Majer
      Pages 290-312

    7. Quasi-Realization

      • Melvin Fitting
      Pages 313-332
Back to top

Other volumes

  1. Logic, Language, and Computation

Keywords

About this book

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

The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication.



The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.



Editors and Affiliations

  • Faculty of Technology, Policy and Management, Delft University of Technology, Delft, The Netherlands

    Helle Hvid Hansen

  • Department of Linguistics, Cornell University, Ithaca, USA

    Sarah E. Murray

  • School of Electronic Engineering and Computer Science, Queen Mary University of London, London, United Kingdom

    Mehrnoosh Sadrzadeh

  • Heinrich-Heine-Universität, Düsseldorf, Germany

    Henk Zeevat

Bibliographic Information

  • Book Title: Logic, Language, and Computation

  • Book Subtitle: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

  • Editors: Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-54332-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag GmbH Germany 2017

  • Softcover ISBN: 978-3-662-54331-3Published: 22 February 2017

  • eBook ISBN: 978-3-662-54332-0Published: 21 February 2017

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXVIII, 355

  • Number of Illustrations: 46 b/w illustrations

  • Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Natural Language Processing (NLP)

Publish with us

Policies and ethics

Back to top

Search

Navigation