Logic, Language, and Computation

14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
Erscheinungsjahr 2026
ISBN: 978-3-032-14338-9
Verlag: Springer

Buch, Englisch, 285 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 458 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Hogeweg, Lotte

Jalali, Raheleh

Sedlár, Igor

Schwarz, Lena

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Natürliche Sprachen & Maschinelle Übersetzung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz

Inhaltsverzeichnis

.- 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.