Muutke küpsiste eelistusi

Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers 1st ed. 2017 [Pehme köide]

Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 355 pages, kõrgus x laius: 235x155 mm, kaal: 5854 g, 46 Illustrations, black and white; XXVIII, 355 p. 46 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 10148
  • Ilmumisaeg: 22-Feb-2017
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662543311
  • ISBN-13: 9783662543313
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 355 pages, kõrgus x laius: 235x155 mm, kaal: 5854 g, 46 Illustrations, black and white; XXVIII, 355 p. 46 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 10148
  • Ilmumisaeg: 22-Feb-2017
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662543311
  • ISBN-13: 9783662543313
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.
Language and Logic
An Algorithm Defining the Choice of `Active~Passive' Formal Paradigms in Georgian
3(15)
Rusudan Asatiani
Towards Verb Modification in Frames: A Case Study on German Schlagen (to hit)
18(19)
Anja Goldschmidt
Thomas Gamerschlag
Wiebke Petersen
Ekaterina Gabrovska
Wilhelm Geuder
Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types
37(17)
Justyna Grudzinska
Marek Zawadowski
First-Order Abduction as Enumeration of Stable Models
54(12)
Petr Homola
A Semantic Account of the Intervention Effects in Chinese Why-Questions
66(23)
Dawei Jin
Syntax Annotation of the Georgian Literary Corpus
89(9)
Liana Lortkipanidze
Nino Amirezashvili
Ana Chutkerashvili
Nino Javashvili
Liana Samsonadze
Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames
98(20)
Sebastian Lobner
Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision
118(28)
Ralf Naumann
Wiebke Petersen
A Probabilistic, Mereological Account of the Mass/Count Distinction
146(25)
Peter R. Sutton
Hana Filip
Semantic Dependency Graphs
171(14)
Henk Zeevat
Reflexive and Reciprocal Determiners
185(20)
Richard Zuber
Logic and Computation
The Topology of Full and Weak Belief
205(24)
Alexandru Baltag
Nick Bezhanishvili
Aybuke Ozgun
Sonja Smets
Universal Models for the Positive Fragment of Intuitionistic Logic
229(22)
Nick Bezhanishvili
Dick de Jongh
Apostolos Tzimoulis
Zhiguang Zhao
On Godel Algebras of Concepts
251(12)
Pietro Codara
Diego Valota
A Representation Theorem for Stratified Complete Lattices
263(27)
Zoltan Esik
Equilibrium Semantics for IF Logic and Many-Valued Connectives
290(23)
Christian G. Fermuller
Ondrej Majer
Quasi-Realization
313(20)
Melvin Fitting
Subintuitionistic Logics with Kripke Semantics
333(22)
Dick de Jongh
Fatemeh Shirmohammadzadeh Maleki
Erratum to: Equilibrium Semantics for IF Logic and Many-Valued Connectives
1
Christian G. Fermuller
Ondrej Majer
Author Index 355