03853nam 22006735 450 99671086190331620260217120400.03-032-14339-X10.1007/978-3-032-14339-6(MiAaPQ)EBC32552714(Au-PeEL)EBL32552714(CKB)45344880900041(DE-He213)978-3-032-14339-6(OCoLC)1574119455(EXLCZ)994534488090004120260217d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogic, Language, and Computation 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers /edited by Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (468 pages)Lecture Notes in Computer Science,1611-3349 ;156613-032-14338-1 -- 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.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.Lecture Notes in Computer Science,1611-3349 ;15661Machine theoryComputer scienceSoftware engineeringLogic programmingNatural language processing (Computer science)Formal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingSoftware EngineeringLogic in AINatural Language Processing (NLP)Machine theory.Computer science.Software engineering.Logic programming.Natural language processing (Computer science)Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Software Engineering.Logic in AI.Natural Language Processing (NLP).005.131Hogeweg Lotte1817109MiAaPQMiAaPQMiAaPQBOOK996710861903316Logic, Language, and Computation4548338UNISA