Muutke küpsiste eelistusi

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

Edited by , Edited by , Edited by , Edited by
  • Formaat: EPUB+DRM
  • Sari: Lecture Notes in Computer Science 10148
  • Ilmumisaeg: 21-Feb-2017
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783662543320
  • Formaat - EPUB+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: EPUB+DRM
  • Sari: Lecture Notes in Computer Science 10148
  • Ilmumisaeg: 21-Feb-2017
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783662543320

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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