Logic, Language, and Computation

14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers

AvLotte Hogeweg,Raheleh Jalali

Häftad, Engelska, 2026

Del i serien Lecture Notes in Computer Science

1 462 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 14th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2023, held in Telavi, Georgia, during September 18-22, 2023.The 14 full papers were included in this book were carefully reviewed and selected from 21 submissions. These papers were organized in the following topical sections: Language and Logic; Logic and Computation.

Produktinformation

Utgivningsdatum:2026-02-17
Mått:155 x 235 x 17 mm
Vikt:458 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:285
Förlag:Springer Nature Switzerland AG
ISBN:9783032143389

Utforska kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

.- Language and Logic ..- How aggressive are oh-prefaced responses? An experimental investigation..- Modification strategies for discriminating among referents in the presence of distractors: An analysis of large-scale production data..- A Dynamic Team Semantics for Marked Indefinites..- Automatic Morphological Analysis and Syntactic Parsing for the Georgian Language..- Decomposing decomposition in time: a methodological investigation..- Syntactic Annotation of Georgian based on the Universal Dependencies Framework..- A Model of Uncooperative Interpretation..- Between Methods and Theories - Experimental Evidence on Semantics of Russian Number..- Explaining Particle Functions in Minimal Bayesian Pragmatics..- Logic and Computation..- On Splittings in Lattices of Quasivarieties of Heyting Algebras..- Correspondence Theory of Modal Logic with Counting..- The Modal Logic of Minimal Upper Bounds..- Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic..- Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.